Filter your results
- 93
- 14
- 48
- 36
- 15
- 4
- 2
- 2
- 104
- 10
- 1
- 1
- 10
- 15
- 17
- 18
- 10
- 8
- 4
- 1
- 5
- 5
- 5
- 3
- 4
- 2
- 101
- 6
- 107
- 107
- 9
- 7
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 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
- 29
- 23
- 20
- 18
- 11
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 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
- 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
|
Requirement Capture, Formal Description and Verification of an Invoicing SystemRR-3575, INRIA. 1998
Reports
inria-00073106v1
|
||
|
Towards Performance Prediction of Compositional Models in Industrial GALS DesignsComputer Aided Verification, Saddek Bensalem, 2009, Grenoble, France
Conference papers
inria-00381657v1
|
||
|
Translating Pi-Calculus into LOTOS NTIntegrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244
Conference papers
inria-00524586v1
|
||
|
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩
Conference papers
inria-00341598v1
|
||
|
A Case Study in Model-based Adaptation of Web Services4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010), Oct 2010, Heraclion, Crete, Greece. pp.112--126
Conference papers
inria-00538968v1
|
||
|
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation SystemsRR-4711, INRIA. 2003
Reports
inria-00071875v1
|
||
|
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular[Research Report] RR-6368, INRIA. 2007, pp.16
Reports
inria-00191141v3
|
||
|
An Adaptation-based Approach to Incrementally Build Component SystemsProceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. pp.155--170, ⟨10.1016/j.entcs.2006.09.037⟩
Conference papers
hal-00342162v1
|
||
|
Formal Modeling and Discrete-Time Analysis of BPEL Web ServicesEOMAS 2008, Jun 2008, Montpellier, France. pp.179-193, ⟨10.1007/978-3-540-68644-6_13⟩
Conference papers
inria-00319100v1
|
||
|
Client Update: A Solution for Service Evolution8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States
Conference papers
hal-00649933v1
|
||
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOSInternational Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩
Journal articles
hal-00109622v1
|
|||
|
Automated Configuration of Legacy Applications in the CloudUCC 2011 - International Conference on Utility and Cloud Computing, Dec 2011, Victoria, NSW, Australia. pp.170-177, ⟨10.1109/UCC.2011.32⟩
Conference papers
hal-00665592v1
|
||
Modeling and formal verification of biological regulatory networks: an integrative approachProceedings of the IEEE International Conference on Bioinformatics & Biomedicine (BIBM 2010). First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), 2010, Ottawa, Canada
Conference papers
hal-00793023v1
|
|||
De la cellule à la puceLes Cahiers de l'INRIA - La Recherche, 2008, 419, pp.I-II
Journal articles
hal-01178203v1
|
|||
|
Formal Modeling and Discrete-Time Analysis of BPEL Web ServicesInternational Journal of Simulation and Process Modelling, 2008, ⟨10.1504/IJSPM.2008.023680⟩
Journal articles
inria-00381551v1
|
||
|
Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielleModélisation et simulation. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩
Theses
tel-00526164v1
|
||
|
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
|
||
|
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
|
||
A Comparison of Two SystemC/TLM Semantics for Formal VerificationFormal Methods and Models for Codesign (MEMOCODE), Jun 2008, Anaheim, United States
Conference papers
inria-00275456v1
|
|||
|
Concurrency and Composition in a Stochastic WorldCONCUR 2010 - Concurrency Theory, 21th International Conference, Aug 2010, Paris, France. pp.21-39
Conference papers
hal-00650728v1
|
||
|
Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOSRR-5666, INRIA. 2005, pp.25
Reports
inria-00070342v1
|
||
|
SVL : a Scripting Language for Compositional Verification[Research Report] RR-4223, INRIA. 2001
Reports
inria-00072396v1
|
||
|
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data[Research Report] RR-4666, INRIA. 2002
Reports
inria-00071919v1
|
||
|
Efficient Diagnostic Generation for Boolean Equation SystemsRR-3861, INRIA. 2000
Reports
inria-00072795v1
|
||
|
Advanced Modelling and Verification Techniques Applied to a Cluster File SystemRR-3416, INRIA. 1998
Reports
inria-00073273v1
|
||
|
Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS[Research Report] RR-3172, INRIA. 1997
Reports
inria-00073516v1
|
||
|
Vérification distribuée à la volée de grands espaces d'étatsGénie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨NNT : ⟩
Theses
tel-00011939v2
|
||
|
Specification and Verification of the Co4 Distributed Knowledge System Using LOTOSRR-3259, INRIA. 1997
Reports
inria-00073430v1
|
||
|
Verification of GALS Systems by Combining Synchronous Languages and Process CalculiModel Checking Software, Proceedings of the 16th International SPIN Workshop on Model Checking of Software SPIN'2009, Jun 2009, Grenoble, France. ⟨10.1007/978-3-642-02652-2_20⟩
Conference papers
inria-00388819v1
|
||
|
Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-ChipProceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007, Mar 2007, Berkeley, California, United States
Conference papers
inria-00200450v1
|