Norbert Giambiasi

According to our database, Norbert Giambiasi authored at least 61 papers between 1976 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

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

Second order GDEVS abstraction of electronic circuits.

Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi

Proceedings of the Summer Computer Simulation Conference, 2016

2014

Testing Experiments on Synchronized Petri Nets.

Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua

IEEE Trans Autom. Sci. Eng., 2014

An introduction to Timed Sequential Machines.

Norbert Giambiasi

Simul., 2014

Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets.

Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Timed synchronizing sequences.

Norbert Giambiasi, Claudia S. Frydman

Proceedings of the 2014 Spring Simulation Multiconference, 2014

Generalized Discrete Event Specifications of logic gates.

Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi

Proceedings of the IEEE 11th International Multi-Conference on Systems, Signals & Devices, 2014

2013

Hierarchy of Discrete Event Formalisms.

Norbert Giambiasi

Proceedings of the SIMULTECH 2013, 2013

2012

Validating manufacturing processes using timed sequential machines: application to a semiconductor manufacturing process (WIP).

Pamela Viale, Norbert Giambiasi, Claudia S. Frydman, Jacques Pinaton

Proceedings of the 2012 Spring Simulation Multiconference, 2012

2011

Synchronizing sequences on not strongly connected Petri nets.

Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

ISTSM: incompletely specified timed sequential machines.

Norbert Giambiasi

Proceedings of the 2011 Spring Simulation Multi-conference, 2011

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

Reducing the state space of incompletely specified timed Moore machines.

Norbert Giambiasi

Proceedings of the 2010 Spring Simulation Multiconference, 2010

Min-Max Timed Moore Machines.

Norbert Giambiasi

Proceedings of the 2010 International Conference on Modeling, 2010

2009

Integration of a flat holonic form in an HLA environment.

Fouzia Ounnar, Patrick Pujo, Lynda Mekaouche, Norbert Giambiasi

J. Intell. Manuf., 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

State Identification in Temporal Moore Machines.

Norbert Giambiasi

Proceedings of the 2009 International Conference on Embedded Systems & Applications, 2009

2008

G-DEVS/HLA Environment for Distributed Simulations of Workflows.

Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi

Simul., 2008

2007

Discrete event modeling through a multi-formalism approach, from a user-oriented perspective.

Hernán P. Dacharry, Norbert Giambiasi

Proceedings of the 2007 Spring Simulation Multiconference, 2007

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach.

Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi

Proceedings of the 2007 Spring Simulation Multiconference, 2007

Mapping PIOVRA in GDEVS/HLA environment.

Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

A formal verification approach for DEVS.

Hernán P. Dacharry, Norbert Giambiasi

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

From abstract representation to formal modeling of tactical military operations.

Jean Caussanel, Norbert Giambiasi, Agostino G. Bruzzone

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

New design and simulation of the GDEVS abstraction of an integrator.

Jean Claude Carmona, Norbert Giambiasi

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach.

Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou D. Seck

Proceedings of the 2007 Summer Computer Simulation Conference, 2007

DECM with Min-Max Delays.

Norbert Giambiasi, Jean-Luc Paillet

Proceedings of the 2007 International Conference on Computer Design, 2007

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

Min-Max-DEVS modeling and simulation.

Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman

Simul. Model. Pract. Theory, 2006

Generalized discrete event abstraction of continuous systems: GDEVS formalism.

Norbert Giambiasi, Jean Claude Carmona

Simul. Model. Pract. Theory, 2006

2005

Cell-DEVS/GDEVS for Complex Continuous Systems.

Gabriel A. Wainer, Norbert Giambiasi

Simul., 2005

Improving the Lookahead Computation in G-DEVS/HLA Environment.

Gregory Zacharewicz, Norbert Giambiasi, Claudia S. Frydman

Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications (DS-RT 2005), 2005

2004

Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator.

Jean Claude Carmona, Norbert Giambiasi, Aziz Naamane

J. Intell. Robotic Syst., 2004

From DEVS Model to Timed Automata.

Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet

