Filter your results
- 80
- 26
- 9
- 3
- 3
- 3
- 2
- 1
- 1
- 65
- 48
- 26
- 13
- 12
- 11
- 11
- 10
- 8
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 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
- 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
- 126
- 2
- 118
- 113
- 29
- 15
- 10
- 9
- 7
- 4
- 4
- 4
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 128
- 124
- 124
- 124
- 124
- 120
- 118
- 113
- 113
- 113
- 113
- 105
- 92
- 53
- 53
- 37
- 33
- 27
- 21
- 15
- 15
- 13
- 13
- 13
- 11
- 11
- 11
- 11
- 11
- 9
- 9
- 9
- 9
- 8
- 7
- 7
- 7
- 7
- 7
- 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
- 4
- 4
- 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
- 1
- 1
- 1
- 1
- 1
- 125
- 3
- 111
- 17
- 11
- 11
- 5
- 10
- 9
- 6
- 8
- 3
- 11
- 7
- 11
- 5
- 8
- 3
- 5
- 5
- 5
- 1
- 4
|
Verification of a Failure Management Protocol for Stateful IoT ApplicationsProc. of FMICS'20, Sep 2020, Vienne, Austria. ⟨10.1007/978-3-030-58298-2_12⟩
Conference papers
hal-02930872v1
|
||
|
Seamless Reconfiguration of Rule-Based IoT ApplicationsSEAMS 2021 - 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2021, Madrid / Virtual, Spain. pp.142-148
Conference papers
hal-03254192v1
|
||
|
Interactive specification and verification of behavioral adaptation contractsInformation and Software Technology, 2012, 54 (7), pp.701-723
Journal articles
hal-00694516v1
|
||
|
IoT Composer: Composition and Deployment of IoT ApplicationsICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩
Conference papers
hal-02146569v1
|
||
|
Model-based Adaptation of Behavioural Mismatching ComponentsIEEE Transactions on Software Engineering, 2008, 34 (4), pp.546--563. ⟨10.1109/TSE.2008.31⟩
Journal articles
hal-00340122v1
|
||
|
Automated Analysis of Asynchronously Communicating Systems23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_1⟩
Conference papers
hal-01280164v1
|
||
|
Preface: Special Issue on Software Verification and Testing (Selected Papers from SAC-SVT'15)ACM, 2016, ⟨10.1016/j.scico.2016.10.001⟩
Books
hal-01419302v1
|
||
|
Software Engineering and Formal MethodsBooks hal-01272610v1 |
||
|
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal DatatypesIEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩
Journal articles
hal-00470280v1
|
||
|
Automated Analysis of Industrial Workflow-based ModelsSAC 2018 - 33rd Annual ACM Symposium on Applied Computing, ACM, Apr 2018, Pau, France. pp.120-127, ⟨10.1145/3167132.3167142⟩
Conference papers
hal-01781315v1
|
||
|
Asynchronous synthesis techniques for coordinating autonomic managers in the cloudScience of Computer Programming, 2017, 146, pp.87 - 103. ⟨10.1016/j.scico.2017.05.005⟩
Journal articles
hal-01630717v1
|
||
|
Quantifying the Similarity of BPMN ProcessesAPSEC 2022 - 29th Asia-Pacific Software Engineering Conference, Dec 2022, Virtual, Japan. pp.1-10
Conference papers
hal-03890531v1
|
||
|
Quantifying the Parallelism in BPMN Processes using Model CheckingThe 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
Conference papers
hal-01016412v1
|
||
|
Structural Reconfiguration of Systems under Behavioral AdaptationScience of Computer Programming, 2012, 78 (1), pp.46-64
Journal articles
hal-00734057v1
|
||
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams{8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a
Conference papers
hal-00458164v1
|
|||
|
Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)Gwen Salaün; Bernhard Schätz. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2013.01.008⟩
Books
hal-00919803v1
|
||
|
Realizability of Choreographies using Process Algebra EncodingsIEEE Transactions on Services Computing, 2012, 5 (3), pp.290-304
Journal articles
hal-00726448v1
|
||
|
Analysis and Verification of Service Interaction Protocols - A Brief Survey4th International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB'10), Sep 2010, Antwerp, Belgium. pp.75-86
Conference papers
inria-00539017v1
|
||
Quantifying Service Compatibility: A Step Beyond the Boolean Approaches8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626
Conference papers
inria-00538963v1
|
|||
|
Quantifying the Similarity of Non-bisimilar Labelled Transition SystemsFOCLASA 2019 - 17th International Workshop on Coordination and Self-adaptativeness of Software Applications, Sep 2019, Oslo, Norway. pp.1-14
Conference papers
hal-02933345v1
|
||
|
Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOSRR-5666, INRIA. 2005, pp.25
Reports
inria-00070342v1
|
||
|
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive SystemsScience of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩
Special issue
hal-01898179v1
|
||
|
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283
Conference papers
hal-00685394v1
|
||
|
Stability of Asynchronously Communicating Systems[Research Report] RR-8561, INRIA. 2014
Reports
hal-01020777v2
|
||
|
Consistent Substitution of Object in Rule-based IoT ApplicationsCOMPSAC 2021 - Computer Software and Applications Conference, Jul 2021, Virtual, United States. pp.1-9
Conference papers
hal-03484028v1
|
||
|
PIC2LNT: Model Transformation for Model Checking an Applied Pi-CalculusTACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩
Conference papers
hal-00805533v1
|
||
|
Behavioral Adaptation of Component Compositions based on Process Algebra EncodingsProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩
Conference papers
hal-00342148v1
|
||
|
On Dynamic Reconfiguration of Behavioural AdaptationProceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69
Conference papers
hal-00342163v1
|
||
|
Counterexample Guided Synthesis of Monitors for Realizability EnforcementAutomated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩
Conference papers
hal-00742159v1
|
||
Formal Aspects of Component SoftwareBooks hal-01272595v1 |