Norbert Giambiasi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 59 from 59

2016

Second order GDEVS abstraction of electronic circuitsNesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi. SCSC 2016: 12 [doi]

Second order GDEVS abstraction of electronic circuitsNesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi. summersim 2016: 12 [doi]

Synchronizing sequences on a class of unbounded systems using synchronized Petri netsMarco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. deds, 26(1):85-108, 2016. [doi]

2014

2013

Hierarchy of Discrete Event FormalismsNorbert Giambiasi. simultech 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. springsim 2012: 51 [doi]

2011

ISTSM: incompletely specified timed sequential machinesNorbert Giambiasi. springsim 2011: 146-151 [doi]

Synchronizing sequences on not strongly connected Petri netsMarco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua. springsim 2011: 45-50 [doi]

2010

Reducing the state space of incompletely specified timed Moore machinesNorbert Giambiasi. springsim 2010: 119 [doi]

Min-Max Timed Moore MachinesNorbert Giambiasi. msv 2010: 218-222

A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of WorkflowGregory Zacharewicz, Maåmar El-Amine Hamri, Claudia S. Frydman, Norbert Giambiasi. simulation, 86(3):181-197, 2010. [doi]

2009

State Identification in Temporal Moore MachinesNorbert Giambiasi. csreaESA 2009: 156-162

Integration of a flat holonic form in an HLA environmentFouzia Ounnar, Patrick Pujo, Lynda Mekaouche, Norbert Giambiasi. jim, 20(1):91-111, 2009. [doi]

Environnement G-DEVS/HLA pour la simulation distribuÃ©e de systÃ¨mes de production multiprocessusGregory Zacharewicz, Patrick Pujo, Claudia S. Frydman, Norbert Giambiasi. jds, 18(3):375-402, 2009. [doi]

2008

G-DEVS/HLA Environment for Distributed Simulations of WorkflowsGregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi. simulation, 84(5):197-213, 2008. [doi]

2007

LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approachLassaad Baati, Claudia S. Frydman, Norbert Giambiasi. springsim 2007: 227-234 [doi]

Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approachLassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou Seck. SCSC 2007: 38 [doi]

New design and simulation of the GDEVS abstraction of an integratorJean Claude Carmona, Norbert Giambiasi. SCSC 2007: 331-338 [doi]

From abstract representation to formal modeling of tactical military operationsJean Caussanel, Norbert Giambiasi, Agostino G. Bruzzone. SCSC 2007: 1094-1100 [doi]

Discrete event modeling through a multi-formalism approach, from a user-oriented perspectiveHernán P. Dacharry, Norbert Giambiasi. springsim 2007: 207-213 [doi]

A formal verification approach for DEVSHernán P. Dacharry, Norbert Giambiasi. SCSC 2007: 312-319 [doi]

DECM with Min-Max DelaysNorbert Giambiasi, Jean-Luc Paillet. cdes 2007: 127-136

Mapping PIOVRA in GDEVS/HLA environmentGregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi. SCSC 2007: 1086-1093 [doi]

2006

Generalized discrete event abstraction of continuous systems: GDEVS formalismNorbert Giambiasi, Jean Claude Carmona. simpra, 14(1):47-70, 2006. [doi]

Min-Max-DEVS modeling and simulationMaâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman. simpra, 14(7):909-929, 2006. [doi]

Formal DEVS modelling and simulation of a flow-shop relocation method without interrupting the productionPatrick Pujo, Massimo Pedetti, Norbert Giambiasi. simpra, 14(7):817-842, 2006. [doi]

2005

Cell-DEVS/GDEVS for Complex Continuous SystemsGabriel Andrés Wainer, Norbert Giambiasi. simulation, 81(2):137-151, 2005. [doi]

Improving the Lookahead Computation in G-DEVS/HLA EnvironmentGregory Zacharewicz, Norbert Giambiasi, Claudia S. Frydman. dsrt 2005: 273-282 [doi]

2004

2003

Simulation and verification II: from timed automata to DEVS modelsNorbert Giambiasi, Jean-Luc Paillet, Frédéric Châne. wsc 2003: 923-931 [doi]

Using Simulation for the Validation of High Level Specifications of Control SystemsWatcharee Jumpamule, Jean-Luc Paillet, Norbert Giambiasi. jirs, 38(3-4):345-375, 2003. [doi]

2002

Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifsRaphaël Duboz, Éric Ramat, Norbert Giambiasi. jfsma 2002: 99-102

DECM, A User Oriented Formalism for High Level Discrete Event Specifications of Real-Time SystemsJean-Luc Paillet, Norbert Giambiasi. jirs, 34(1):27-81, 2002. [doi]

N-dimensional Cell-DEVS ModelsGabriel Andrés Wainer, Norbert Giambiasi. deds, 12(2):135-157, 2002. [doi]

2001

Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDLSumit Ghosh, Norbert Giambiasi. simulation, 76(5):279-281, 2001.

Generalized Discrete Event Simulation of Bond GraphAziz Naamane, Norbert Giambiasi, A. Damiba. simulation, 77(1-2):4-22, 2001. [doi]

Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and SimulationGabriel Andrés Wainer, Norbert Giambiasi. simulation, 76(1):22-39, 2001. [doi]

2000

Generalized DEVS vs Continuous modelsAziz Naamane, A. Damiba, Norbert Giambiasi. scesm 2000: 117-120

1998

Guest Editorial: Applications of Artificial Neural NetworksNorbert Giambiasi, Claude F. Touzet. jirs, 21(2):101-102, 1998. [doi]

1994

Speeding up behavioral test pattern generation using an algorithmic improvementLoïc Vandeventer, Jean François Santucci, Norbert Giambiasi. vts 1994: 226-231 [doi]

1993

On the modeling and testing of VHDL behavioral descriptions of sequential circuitsVeronique Pla, Jean François Santucci, Norbert Giambiasi. eurodac 1993: 440-445 [doi]

Speed up of Behavioral A.T.P.G. using a Heuristic CriterionJean François Santucci, Anne-lise Courbis, Norbert Giambiasi. dac 1993: 92-96 [doi]

An algorithm to learn sequences within the connectionist sequential machineOlivier Sarzeaud, Norbert Giambiasi. esann 1993: [doi]

1992

Temporal verification of behavioral descriptions in VHDLDjamel Boussebha, Norbert Giambiasi, Janine Magnier. eurodac 1992: 692-697 [doi]

A Methodology to Reduce the Computational Cost of Behavioral Test Pattern GenerationJean François Santucci, Gérard Dray, Norbert Giambiasi, Marc Boumédine. dac 1992: 267-272 [doi]

1990

Application of Connectionist Models to Fuzzy Inference SystemsClaude F. Touzet, Norbert Giambiasi. Dagstuhl 1992: 303-317

1989

DeBuMA: Description, Building and Management of ApplicationsClaudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle. dac 1989: 203-208 [doi]

1980

Methods for generalized deductive fault simulationNorbert Giambiasi, A. Miara, D. Muriach. dac 1980: 386-392 [doi]

1979

SILOG: A practical tool for large digital network simulationNorbert Giambiasi, A. Miara, D. Muriach. dac 1979: 263-271 [doi]

1978

Dynamic and deductive fault simulationA. Miara, Norbert Giambiasi. dac 1978: 439-443 [doi]

1976

An accurate time delay model for large digital network simulationC. Chicoix, J. Pedoussat, Norbert Giambiasi. dac 1976: 54-60 [doi]

Sign in or sign up to see more results.

runs on WebDSL