Filtrer vos résultats
- 46
- 39
- 50
- 22
- 5
- 4
- 2
- 1
- 1
- 4
- 81
- 17
- 2
- 1
- 3
- 2
- 4
- 5
- 5
- 3
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 4
- 9
- 5
- 7
- 4
- 1
- 3
- 4
- 1
- 1
- 1
- 80
- 5
- 57
- 21
- 17
- 14
- 11
- 6
- 4
- 4
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 85
- 25
- 22
- 14
- 13
- 8
- 8
- 7
- 7
- 7
- 7
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
85 résultats
|
A Decidable Characterization of a Graphical Pi-calculus with Iterators12th International Workshop on Verification of Infinite-State Systems (INFINITY 2010), Sep 2010, Singapore, Singapore. pp.47--61, ⟨10.4204/EPTCS.39.4⟩
Communication dans un congrès
hal-00628499v1
|
||
The MIRELA Framework: modeling and analyzing mixed reality applications using timed automata10th ACM/IEEE Virtual Reality International Conference (VRIC 2008), Apr 2008, Laval, France. pp.189--199
Communication dans un congrès
hal-00339454v1
|
|||
|
Asynchonous Box CalculusFundamenta Informaticae, 2003, 54, pp.1-50
Article dans une revue
hal-00114675v1
|
||
|
Filtering distributed information to build a plausible scene for autonomous and connected vehicles17th International Conference on Distributed Computing and Artificial Intelligence (DCAI 2020), Oct 2020, L'Aquila, Italy. pp.89--101, ⟨10.1007/978-3-030-53036-5_10⟩
Communication dans un congrès
hal-02886993v1
|
||
|
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systemsFundamenta Informaticae, 2002, 50(1), pp.33-55
Article dans une revue
hal-00114685v1
|
||
|
An approach to state space reduction for systems with dynamic process creation24th International Symposium on Computer and Information Sciences (ISCIS 2009), Sep 2009, Guzelyurt, Turkey. pp.543--548, ⟨10.1109/ISCIS.2009.5291864⟩
Communication dans un congrès
hal-00666664v1
|
||
An Efficient State Space Construction for a Class of Timed Automata43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. pp.246--263, ⟨10.1007/978-3-662-68191-6_10⟩
Communication dans un congrès
hal-04307762v1
|
|||
|
Analysis of modular organisation of interaction networks based on asymptotic dynamics10th International Conference on Computational Methods in Systems Biology (CMSB 2012), Oct 2012, London, United Kingdom. pp.148--165, ⟨10.1007/978-3-642-33636-2_10⟩
Communication dans un congrès
hal-00750180v1
|
||
|
From Box Algebra to Interval Temporal LogicFundamenta Informaticae, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Article dans une revue
hal-02196476v1
|
||
|
A Compositional Petri net Translation of General Pi-Calculus TermsFormal Aspects of Computing, 2008, 20 (4-5), pp.429--450. ⟨10.1007/s00165-008-0079-2⟩
Article dans une revue
hal-00340124v1
|
||
Petri Net Semantics of the Finite pi-calculus TermsFundamenta Informaticae, 2006, 70, pp.203--226
Article dans une revue
hal-00340125v1
|
|||
Translation into Petri Nets of Biological Networks Represented in MIN formalismEuropean Conference on Complex Systems (ECCS 2007), 2007, Germany. pp.203--205
Communication dans un congrès
hal-00340496v1
|
|||
Modélisation et simulation de la coopération dans les Systèmes de Transport Intelligents : un comparatifJournées Francophones sur les Systèmes Multi-Agents (JFSMA 2017), Jul 2017, Caen, France
Communication dans un congrès
hal-01566972v1
|
|||
|
Combination of simulation and model-checking for the analysis of autonomous vehicles’ behaviors: A case study15th European Conference on Multi-Agent Systems (EUMAS 2017) and the 5th International Conference on Agreement Technologies (AT 2017), Dec 2017, Evry, France. pp.292--304, ⟨10.1007/978-3-030-01713-2_21⟩
Communication dans un congrès
hal-01918518v1
|
||
Modeling and validation of mobile agent systems: a case studyINFOCOMP Journal of Computer Science, 2007, Special Edition, pp.9--15
Article dans une revue
hal-00340121v1
|
|||
|
Pattern Matching in Link Streams: Timed-Automata with Finite MemoryScientific Annals of Computer Science, 2018, 28 (36), pp.161-198. ⟨10.7561/SACS.2018.2.161⟩
Article dans une revue
hal-02110475v1
|
||
|
Asynchronous Box Calculus with multi-way communication[Research Report] LACL, Université Paris-Est/Créteil. 2008
Rapport
hal-02310227v1
|
||
|
Operational Semantics for PBC with Asynchronous Communication2002, pp.1-6
Communication dans un congrès
hal-00114684v1
|
||
|
Efficient reachability graph representation of Petri nets with unbounded counters9th International Workshops on Verification of Infinite-State Systems (INFINITY 2007), Sep 2007, Lisbon, Portugal. pp.119--129, ⟨10.1016/j.entcs.2009.05.034⟩
Communication dans un congrès
hal-00340494v1
|
||
|
An Algebra of Non-safe Petri BoxesAMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩
Communication dans un congrès
istex
hal-02309988v1
|
||
|
Box Calculus with High-Level Buffers2004, pp.1-6
Communication dans un congrès
hal-00114672v1
|
||
|
Modeling and checking robustness of communicating autonomous vehicles14th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2017), Jun 2017, Porto, Portugal. pp.173--180, ⟨10.1007/978-3-319-62410-5_21⟩
Communication dans un congrès
hal-01567627v1
|
||
|
VerifCar: a framework for modeling and model checking communicating autonomous vehiclesAutonomous Agents and Multi-Agent Systems, 2019, 33 (3), pp.353--381. ⟨10.1007/s10458-019-09409-x⟩
Article dans une revue
hal-02133680v1
|
||
|
Networks and Games for Precision Medicine2016
Pré-publication, Document de travail
hal-01276715v2
|
||
Modelling and verification of authentication using enhanced net semantics of SPL (Security Protocol Language)International Conference on Application of Concurrency to System Design, ACSD'2006, 2006, Finland. pp.ERREUR_CHAMPS_NON_SPECIFIE
Communication dans un congrès
hal-00340477v1
|
|||
Incremental and unifying modelling formalism for biological interaction networksBMC Bioinformatics, 2007, 8, pp.1-69
Article dans une revue
hal-00340131v1
|
|||
|
Abstraction strategies for computing travelling or looping durations in networks of timed automata14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016), Aug 2016, Quebec, Canada. pp.140--156, ⟨10.1007/978-3-319-44878-7_9⟩
Communication dans un congrès
hal-01364726v1
|
||
A Petri net semantics of a simple process algebra for mobilityInternational Workshop on Expressiveness in Concurrency, EXPRESS'05, satellite workshop of the CONCUR'2005, 2005, United States. pp.69--80
Communication dans un congrès
hal-00340487v1
|
|||
|
Models for the dynamic exploration of the state spaces of autonomous vehicles.17th International Workshop on Petri Nets and Software Engineering (PNSE 2020), Jun 2020, Paris, France. pp.29--48
Communication dans un congrès
hal-02887014v1
|
||
Systemic approach for toxicity analysis5th International Workshop on Biological Processes and Petri Nets (BioPPN 2014), Jun 2014, Tunis, Tunisia. pp.30--44
Communication dans un congrès
hal-01078546v1
|