default search action
Norbert Giambiasi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [j19]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): 85-108 (2016) - [c42]Nesrine Driouche, Maâmar El-Amine Hamri, Norbert Giambiasi:
Second order GDEVS abstraction of electronic circuits. SummerSim 2016: 12 - 2014
- [j18]Norbert Giambiasi:
An introduction to Timed Sequential Machines. Simul. 90(3): 337-352 (2014) - [j17]Marco Pocci, Isabel Demongodin
Testing Experiments on Synchronized Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 125-138 (2014) - [c41]Maâmar El-Amine Hamri, Aziz Naamane, Norbert Giambiasi:
Generalized Discrete Event Specifications of logic gates. SSD 2014: 1-6 - [c40]Norbert Giambiasi, Claudia S. Frydman:
Timed synchronizing sequences. SpringSim (TMS-DEVS) 2014: 21 - [c39]Marco Pocci, Isabel Demongodin
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. WODES 2014: 155-161 - 2013
- [c38]Norbert Giambiasi:
Hierarchy of Discrete Event Formalisms. SIMULTECH 2013: IS-17 - [i1]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing experiments on synchronized Petri nets. CoRR abs/1307.2427 (2013) - 2012
- [c37]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: 51 - 2011
- [c36]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Synchronizing sequences on not strongly connected Petri nets. SpringSim (TMS-DEVS) 2011: 45-50 - [c35]Norbert Giambiasi:
ISTSM: incompletely specified timed sequential machines. SpringSim (TMS-DEVS) 2011: 146-151 - 2010
- [j16]Gregory Zacharewicz
A Generalized Discrete Event System (G-DEVS) Flattened Simulation Structure: Application to High-Level Architecture (HLA) Compliant Simulation of Workflow. Simul. 86(3): 181-197 (2010) - [c34]Norbert Giambiasi:
Min-Max Timed Moore Machines. MSV 2010: 218-222 - [c33]Norbert Giambiasi:
Reducing the state space of incompletely specified timed Moore machines. SpringSim 2010: 119
2000 – 2009
- 2009
- [j15]Gregory Zacharewicz
Environnement G-DEVS/HLA pour la simulation distribuée de systèmes de production multiprocessus. J. Decis. Syst. 18(3): 375-402 (2009) - [j14]Fouzia Ounnar, Patrick Pujo, Lynda Mekaouche, Norbert Giambiasi:
Integration of a flat holonic form in an HLA environment. J. Intell. Manuf. 20(1): 91-111 (2009) - [c32]Norbert Giambiasi:
State Identification in Temporal Moore Machines. ESA 2009: 156-162 - 2008
- [j13]Gregory Zacharewicz
G-DEVS/HLA Environment for Distributed Simulations of Workflows. Simul. 84(5): 197-213 (2008) - 2007
- [c31]Norbert Giambiasi, Jean-Luc Paillet:
DECM with Min-Max Delays. CDES 2007: 127-136 - [c30]Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi, Mamadou D. Seck:
Low intensity conflicts modeling framework based on dynamic hierarchical structure DEVS approach. SCSC 2007: 38 - [c29]Hernán P. Dacharry, Norbert Giambiasi:
A formal verification approach for DEVS. SCSC 2007: 312-319 - [c28]Jean Claude Carmona, Norbert Giambiasi:
New design and simulation of the GDEVS abstraction of an integrator. SCSC 2007: 331-338 - [c27]Gregory Zacharewicz, Claudia S. Frydman, Norbert Giambiasi:
Mapping PIOVRA in GDEVS/HLA environment. SCSC 2007: 1086-1093 - [c26]Jean Caussanel, Norbert Giambiasi, Agostino G. Bruzzone:
From abstract representation to formal modeling of tactical military operations. SCSC 2007: 1094-1100 - [c25]Hernán P. Dacharry, Norbert Giambiasi:
Discrete event modeling through a multi-formalism approach, from a user-oriented perspective. SpringSim (2) 2007: 207-213 - [c24]Lassaad Baati, Claudia S. Frydman, Norbert Giambiasi:
LSIS_DME M&S environment extended by dynamic hierarchical structure DEVS modeling approach. SpringSim (2) 2007: 227-234 - 2006
- [j12]Norbert Giambiasi, Jean Claude Carmona:
Generalized discrete event abstraction of continuous systems: GDEVS formalism. Simul. Model. Pract. Theory 14(1): 47-70 (2006) - [j11]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): 817-842 (2006) - [j10]Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman:
Min-Max-DEVS modeling and simulation. Simul. Model. Pract. Theory 14(7): 909-929 (2006) - 2005
- [j9]Gabriel A. Wainer
Cell-DEVS/GDEVS for Complex Continuous Systems. Simul. 81(2): 137-151 (2005) - [c23]Gregory Zacharewicz
Improving the Lookahead Computation in G-DEVS/HLA Environment. DS-RT 2005: 273-282 - 2004
- [j8]Jean Claude Carmona, Norbert Giambiasi, Aziz Naamane:
Generalized Discrete Event Abstraction of Continuous Systems: Application to an Integrator. J. Intell. Robotic Syst. 41(1): 37-64 (2004) - [c22]Mamadou D. Seck, Claudia S. Frydman, Norbert Giambiasi:
Using DEVS for Modeling and Simulation of Human Behaviour. AIS 2004: 692-698 - [c21]Maâmar El-Amine Hamri, Norbert Giambiasi, Claudia S. Frydman:
Simulation Semantics for Min-Max DEVS Models. AIS 2004: 699-708 - [c20]Gabriel A. Wainer, Norbert Giambiasi:
Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS. MSV/AMCS 2004: 150-156 - [c19]Frédéric Châne, Norbert Giambiasi, Jean-Luc Paillet:
From DEVS Model to Timed Automata. Software Engineering Research and Practice 2004: 498-504 - 2003
- [j7]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): 345-375 (2003) - [c18]Norbert Giambiasi, Jean-Luc Paillet, Frédéric Châne:
Simulation and verification II: from timed automata to DEVS models. WSC 2003: 923-931 - 2002
- [j6]Gabriel A. Wainer
N-dimensional Cell-DEVS Models. Discret. Event Dyn. Syst. 12(2): 135-157 (2002) - [j5]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): 27-81 (2002) - [c17]Raphaël Duboz, Éric Ramat, Norbert Giambiasi:
Utilisation du formalisme DEVS pour la spécification de systèmes d'agents réactifs. JFSMA 2002: 99-102 - 2001
- [j4]Gabriel A. Wainer
Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation. Simul. 76(1): 22-39 (2001) - [j3]Sumit Ghosh, Norbert Giambiasi:
Breakthrough in Modeling and Simulation of Mixed-Signal Electronic Designs in nVHDL. Simul. 76(5): 279-281 (2001) - [j2]Aziz Naamane, Norbert Giambiasi, A. Damiba:
Generalized Discrete Event Simulation of Bond Graph. Simul. 77(1-2): 4-22 (2001) - [c16]Norbert Giambiasi, Bruno Escude, Sumit Ghosh:
GDEVS: A Generalized Discrete Event Specification for Accurate Modeling of Dynamic Systems. ISADS 2001: 464-469 - 2000
- [c15]Aziz Naamane, A. Damiba, Norbert Giambiasi:
Generalized DEVS vs Continuous models. ESM 2000: 117-120
1990 – 1999
- 1998
- [j1]Norbert Giambiasi, Claude F. Touzet:
Guest Editorial: Applications of Artificial Neural Networks. J. Intell. Robotic Syst. 21(2): 101-102 (1998) - 1994
- [c14]Loïc Vandeventer, Jean François Santucci, Norbert Giambiasi:
Speeding up behavioral test pattern generation using an algorithmic improvement. VTS 1994: 226-231 - 1993
- [c13]Jean François Santucci, Anne-Lise Courbis, Norbert Giambiasi:
Speed up of Behavioral A.T.P.G. using a Heuristic Criterion. DAC 1993: 92-96 - [c12]Olivier Sarzeaud, Norbert Giambiasi:
An algorithm to learn sequences within the connectionist sequential machine. ESANN 1993 - [c11]Veronique Pla, Jean François Santucci, Norbert Giambiasi:
On the modeling and testing of VHDL behavioral descriptions of sequential circuits. EURO-DAC 1993: 440-445 - 1992
- [c10]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: 267-272 - [c9]Djamel Boussebha, Norbert Giambiasi, Janine Magnier:
Temporal verification of behavioral descriptions in VHDL. EURO-DAC 1992: 692-697 - 1990
- [c8]Claude F. Touzet, Norbert Giambiasi:
Application of Connectionist Models to Fuzzy Inference Systems. Dagstuhl Seminar on Parallelization in Inference Systems 1990: 303-317
1980 – 1989
- 1989
- [c7]Claudia S. Frydman, Norbert Giambiasi, M. Gatumel, P. Bayle:
DeBuMA: Description, Building and Management of Applications. DAC 1989: 203-208 - 1985
- [c6]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: 460-467 - [c5]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: 820-824 - 1980
- [c4]Norbert Giambiasi, A. Miara, D. Muriach:
Methods for generalized deductive fault simulation. DAC 1980: 386-392
1970 – 1979
- 1979
- [c3]Norbert Giambiasi, A. Miara, D. Muriach:
SILOG: A practical tool for large digital network simulation. DAC 1979: 263-271 - 1978
- [c2]A. Miara, Norbert Giambiasi:
Dynamic and deductive fault simulation. DAC 1978: 439-443 - 1976
- [c1]C. Chicoix, J. Pedoussat, Norbert Giambiasi:
An accurate time delay model for large digital network simulation. DAC 1976: 54-60
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: