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
|
|
Asynchonous Box CalculusFundamenta Informaticae, 2003, 54, pp.1-50
Article dans une revue
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
Communication dans un congrès
hal-00339454v1
|
|||
|
|
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
|
||
|
|
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
|
||
|
|
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⟩
Chapitre d'ouvrage
istex
hal-02310882v1
|
||
|
|
Petri nets with causal time for system verificationMTCS, 2003, Brno, Czech Republic. pp.1-16, ⟨10.1016/S1571-0661(04)80521-8⟩
Communication dans un congrès
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
Communication dans un congrès
hal-00340485v1
|
|||
|
|
Integrated Regulatory Networks (IRNs): Spatially organized biochemical modulesTheoretical Computer Science, 2012, 431, pp.219--234. ⟨10.1016/j.tcs.2011.12.054⟩
Article dans une revue
hal-00769275v1
|
||
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⟩
Communication dans un congrès
hal-02682352v1
|
|||
|
|
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
Communication dans un congrès
hal-02062425v1
|
||
|
|
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⟩
Chapitre d'ouvrage
hal-02920656v1
|
||
|
|
A concurrent and compositional Petri net semantics of preemptionIntegrated Formal Methods (IFM), 2000, Dagstuhl, Germany. pp.318-337, ⟨10.1007/3-540-40911-4_19⟩
Communication dans un congrès
istex
hal-00114693v1
|
||
|
|
Towards efficient verification of systems with dynamic process creation[Research Report] LACL, Université Paris-Est. 2008
Rapport
hal-02310226v1
|
||
|
|
ITL semantics of composite Petri netsJournal of Logic and Algebraic Programming, 2013, 82 (2), pp.95--110. ⟨10.1016/j.jlap.2012.12.001⟩
Article dans une revue
hal-00781438v1
|
||
A Petri Net Translation of pi-calculus Terms3rd International Colloquium on Theoretical Aspects of Computing'2006, 2006, Tunisia. pp.138--152
Communication dans un congrès
hal-00340486v1
|
|||
|
|
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections4th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2010), Aug 2010, Jena, Germany. ⟨10.4204/EPTCS.40.11⟩
Communication dans un congrès
hal-00666662v1
|
||
|
|
Activity Networks with Delays An application to toxicity analysis[Research Report] Laboratoire d'Informatique, Signaux, et Systèmes de Sophia-Antipolis (I3S) / Equipe BIOINFO MDSC - Modèles Discrets pour les Systèmes Complexes. 2016
Rapport
hal-01152719v2
|
||
Incremental and unifying modelling formalism for biological interaction networksEuropean Conference on Complex Systems, ECCS'2005, 2005, France. pp.256
Communication dans un congrès
hal-00340497v1
|
|||
|
|
A Petri Net Interpretation of Open Reconfigurable SystemsApplications and Theory of Petri Nets, Jun 2011, Newcastle, United Kingdom. pp.208-227, ⟨10.1007/978-3-642-21834-7_12⟩
Communication dans un congrès
hal-00628489v1
|
||
|
|
Interval temporal logic semantics of box algebra8th International Conference on Language and Automata Theory and Applications (LATA 2014), Mar 2014, Madrid, Spain. pp.441--452, ⟨10.1007/978-3-319-04921-2_36⟩
Communication dans un congrès
hal-00984976v1
|
||
From MIN model to ordinary differential equationsJournal of Integrative Bioinformatics, 2007, 4, pp.1--12
Article dans une revue
hal-00340132v1
|
|||
Factorization of the State Space Construction for Cyclic Systems with Data16th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2023), Oct 2023, Marakech, Morocco. pp.1-14, ⟨10.1007/978-3-031-49737-7_1⟩
Communication dans un congrès
hal-04377291v1
|
|||
Dynamic exploration of multi-agent systems with periodic timed tasksFundamenta Informaticae, 2020, 175 (1-4), pp.59--95. ⟨10.3233/FI-2020-1948⟩
Article dans une revue
hal-02886945v1
|
|||
|
|
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
|
||
|
|
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
|
||
Petri Net Semantics of the Finite pi-calculus TermsFundamenta Informaticae, 2006, 70, pp.203--226
Article dans une revue
hal-00340125v1
|
|||
|
|
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
|
||
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
|