Filter your results
- 45
- 37
- 47
- 22
- 5
- 4
- 2
- 1
- 1
- 4
- 78
- 17
- 2
- 1
- 2
- 4
- 5
- 5
- 3
- 5
- 2
- 3
- 3
- 2
- 4
- 4
- 3
- 9
- 6
- 7
- 4
- 1
- 3
- 4
- 1
- 1
- 1
- 77
- 5
- 57
- 21
- 17
- 11
- 11
- 6
- 4
- 4
- 4
- 4
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 82
- 25
- 22
- 14
- 11
- 8
- 8
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
82 Results
|
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⟩
Conference papers
hal-00628499v1
|
||
|
Asynchonous Box CalculusFundamenta Informaticae, 2003, 54, pp.1-50
Journal articles
hal-00114675v1
|
||
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
Conference papers
hal-00339454v1
|
|||
|
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⟩
Conference papers
hal-02886993v1
|
||
|
Petri nets with causal time for system verificationMTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩
Conference papers
hal-00114682v1
|
||
Modelling Mobility in High-level Petri NetsSeventh International Conference on Application of Concurrency to System Design (ACSD'07), 2007, Slovakia. pp.110--119
Conference papers
hal-00340485v1
|
|||
|
Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstractionJournées Francophones sur les Systèmes Multi-Agents 2018 (JFSMA’2018), Oct 2018, Métabief, France. pp.21--30
Conference papers
hal-02062425v1
|
||
|
Towards Efficient Verification of Systems with Dynamic Process CreationTheoretical Aspects of Computing - ICTAC 2008, 5160, Springer Berlin Heidelberg, pp.186-200, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-85762-4_13⟩
Book sections
istex
hal-02310882v1
|
||
|
Integrated Regulatory Networks (IRNs): Spatially organized biochemical modulesTheoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩
Journal articles
hal-00769275v1
|
||
|
Modeling and checking robustness of communicating autonomous vehiclesS. Omatu, S. Rodriguez, G. Villarrubia, P. Faria, P. Sitek, J. Prieto. Distributed Computing and Artificial Intelligence, 14th International Conference, 620, Springer, pp.173-180, 2018, Advances in Intelligent Systems and Computing, 978-3-319-62409-9. ⟨10.1007/978-3-319-62410-5_21⟩
Book sections
hal-02920656v1
|
||
Analysis of Discrete Models for Ecosystem Ecology12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), Ana Roque; Arkadiusz Tomczyk; Elisabetta De Maria; Felix Putze; Roman Moucek; Ana Fred; Hugo Gamboa, Feb 2019, Prague, Czech Republic. pp.242--264, ⟨10.1007/978-3-030-46970-2_12⟩
Conference papers
hal-02682352v1
|
|||
|
Box Calculus with High-Level Buffers2004, pp.1-6
Conference papers
hal-00114672v1
|
||
|
Operational Semantics for PBC with Asynchronous Communication2002, pp.1-6
Conference papers
hal-00114684v1
|
||
Modeling and validation of mobile agent systems: a case studyINFOCOMP Journal of Computer Science, 2007, Special Edition, pp.9--15
Journal articles
hal-00340121v1
|
|||
|
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⟩
Conference papers
hal-00340494v1
|
||
|
Asynchronous Box Calculus with multi-way communication[Research Report] LACL, Université Paris-Est/Créteil. 2008
Reports
hal-02310227v1
|
||
|
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⟩
Journal articles
hal-02110475v1
|
||
|
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⟩
Conference papers
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⟩
Journal articles
hal-02133680v1
|
||
|
An Algebra of Non-safe Petri BoxesAMAST, 2002, Saint-Gilles-les-Bains, France. pp.192-207, ⟨10.1007/3-540-45719-4_14⟩
Conference papers
istex
hal-02309988v1
|
||
|
Networks and Games for Precision Medicine2016
Preprints, Working Papers, ...
hal-01276715v2
|
||
|
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⟩
Conference papers
hal-01918518v1
|
||
|
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⟩
Journal articles
hal-00340124v1
|
||
|
From Box Algebra to Interval Temporal LogicFundamenta Informaticae, 2019, 167 (4), pp.323--354. ⟨10.3233/FI-2019-1820⟩
Journal articles
hal-02196476v1
|
||
|
A class of composable and preemptible high-level Petri nets with an application to multi-tasking systemsFundamenta Informaticae, 2002, 50(1), pp.33-55
Journal articles
hal-00114685v1
|
||
Petri Net Semantics of the Finite pi-calculus TermsFundamenta Informaticae, 2006, 70, pp.203--226
Journal articles
hal-00340125v1
|
|||
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
Conference papers
hal-01566972v1
|
|||
Translation into Petri Nets of Biological Networks Represented in MIN formalismEuropean Conference on Complex Systems (ECCS 2007), 2007, Germany. pp.203--205
Conference papers
hal-00340496v1
|
|||
|
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⟩
Conference papers
hal-00666664v1
|
||
|
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⟩
Conference papers
hal-00750180v1
|