Filter your results
- 197
- 12
- 114
- 48
- 11
- 10
- 10
- 6
- 5
- 2
- 2
- 1
- 7
- 2
- 1
- 206
- 3
- 1
- 2
- 9
- 16
- 17
- 17
- 20
- 20
- 12
- 19
- 19
- 21
- 17
- 20
- 201
- 8
- 209
- 209
- 10
- 9
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 52
- 42
- 33
- 33
- 28
- 24
- 17
- 13
- 11
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
209 results
|
Verification of Distributed Systems via Sequential EmulationACM Transactions on Software Engineering and Methodology, 2022, 31 (3), pp.1-41. ⟨10.1145/3490387⟩
Journal articles
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⟩
Conference papers
hal-03286069v1
|
||
|
VBPMN: Automated Verification of BPMN Processes13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy
Conference papers
hal-01591665v1
|
||
|
Revisiting sequential composition in process calculiJournal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩
Journal articles
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⟩
Conference papers
hal-01142198v1
|
||
|
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
Reports
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⟩
Conference papers
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⟩
Journal articles
hal-02933365v1
|
||
|
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⟩
Conference papers
hal-02890401v1
|
||
|
Autonomic resilience of distributed IoT applications in the FogDatabases [cs.DB]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM054⟩
Theses
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⟩
Conference papers
hal-01890246v1
|
||
|
Checking Business Process EvolutionScience of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩
Journal articles
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⟩
Conference papers
hal-01082348v2
|
||
|
Formal Methods for Functional Verification of Cache-Coherent System-on-ChipLogic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
Theses
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⟩
Journal articles
istex
hal-00808565v1
|
||
|
Reliable Self-Deployment of Cloud ApplicationsSAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea
Conference papers
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⟩
Conference papers
hal-03623521v1
|
||
|
Debugging of BPMN Processes Using Coloring TechniquesFACS, Nov 2022, Oslo, Norway. ⟨10.1007/978-3-031-20872-0_6⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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
Conference papers
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⟩
Conference papers
hal-04533195v1
|
||
|
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⟩
Journal articles
hal-00676451v1
|
||
|
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
Documents associated with scientific events
hal-00667288v1
|
||
|
Formal framework for modelling and verifying globally asynchronous locally synchronous systemsComputation and Language [cs.CL]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM036⟩
Theses
tel-01679311v1
|
||
|
Reasoning in description logics with variables: preliminary results regarding the EL logic.28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
Conference papers
hal-01163342v1
|
||
|
Using Formal Conformance Testing to Generate Scenarios for Autonomous VehiclesDATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩
Conference papers
hal-03516799v1
|
||
|
The VLSAT-2 Benchmark Suite[Technical Report] RT-0514, INRIA Grenoble Rhône-Alpes. 2021, pp.1-8
Reports
hal-03337115v1
|
||
|
Design and Deployment of Expressive and Correct Web of Things ApplicationsACM Transactions on Internet of Things, 2022, 3, pp.1 - 30. ⟨10.1145/3475964⟩
Journal articles
hal-03495593v1
|
||
|
Editorial for FACS 2021 special section (SoSyM)Software and Systems Modeling, 22 (2), pp.471-472, 2023, ⟨10.1007/s10270-023-01088-3⟩
Special issue
hal-04310133v1
|