Filtrer vos résultats
- 239
- 15
- 142
- 55
- 15
- 14
- 10
- 6
- 5
- 3
- 2
- 2
- 11
- 2
- 1
- 249
- 4
- 3
- 1
- 1
- 2
- 9
- 16
- 17
- 18
- 20
- 20
- 12
- 19
- 19
- 21
- 17
- 20
- 11
- 15
- 18
- 243
- 11
- 254
- 253
- 17
- 10
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 59
- 48
- 41
- 40
- 39
- 27
- 20
- 13
- 13
- 11
- 10
- 10
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
254 résultats
|
Verification of Distributed Systems via Sequential EmulationACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
Article dans une revue
hal-03549925v1
|
||
|
Efficient Algorithms for Three Reachability Problems in Safe Petri NetsPETRI NETS 2021 - 42nd International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2021, Paris, France. pp.339-359, ⟨10.1007/978-3-030-76983-3_17⟩
Communication dans un congrès
hal-03286069v1
|
||
|
VBPMN: Automated Verification of BPMN Processes13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Communication dans un congrès
hal-01591665v1
|
||
|
Revisiting sequential composition in process calculiJournal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩
Article dans une revue
hal-01247770v1
|
||
|
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets36th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS'2015, Jun 2015, Brussels, Belgium. ⟨10.1007/978-3-319-19488-2_9⟩
Communication dans un congrès
hal-01142198v1
|
||
|
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
Rapport
hal-01138749v1
|
||
|
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption StandardProceedings of the first Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Nov 2015, Suva, Fiji. ⟨10.4204/EPTCS.196.6⟩
Communication dans un congrès
hal-01227999v1
|
||
|
F 3 ARIoT: A Framework for Autonomic Resilience of IoT Applications in the FogInternet of Things, 2020, pp.1-54. ⟨10.1016/j.iot.2020.100275⟩
Article dans une revue
hal-02933365v1
|
||
|
So, what exactly is a qualitative calculus?Artificial Intelligence, 2020, 289, pp.103385. ⟨10.1016/j.artint.2020.103385⟩
Article dans une revue
hal-02942947v1
|
||
|
Combining SLiVER with CADP to Analyze Multi-agent SystemsCOORDINATION 2020 - 22nd IFIP WG 6.1 International Conference on Coordination Models and Languages, Jun 2020, La Valetta, Malta. pp.370-385, ⟨10.1007/978-3-030-50029-0_23⟩
Communication dans un congrès
hal-02890401v1
|
||
|
Autonomic resilience of distributed IoT applications in the FogDatabases [cs.DB]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM054⟩
Thèse
tel-02570825v1
|
||
|
Compositional Verification in ActionFMICS 2018 - 23rd International Conference on Formal Methods for Industrial Critical Systems, Sep 2018, Maynooth, Ireland. pp.189-210, ⟨10.1007/978-3-030-00244-2_13⟩
Communication dans un congrès
hal-01890246v1
|
||
|
Checking Business Process EvolutionScience of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩
Article dans une revue
hal-01920273v1
|
||
|
GRL: A Specification Language for Globally Asynchronous Locally Synchronous SystemsProceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
Communication dans un congrès
hal-01082348v2
|
||
|
Formal Methods for Functional Verification of Cache-Coherent System-on-ChipLogic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
Thèse
tel-01258784v2
|
||
|
An Experience Report on the Verification of Autonomic Protocols in the CloudInnovations in Systems and Software Engineering, 2013, ⟨10.1007/s11334-013-0204-0⟩
Article dans une revue
istex
hal-00808565v1
|
||
|
Reliable Self-Deployment of Cloud ApplicationsSAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea
Communication dans un congrès
hal-00934042v1
|
||
|
Formally Modeling Autonomous Vehicles in LNT for Simulation and TestingMars 2022 - 5th Workshop on Models for Formal Analysis of Real Systems, Apr 2022, Munich, Germany. pp.60-117, ⟨10.4204/EPTCS.355.5⟩
Communication dans un congrès
hal-03623521v1
|
||
|
Debugging of BPMN Processes Using Coloring TechniquesFACS, Nov 2022, Oslo, Norway. ⟨10.1007/978-3-031-20872-0_6⟩
Communication dans un congrès
hal-03847267v1
|
||
|
From Static to Dynamic Analysis and Allocation of Resources for BPMN ProcessesWRLA 2022 - 14th International Workshop on Rewriting Logic and its Applications, Apr 2022, Munich, Germany. pp.1-18, ⟨10.1007/978-3-031-12441-9_1⟩
Communication dans un congrès
hal-03766148v1
|
||
|
Debugging of Behavioural Models with CLEARTACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
Communication dans un congrès
hal-02121180v1
|
||
|
Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMTWRLA 2018 : 12th International Workshop on Rewriting Logic and its Applications, Apr 2018, Thessaloniki, Greece. pp.1-20
Communication dans un congrès
hal-01866268v1
|
||
|
Probabilistic Runtime Enforcement of Executable BPMN ProcessesFASE 2024 - 27th International Conference on Fundamental Approaches to Software Engineering, Apr 2024, Luxembourg City, Luxembourg. pp.1-21, ⟨10.1007/978-3-031-57259-3_3⟩
Communication dans un congrès
hal-04533195v1
|
||
|
Measuring the Compatibility of Service Interaction Protocols26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan
Communication dans un congrès
hal-00650529v1
|
||
|
Sequential and distributed on-the-fly computation of weak tau-confluenceScience of Computer Programming, 2012, 77 (10-11), pp.1075-1094. ⟨10.1016/j.scico.2011.07.004⟩
Article dans une revue
hal-00676451v1
|
||
|
Handling Data-Based Concurrency in Context-Aware Service Protocols9th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA'10), Sep 2010, Paris, France. pp.62-77
Communication dans un congrès
inria-00539024v1
|
||
|
On the Semantics of Communicating Hardware Processes and their Translation into LOTOS for the Verification of Asynchronous Circuits with CADPScience of Computer Programming, 2009
Article dans une revue
inria-00381642v1
|
||
|
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribuésApproches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
Document associé à des manifestations scientifiques
hal-00667288v1
|
||
|
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit using CADPFormal Methods for Industrial Critical Systems, 2011, Trento, Italy
Communication dans un congrès
hal-00642029v1
|
||
|
Formal framework for modelling and verifying globally asynchronous locally synchronous systemsComputation and Language [cs.CL]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM036⟩
Thèse
tel-01679311v1
|