Norbert Giambiasi

Publication Activity (10 Years)

Years Active: 1976-2016
Publications (10 Years): 2

Top Topics

Manufacturing Processes

Top Venues

SpringSim (TMS-DEVS)

Discret. Event Dyn. Syst.

Publications

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