Norbert Giambiasi

62 papers A* 9A 1B 1C 3Misc 2Journal 20Unranked 26
YearRankTypeTitle / Venue / Authors
2016 — conf
Second order GDEVS abstraction of electronic circuits.
SummerSim
Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi
2016 J jnl
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets.
Discret. Event Dyn. Syst.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 J jnl
An introduction to Timed Sequential Machines.
Simul.
Norbert Giambiasi
2014 — conf
Generalized Discrete Event Specifications of logic gates.
SSD
Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi
2014 J jnl
Testing Experiments on Synchronized Petri Nets.
IEEE Trans Autom. Sci. Eng.
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 — conf
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets.
WODES
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2014 — conf
Timed synchronizing sequences.
SpringSim (TMS-DEVS)
Norbert Giambiasi, Claudia S. Frydman
2013 C conf
Hierarchy of Discrete Event Formalisms.
SIMULTECH
Norbert Giambiasi
2013 J jnl
Testing experiments on synchronized Petri nets.
CoRR
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2012 — conf
Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP).
SpringSim (TMS-DEVS)
Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton
2011 — conf
ISTSM: incompletely specified timed sequential machines.
SpringSim (TMS-DEVS)
Norbert Giambiasi
2011 — conf
Synchronizing sequences on not strongly connected Petri nets.
SpringSim (TMS-DEVS)
Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
2010 J jnl
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow.
Simul.
Gregory Zacharewicz, Maâmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi
2010 — conf
Min-Max Timed Moore Machines.
MSV
Norbert Giambiasi
2010 — conf
Reducing the state space of incompletely specified timed Moore machines.
SpringSim
Norbert Giambiasi
2009 J jnl
Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus.
J. Decis. Syst.
Gregory Zacharewicz, Patrick Pujo, Claudia S. Frydman, Norbert Giambiasi
2009 J jnl
Integration of a flat holonic form in an HLA environment.
J. Intell. Manuf.
Fouzia Ounnar, Patrick Pujo, Lynda Mekaouche, Norbert Giambiasi
2009 A conf
State Identification in Temporal Moore Machines.
ESA
Norbert Giambiasi
2008 J jnl
G-DEVS/HLA Environment for Distributed Simulations of Workflows.
Simul.
Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi
2007 — conf
A formal verification approach for DEVS.
SCSC
Hernán P. Dacharry, Norbert Giambiasi
2007 — conf
DECM with Min-Max Delays.
CDES
Norbert Giambiasi, Jean-Luc Paillet
2007 — conf
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.
SpringSim (2)
Hernán P. Dacharry, Norbert Giambiasi
2007 — conf
From abstract representation to formal modeling of tactical military operations.
SCSC
Jean Caussanel, Norbert Giambiasi, Agostino G. Bruzzone
2007 — conf
LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.
SpringSim (2)
Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi
2007 — conf
Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach.
SCSC
Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou D. Seck
2007 — conf
Mapping PIOVRA in GDEVS/HLA environment.
SCSC
Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi
2007 — conf
New design and simulation of the GDEVS abstraction of an integrator.
SCSC
Jean Claude Carmona, Norbert Giambiasi
2006 J jnl
Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production.
Simul. Model. Pract. Theory
Patrick Pujo, Massimo Pedetti, Norbert Giambiasi
2006 J jnl
Generalized discrete event abstraction of continuous systems: GDEVS formalism.
Simul. Model. Pract. Theory
Norbert Giambiasi, Jean Claude Carmona
2006 J jnl
Min-Max-DEVS modeling and simulation.
Simul. Model. Pract. Theory
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
2005 J jnl
Cell-DEVS/GDEVS for Complex Continuous Systems.
Simul.
Gabriel A. Wainer, Norbert Giambiasi
2005 C conf
Improving the Lookahead Computation in G-DEVS/HLA Environment.
DS-RT
Gregory Zacharewicz, Norbert Giambiasi, Claudia S. Frydman
2004 — conf
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS.
MSV/AMCS
Gabriel A. Wainer, Norbert Giambiasi
2004 — conf
From DEVS Model to Timed Automata.
Software Engineering Research and Practice
Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet
2004 J jnl
Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator.
J. Intell. Robotic Syst.
Jean Claude Carmona, Norbert Giambiasi, Aziz Naamane
2004 — conf
Simulation Semantics for Min-Max DEVS Models.
AIS
Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman
2004 — conf
Using DEVS for Modeling and Simulation of Human Behaviour.
AIS
Mamadou D. Seck, Claudia S. Frydman, Norbert Giambiasi
2003 Misc conf
Simulation and verification II: from timed automata to DEVS models.
WSC
Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne
2003 J jnl
Using Simulation for the Validation of High Level Specifications of Control Systems.
J. Intell. Robotic Syst.
Watcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi
2002 J jnl
DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems.
J. Intell. Robotic Syst.
Jean-Luc Paillet, Norbert Giambiasi
2002 J jnl
N-dimensional Cell-DEVS Models.
Discret. Event Dyn. Syst.
Gabriel A. Wainer, Norbert Giambiasi
2002 — conf
Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs.
JFSMA
Raphaël Duboz, Éric Ramat, Norbert Giambiasi
2001 J jnl
Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation.
Simul.
Gabriel A. Wainer, Norbert Giambiasi
2001 J jnl
Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDL.
Simul.
Sumit Ghosh, Norbert Giambiasi
2001 C conf
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems.
ISADS
Norbert Giambiasi, Bruno Escude, Sumit Ghosh
2001 J jnl
Generalized Discrete Event Simulation of Bond Graph.
Simul.
Aziz Naamane, Norbert Giambiasi, A. Damiba
2000 — conf
Generalized DEVS vs Continuous models.
ESM
Aziz Naamane, A. Damiba, Norbert Giambiasi
1998 J jnl
Guest Editorial: Applications of Artificial Neural Networks.
J. Intell. Robotic Syst.
Norbert Giambiasi, Claude F. Touzet
1994 Misc conf
Speeding up behavioral test pattern generation using an algorithmic improvement.
VTS
Loïc Vandeventer, Jean François Santucci, Norbert Giambiasi
1993 B conf
An algorithm to learn sequences within the connectionist sequential machine.
ESANN
Olivier Sarzeaud, Norbert Giambiasi
1993 — conf
On the modeling and testing of VHDL behavioral descriptions of sequential circuits.
EURO-DAC
Veronique Pla, Jean François Santucci, Norbert Giambiasi
1993 A* conf
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion.
DAC
Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi
1992 A* conf
A Methodology to Reduce the Computational Cost of Behavioral Test Pattern Generation.
DAC
Jean François Santucci, Gérard Dray, Norbert Giambiasi, Marc Boumédine
1992 — conf
Temporal verification of behavioral descriptions in VHDL.
EURO-DAC
Djamel Boussebha, Norbert Giambiasi, Janine Magnier
1990 — conf
Application of Connectionist Models to Fuzzy Inference Systems.
Dagstuhl Seminar on Parallelization in Inference Systems
Claude F. Touzet, Norbert Giambiasi
1989 A* conf
DeBuMA: Description, Building and Management of Applications.
DAC
Claudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle
1985 A* conf
A functional partitioning expert system for test sequences generation.
DAC
C. Delorme, P. Roux, L. Demians d'Archimbaud, Norbert Giambiasi, R. L'Bath, B. MacGee, R. Charroppin
1985 A* conf
An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons.
DAC
Norbert Giambiasi, B. MacGee, R. L'Bath, L. Demians d'Archimbaud, C. Delorme, P. Roux
1980 A* conf
Methods for generalized deductive fault simulation.
DAC
Norbert Giambiasi, A. Miara, D. Muriach
1979 A* conf
SILOG: A practical tool for large digital network simulation.
DAC
Norbert Giambiasi, A. Miara, D. Muriach
1978 A* conf
Dynamic and deductive fault simulation.
DAC
A. Miara, Norbert Giambiasi
1976 A* conf
An accurate time delay model for large digital network simulation.
DAC
C. Chicoix, J. Pedoussat, Norbert Giambiasi