Filtrer vos résultats
- 239
- 52
- 2
- 131
- 59
- 56
- 24
- 11
- 3
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 49
- 1
- 289
- 3
- 2
- 2
- 2
- 2
- 783
- 660
- 606
- 588
- 519
- 477
- 429
- 389
- 366
- 323
- 315
- 315
- 311
- 307
- 303
- 293
- 290
- 280
- 267
- 258
- 250
- 225
- 219
- 218
- 217
- 216
- 215
- 214
- 210
- 208
- 208
- 205
- 202
- 200
- 196
- 196
- 195
- 192
- 191
- 190
- 190
- 188
- 183
- 180
- 178
- 178
- 176
- 174
- 172
- 170
- 170
- 165
- 164
- 162
- 160
- 160
- 159
- 157
- 157
- 156
- 154
- 153
- 152
- 152
- 150
- 150
- 150
- 149
- 149
- 148
- 147
- 147
- 145
- 142
- 142
- 141
- 140
- 140
- 140
- 139
- 138
- 138
- 137
- 137
- 137
- 136
- 136
- 135
- 135
- 135
- 135
- 134
- 133
- 131
- 131
- 131
- 131
- 131
- 130
- 128
- 4
- 15
- 14
- 8
- 13
- 12
- 10
- 17
- 23
- 19
- 17
- 16
- 10
- 11
- 11
- 9
- 18
- 13
- 12
- 4
- 2
- 11
- 6
- 3
- 3
- 4
- 5
- 2
- 1
- 278
- 15
- 108
- 60
- 52
- 49
- 47
- 33
- 27
- 25
- 22
- 19
- 19
- 17
- 15
- 15
- 13
- 12
- 9
- 9
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 15
- 11
- 11
- 10
- 10
- 10
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 2
- 2
|
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
|
||
|
Higher-order Automation in TLAPSTLA+ Community Event 2020, Oct 2020, Virtual, France
Communication dans un congrès
hal-02990614v1
|
||
|
Using model checking to formally verify rendezvous algorithms for robots with lights in Euclidean spaceRobotics and Autonomous Systems, 2023, 163, pp.104378. ⟨10.1016/j.robot.2023.104378⟩
Article dans une revue
hal-04021057v1
|
||
|
Modeling and Verification of Systems with UncertaintiesFormal Languages and Automata Theory [cs.FL]. Université de Nantes, 2020
HDR
tel-03636882v1
|
||
|
Towards an incremental development of UML specifications2007
Autre publication scientifique
hal-00182180v1
|
||
|
A decidable class of security protocols for both reachability and equivalence propertiesJournal of Automated Reasoning, 2021, 65 (4), ⟨10.1007/s10817-020-09582-9⟩
Article dans une revue
hal-03005036v1
|
||
|
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
Rapport
hal-01138749v1
|
||
|
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
|
||
|
Combining Verification and Validation techniquesDoctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10
Communication dans un congrès
hal-01183129v1
|
||
|
Efficiently Deciding µ-calculus with Converse over Finite TreesACM Transactions on Computational Logic, 2015, 16 (2), pp.41. ⟨10.1145/2724712⟩
Article dans une revue
hal-00868722v5
|
||
|
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
|
||
|
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach[Research Report] 2013, pp.21
Rapport
hal-00778039v1
|
||
|
Event Systems and Access ControlSixth International IFIP WG 1.7 Workshop on Issues in the Theory of Security, Mar 2006, Vienna/Austria, pp.40-54
Communication dans un congrès
inria-00001262v1
|
||
Reachability is decidable for ground AC Rewrite systemsINFINITY '98, 3rd International Workshop on Verification of Infinite State Systems, 1998, Aalborg, Denmark, 12 p
Communication dans un congrès
inria-00098437v1
|
|||
|
Testing Logical Diagrams in Power Plants: A Tale of LTL Model CheckingFMICS 2023 - Formal Methods for Industrial Critical Systems, Sep 2023, Antwerp, Netherlands. pp.189-204, ⟨10.1007/978-3-031-43681-9_11⟩
Communication dans un congrès
lirmm-04214807v1
|
||
|
Handling Algebraic Properties in Automatic Analysis of Security Protocols[Research Report] RR-5857, INRIA. 2006, pp.18
Rapport
inria-00070169v1
|
||
|
Performance & Correctness Assessment of Distributed SystemsModeling and Simulation. Université Henri Poincaré - Nancy I, 2011. English. ⟨NNT : ⟩
Thèse
tel-00749039v1
|
||
An Integrated Framework for the Formal Analysis of Critical Interactive SystemsThe 27th Asia-Pacific Software Engineering Conference, Jun Sun, Dec 2020, Singapour, Singapore. pp.10
Communication dans un congrès
hal-02999148v1
|
|||
|
A Mechanised Cryptographic Proof of the WireGuard Virtual Private Network Protocol4th IEEE European Symposium on Security and Privacy, Jun 2019, Stockholm, Sweden. pp.231-246
Communication dans un congrès
hal-02396640v1
|
||
|
Consistency Checking in Early Software Product Line Specifications -The VCC ApproachJournal of Universal Computer Science, 2014, 20 (5), pp.640 - 665
Article dans une revue
hal-01088464v1
|
||
|
The MPI BUGS INITIATIVE: a Framework for MPI Verification Tools EvaluationCorrectness 2021: Fifth International Workshop on Software Correctness for HPC Applications, Nov 2021, St. Louis, United States. pp.1-9
Communication dans un congrès
hal-03474762v1
|
||
|
A Symbolic Framework to Analyse Physical Proximity in Security ProtocolsFoundations of Software Technology and Theoretical Computer Science (FSTTCS), Dec 2018, Ahmedabad, India. ⟨10.4230/LIPIcs.FSTTCS.2018.29⟩
Communication dans un congrès
hal-02390222v1
|
||
|
Aggregation and embedding for group membership verificationICASSP 2019 - IEEE International Conference on Acoustics, Speech and Signal Processing, May 2019, Brighton, United Kingdom. pp.2592-2596, ⟨10.1109/ICASSP.2019.8682422⟩
Communication dans un congrès
hal-02091036v3
|
||
|
Protocol insecurity with a finite number of sessions, composed keys is NP-complete.Theoretical Computer Science, 2003, Theoretical Computer Science, 1-3 (299), pp.451-475. ⟨10.1016/S0304-3975(02)00490-5⟩
Article dans une revue
inria-00103985v1
|
||
|
Vers la compilation vérifiée de Sea of Nodes : propriétés et raisonnement sémantiquesGénie logiciel [cs.SE]. Université de Rennes, 2018. Français. ⟨NNT : 2018REN1S020⟩
Thèse
tel-01865395v1
|
||
|
Verifying Software Fault IsolationPerformance [cs.PF]. Université de Rennes, 2019. English. ⟨NNT : 2019REN1S067⟩
Thèse
tel-02513105v1
|
||
|
Safe Design of Stable Neural Networks for Fault Detection in Small UAVsSAFECOMP 2022 - The 41st International Conference on Computer Safety, Reliability and Security, Sep 2022, Munich, Germany. pp.263-275, ⟨10.1007/978-3-031-14862-0_19⟩
Communication dans un congrès
hal-03825404v1
|
||
|
LATe: A Lightweight Authenticated Time Synchronization Protocol for IoT2018 Global Internet of Things Summit (GIoTS), Jun 2018, Bilbao, Spain. pp.1-6, ⟨10.1109/GIOTS.2018.8534565⟩
Communication dans un congrès
hal-02007159v1
|
||
FIESTA : A Generic Framework for Integrating New Functionalities into Software ArchitecturesEuropean Conference on Software Architecture (ECSA'07), Sep 2007, Aranjuez (Madrid), Spain. pp.76--91, ⟨10.1007/978-3-540-75132-8_7⟩
Communication dans un congrès
istex
inria-00180293v1
|
|||
B événementiel et les propriétés de vivacitéJournal Européen des Systèmes Automatisés (JESA), 2010, 44 (9-10), pp.1119-1163. ⟨10.3166/jesa.44.1119-1163⟩
Article dans une revue
istex
inria-00580131v1
|