1. Recherche
264 résultats  enregistrer la recherche
inria-00100025v1  Communication dans un congrès
Horatiu Cirstea, Pierre-Etienne Moreau, Antoine Reilles. Rule based programming in Java for protocol verification
Narciso Marti-Oliet and Manuel Clavel and Alberto Verdejo. 5th International Workshop on Rewriting Logic and its Applications - WRLA'2004, 2004, Barcelona, Spain, Elsevier, 18 p, 2004, Electronic Notes in Theoretical Computer Science
inria-00100019v1  Chapitre d'ouvrage
Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
inria-00100411v1  Communication dans un congrès
Michael Rusinowitch, Mathieu Turuani. Protocol Insecurity with Finite Number of Sessions is NP-complete
14th IEEE Computer Security Foundations Workshop, Jun 2001, Cape Breton, Nova Scotia, Canada, IEEE Computer Society, 14 p, 2001, <10.1109/CSFW.2001.930145>
inria-00100413v1  Communication dans un congrès
Michael Rusinowitch. Rewriting for Deduction and Verification
A. Middeldorp. International Conference on Rewriting Techniques and Applications - RTA'2001, 2001, Utrecht, The Netherlands, Springer-Verlag, 2051, pp.2, 2001, Lecture notes in Computer Science
inria-00100414v1  Communication dans un congrès
Michael Rusinowitch. The practice of cryptographic protocols verification
CAV Workshop on Logical Aspects of Cryptographic Protocols Verification, 2001, Paris, France, 1 p, 2001, ENTCS
inria-00100020v1  Communication dans un congrès
Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
IFIP Workshop on Architecture Description Languages 2004 - WADL'04, 2004, Toulouse/France, pp.53-62, 2004
inria-00100046v1  Communication dans un congrès
Nicolas Biri, Didier Galmiche. Resource Tree and Logics for Distribution - abstract
2nd APPSEM II Workshop - APPSEM'04, 2004, Tallinn/Estonia, 2004
...
tel-00555158v1  Thèse
Ioana Pasca. Formal Verifcation for Numerical Methods
Other [cs.OH]. Université Nice Sophia Antipolis, 2010. English
...
inria-00073287v1  Rapport
Denis Lugiez, Philippe Schnoebelen. The Regular Viewpoint on PA-Processes
[Research Report] RR-3403, INRIA. 1998, pp.27
...
inria-00073337v1  Rapport
Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing
RR-3352, INRIA. 1998
...
inria-00073364v1  Rapport
Thomas Genet. Decidable Approximations of Sets of Descendants and Sets of Normal Forms - extended version
[Research Report] RR-3325, INRIA. 1997, pp.28
...
inria-00073099v1  Rapport
Alain Girault, Gérard Berry. Circuit Generation for Verification of ESTEREL Programs
RR-3582, INRIA. 1998
...
inria-00073106v1  Rapport
Mihaela Sighireanu, Kenneth J. Turner. Requirement Capture, Formal Description and Verification of an Invoicing System
RR-3575, INRIA. 1998
...
inria-00073457v1  Rapport
Ronan Gaugne. Static Debugging of C Programs: Detection of Pointer Errors in Recursive Data Structures
[Research Report] RR-3232, INRIA. 1997
...
inria-00073516v1  Rapport
Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS
[Research Report] RR-3172, INRIA. 1997
...
inria-00073403v1  Rapport
Michel Bourdellès. The Steam Boiler Controller Problem in ESTEREL and its Verification by Means of Symbolic Analysis
RR-3285, INRIA. 1997
...
inria-00072938v1  Rapport
Vlad Rusu, Eli Singerman. Interactive Abstractions: Proving Safety Properties by Integrating Static Analysis, Theorem Proving and Abstraction
[Research Report] RR-3726, INRIA. 1999
...
inria-00073430v1  Rapport
Charles Pecheur. Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS
RR-3259, INRIA. 1997
...
inria-00074198v1  Rapport
Boutheina Chetali. A formal proof of a protocol for communications over faulty channels using the Larch Prover
[Research Report] RR-2476, INRIA. 1995
...
inria-00074199v1  Rapport
Boutheina Chetali. Formal Verification of Concurrent programs: How to specify UNITY using the Larch Prover
[Research Report] RR-2475, INRIA. 1995
...
inria-00074138v1  Rapport
Muriel Jourdan. Large Integrating formal verification methods of quantitative real-time properties into a development environment for robot controllers
RR-2540, INRIA. 1995
...
inria-00074073v1  Rapport
Rance Cleaveland, Eric Madelaine, Steve Sims. A Front-End Generator for Verification Tools
RR-2612, INRIA. 1995
...
inria-00074118v1  Rapport
Yves-Marie Quemener, Thierry Jéron. Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars
[Research Report] RR-2563, INRIA. 1995
...
inria-00074155v1  Rapport
Tochéou Amagbegnon, Paul Le Guernic, Hervé Marchand, Eric Rutten. The Signal data flow methodology applied to a production cell
[Research Report] RR-2522, INRIA. 1995
...
inria-00074157v1  Rapport
Hervé Marchand, Eric Rutten, Mazen Samaan. Specifying and verifying a transformer station in Signal and SignalGTi
[Research Report] RR-2521, INRIA. 1995
...
inria-00073973v1  Rapport
Daniel Simon, Eduardo Castillo, Paul Freedman. On the Validation of Robotics Control Systems Part II: Analysis of real-time closed-loop control tasks
RR-2720, INRIA. 1995
...
inria-00073999v1  Rapport
Toan Nguyen. A Reactive Object Model for Concurrent Engineering Design
[Research Report] RR-2692, INRIA. 1995
...
inria-00073850v1  Rapport
Ranan Fraer. Tracing the Origins of Verification Conditions
RR-2840, INRIA. 1996
...
inria-00073974v1  Rapport
Bernard Espiau, Konstantin Kapellos, Muriel Jourdan, Daniel Simon. On the Validation of Robotics Control Systems Part I: High Level Specification and Formal Verification
[Research Report] RR-2719, INRIA. 1995

Contact


archive-ouverte@inria.fr