An accurate time delay model for large digital network simulation. - C. Chicoix; J. Pedoussat; Norbert Giambiasi (DAC, 1976)

Dynamic and deductive fault simulation. - A. Miara; Norbert Giambiasi (DAC, 1978)

SILOG: A practical tool for large digital network simulation. - Norbert Giambiasi; A. Miara; D. Muriach (DAC, 1979)

Methods for generalized deductive fault simulation. - Norbert Giambiasi; A. Miara; D. Muriach (DAC, 1980)

A functional partitioning expert system for test sequences generation. - C. Delorme; P. Roux; L. Demians d'Archimbaud; Norbert Giambiasi; R. L'Bath; B. MacGee; R. Charroppin (DAC, 1985)

An adaptive and evolutive tool for describing general hierarchical models, based on frames and demons. - Norbert Giambiasi; B. MacGee; R. L'Bath; L. Demians d'Archimbaud; C. Delorme; P. Roux (DAC, 1985)

DeBuMA: Description, Building and Management of Applications. - Claudia S. Frydman; Norbert Giambiasi; M. Gatumel; P. Bayle (DAC, 1989)

Application of Connectionist Models to Fuzzy Inference Systems. - Claude F. Touzet; Norbert Giambiasi (Dagstuhl Seminar on Parallelization in Inference Systems, 1990)

A Methodology to Reduce the Computational Cost of Behavioral Test Pattern Generation. - Jean François Santucci; Gérard Dray; Norbert Giambiasi; Marc Boumédine (DAC, 1992)

Temporal verification of behavioral descriptions in VHDL. - Djamel Boussebha; Norbert Giambiasi; Janine Magnier (EURO-DAC, 1992)

Speed up of Behavioral A.T.P.G. using a Heuristic Criterion. - Jean François Santucci; Anne-Lise Courbis; Norbert Giambiasi (DAC, 1993)

An algorithm to learn sequences within the connectionist sequential machine. - Olivier Sarzeaud; Norbert Giambiasi (ESANN, 1993)

On the modeling and testing of VHDL behavioral descriptions of sequential circuits. - Veronique Pla; Jean François Santucci; Norbert Giambiasi (EURO-DAC, 1993)

Speeding up behavioral test pattern generation using an algorithmic improvement. - Loïc Vandeventer; Jean François Santucci; Norbert Giambiasi (VTS, 1994)

Guest Editorial: Applications of Artificial Neural Networks. - Norbert Giambiasi; Claude F. Touzet (J. Intell. Robotic Syst., 1998)

Generalized DEVS vs Continuous models. - Aziz Naamane; A. Damiba; Norbert Giambiasi (ESM, 2000)

GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. - Norbert Giambiasi; Bruno Escude; Sumit Ghosh (ISADS, 2001)

Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDL. - Sumit Ghosh; Norbert Giambiasi (Simul., 2001)

Generalized Discrete Event Simulation of Bond Graph. - Aziz Naamane; Norbert Giambiasi; A. Damiba (Simul., 2001)

Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation. - Gabriel A. Wainer; Norbert Giambiasi (Simul., 2001)

Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs. - Raphaël Duboz; Éric Ramat; Norbert Giambiasi (JFSMA, 2002)

N-dimensional Cell-DEVS Models. - Gabriel A. Wainer; Norbert Giambiasi (Discret. Event Dyn. Syst., 2002)

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time Systems. - Jean-Luc Paillet; Norbert Giambiasi (J. Intell. Robotic Syst., 2002)

Simulation and verification II: from timed automata to DEVS models. - Norbert Giambiasi; Jean-Luc Paillet; Frédéric Châne (WSC, 2003)

Using Simulation for the Validation of High Level Specifications of Control Systems. - Watcharee Jumpamule; Jean-Luc Paillet; Norbert Giambiasi (J. Intell. Robotic Syst., 2003)

Simulation Semantics for Min-Max DEVS Models. - Maâmar El-Amine Hamri; Norbert Giambiasi; Claudia S. Frydman (AIS, 2004)

Using DEVS for Modeling and Simulation of Human Behaviour. - Mamadou D. Seck; Claudia S. Frydman; Norbert Giambiasi (AIS, 2004)

Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS. - Gabriel A. Wainer; Norbert Giambiasi (MSV/AMCS, 2004)