Proceedings of the International Conference on Software Engineering Research and Practice, 2004

Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS.

Gabriel A. Wainer, Norbert Giambiasi

Proceedings of the International Conference on Modeling, 2004

Using DEVS for Modeling and Simulation of Human Behaviour.

Mamadou D. Seck, Claudia S. Frydman, Norbert Giambiasi

Proceedings of the Artificial Intelligence and Simulation, 2004

Simulation Semantics for Min-Max DEVS Models.

Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman

Proceedings of the Artificial Intelligence and Simulation, 2004

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 and verification II: from timed automata to DEVS models.

Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

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

N-dimensional Cell-DEVS Models.

Gabriel A. Wainer, Norbert Giambiasi

Discret. Event Dyn. Syst., 2002

Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs.

Raphaël Duboz, Éric Ramat, Norbert Giambiasi

Proceedings of the Systèmes multi-agents et systèmes complexes : ingénierie, résolution de problèmes et simulation - JFSMA 02, 2002

2001

Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation.

Gabriel A. Wainer, Norbert Giambiasi

Simul., 2001

Generalized Discrete Event Simulation of Bond Graph.

Aziz Naamane, Norbert Giambiasi, A. Damiba

Simul., 2001

Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDL.

Sumit Ghosh, Norbert Giambiasi

Simul., 2001

GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems.

Norbert Giambiasi, Bruno Escude, Sumit Ghosh

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Generalized DEVS vs Continuous models.

Aziz Naamane, A. Damiba, Norbert Giambiasi

Proceedings of the 14^th European Simulation Multiconference, 2000

1998

Guest Editorial: Applications of Artificial Neural Networks.

Norbert Giambiasi, Claude F. Touzet

J. Intell. Robotic Syst., 1998

1994

Speeding up behavioral test pattern generation using an algorithmic improvement.

Loïc Vandeventer, Jean François Santucci, Norbert Giambiasi

Proceedings of the 12th IEEE VLSI Test Symposium (VTS'94), 1994

1993

On the modeling and testing of VHDL behavioral descriptions of sequential circuits.

Veronique Pla, Jean François Santucci, Norbert Giambiasi

Proceedings of the European Design Automation Conference 1993, 1993

An algorithm to learn sequences within the connectionist sequential machine.

Olivier Sarzeaud, Norbert Giambiasi

Proceedings of the 1st European Symposium on Artificial Neural Networks, 1993

Speed up of Behavioral A.T.P.G. using a Heuristic Criterion.

Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi

Proceedings of the 30th Design Automation Conference. Dallas, 1993

1992

Temporal verification of behavioral descriptions in VHDL.

Djamel Boussebha, Norbert Giambiasi, Janine Magnier

Proceedings of the conference on European design automation, 1992

A Methodology to Reduce the Computational Cost of Behavioral Test Pattern Generation.

Jean François Santucci, Gérard Dray, Norbert Giambiasi, Marc Boumédine

Proceedings of the 29th Design Automation Conference, 1992

1990

Application of Connectionist Models to Fuzzy Inference Systems.

Claude F. Touzet, Norbert Giambiasi

Proceedings of the Parallelization in Inference Systems, 1990

1989

DeBuMA: Description, Building and Management of Applications.

Claudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle

Proceedings of the 26th ACM/IEEE Design Automation Conference, 1989

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

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985

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

Proceedings of the 22nd ACM/IEEE conference on Design automation, 1985

1980

Methods for generalized deductive fault simulation.

Norbert Giambiasi, A. Miara, D. Muriach

Proceedings of the 17th Design Automation Conference, 1980

1979

SILOG: A practical tool for large digital network simulation.

Norbert Giambiasi, A. Miara, D. Muriach

Proceedings of the 16th Design Automation Conference, 1979

1978

Dynamic and deductive fault simulation.

A. Miara, Norbert Giambiasi

Proceedings of the 15th Design Automation Conference, 1978

1976

An accurate time delay model for large digital network simulation.

C. Chicoix, J. Pedoussat, Norbert Giambiasi

Proceedings of the 13th Design Automation Conference, 1976