From DEVS Model to Timed Automata. - Frédéric Châne; Norbert Giambiasi; Jean-Luc Paillet (Software Engineering Research and Practice, 2004)

Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator. - Jean Claude Carmona; Norbert Giambiasi; Aziz Naamane (J. Intell. Robotic Syst., 2004)

Improving the Lookahead Computation in G-DEVS/HLA Environment. - Gregory Zacharewicz; Norbert Giambiasi; Claudia S. Frydman (DS-RT, 2005)

Cell-DEVS/GDEVS for Complex Continuous Systems. - Gabriel A. Wainer; Norbert Giambiasi (Simul., 2005)

Generalized discrete event abstraction of continuous systems: GDEVS formalism. - Norbert Giambiasi; Jean Claude Carmona (Simul. Model. Pract. Theory, 2006)

Min-Max-DEVS modeling and simulation. - Maâmar El-Amine Hamri; Norbert Giambiasi; Claudia S. Frydman (Simul. Model. Pract. Theory, 2006)

Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the production. - Patrick Pujo; Massimo Pedetti; Norbert Giambiasi (Simul. Model. Pract. Theory, 2006)

DECM with Min-Max Delays. - Norbert Giambiasi; Jean-Luc Paillet (CDES, 2007)

Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach. - Lassaad Baati; Claudia S. Frydman; Norbert Giambiasi; Mamadou D. Seck (SCSC, 2007)

New design and simulation of the GDEVS abstraction of an integrator. - Jean Claude Carmona; Norbert Giambiasi (SCSC, 2007)

From abstract representation to formal modeling of tactical military operations. - Jean Caussanel; Norbert Giambiasi; Agostino G. Bruzzone (SCSC, 2007)

A formal verification approach for DEVS. - Hernán P. Dacharry; Norbert Giambiasi (SCSC, 2007)

Mapping PIOVRA in GDEVS/HLA environment. - Gregory Zacharewicz; Claudia S. Frydman; Norbert Giambiasi (SCSC, 2007)

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach. - Lassaad Baati; Claudia S. Frydman; Norbert Giambiasi (SpringSim (2), 2007)

Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. - Hernán P. Dacharry; Norbert Giambiasi (SpringSim (2), 2007)

G-DEVS/HLA Environment for Distributed Simulations of Workflows. - Gregory Zacharewicz; Claudia S. Frydman; Norbert Giambiasi (Simul., 2008)

State Identification in Temporal Moore Machines. - Norbert Giambiasi (ESA, 2009)

Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus. - Gregory Zacharewicz; Patrick Pujo; Claudia S. Frydman; Norbert Giambiasi (J. Decis. Syst., 2009)

Integration of a flat holonic form in an HLA environment. - Fouzia Ounnar; Patrick Pujo; Lynda Mekaouche; Norbert Giambiasi (J. Intell. Manuf., 2009)

Min-Max Timed Moore Machines. - Norbert Giambiasi (MSV, 2010)

Reducing the state space of incompletely specified timed Moore machines. - Norbert Giambiasi (SpringSim, 2010)

A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. - Gregory Zacharewicz; Maâmar El-Amine Hamri; Claudia S. Frydman; Norbert Giambiasi (Simul., 2010)

ISTSM: incompletely specified timed sequential machines. - Norbert Giambiasi (SpringSim (TMS-DEVS), 2011)

Synchronizing sequences on not strongly connected Petri nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (SpringSim (TMS-DEVS), 2011)

Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP). - Pamela Viale; Norbert Giambiasi; Claudia S. Frydman; Jacques Pinaton (SpringSim (TMS-DEVS), 2012)

Hierarchy of Discrete Event Formalisms. - Norbert Giambiasi (SIMULTECH, 2013)

Generalized Discrete Event Specifications of logic gates. - Maâmar El-Amine Hamri; Aziz Naamane; Norbert Giambiasi (SSD, 2014)

Timed synchronizing sequences. - Norbert Giambiasi; Claudia S. Frydman (SpringSim (TMS-DEVS), 2014)

Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (WODES, 2014)

An introduction to Timed Sequential Machines. - Norbert Giambiasi (Simul., 2014)

Testing Experiments on Synchronized Petri Nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (IEEE Trans Autom. Sci. Eng., 2014)

Second order GDEVS abstraction of electronic circuits. - Nesrine Driouche; Maâmar El-Amine Hamri; Norbert Giambiasi (SummerSim, 2016)

Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. - Marco Pocci; Isabel Demongodin; Norbert Giambiasi; Alessandro Giua (Discret. Event Dyn. Syst., 2016)