Search - Archive ouverte HAL Access content directly

Filter your results

107 Results
Structure: Internal structure identifier : 44979
Image document

Requirement Capture, Formal Description and Verification of an Invoicing System

Mihaela Sighireanu , Kenneth J. Turner
RR-3575, INRIA. 1998
Reports inria-00073106v1
Image document

Towards Performance Prediction of Compositional Models in Industrial GALS Designs

Nicolas Coste , Holger Hermanns , Etienne Lantreibecq , Wendelin Serwe
Computer Aided Verification, Saddek Bensalem, 2009, Grenoble, France
Conference papers inria-00381657v1
Image document

Translating Pi-Calculus into LOTOS NT

Radu Mateescu , Gwen Salaün
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244
Conference papers inria-00524586v1
Image document

Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques

Radu Mateescu , Pascal Poizat , Gwen Salaün
6th 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
Image document

A Case Study in Model-based Adaptation of Web Services

Javier Cámara , Jose Antonio Martin , Gwen Salaün , Carlos Canal , Ernesto Pimentel et al.
4th 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
Image document

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems

Radu Mateescu
RR-4711, INRIA. 2003
Reports inria-00071875v1
Image document

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Hubert Garavel
[Research Report] RR-6368, INRIA. 2007, pp.16
Reports inria-00191141v3
Image document

An Adaptation-based Approach to Incrementally Build Component Systems

Pascal Poizat , Gwen Salaün , Massimo Tivoli
Proceedings 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
Image document

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Radu Mateescu , Sylvain Rampacek
EOMAS 2008, Jun 2008, Montpellier, France. pp.179-193, ⟨10.1007/978-3-540-68644-6_13⟩
Conference papers inria-00319100v1
Image document

Client Update: A Solution for Service Evolution

Meriem Ouederni , Gwen Salaün , Ernesto Pimentel
8th 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-LOTOS

Mihaela Sighireanu , Radu Mateescu
International Journal on Software Tools for Technology Transfer, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩
Journal articles hal-00109622v1
Image document

Automated Configuration of Legacy Applications in the Cloud

Xavier Etchevers , Thierry Coupaye , Fabienne Boyer , Noel de Palma , Gwen Salaün et al.
UCC 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 approach

Pedro T. Monteiro , Ana T. Freitas , Delphine Ropers , Radu Mateescu , Hidde De Jong et al.
Proceedings 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 puce

Hidde de Jong , Delphine Ropers , Radu Mateescu , Johannes Geiselmann
Les Cahiers de l'INRIA - La Recherche, 2008, 419, pp.I-II
Journal articles hal-01178203v1
Image document

Formal Modeling and Discrete-Time Analysis of BPEL Web Services

Radu Mateescu , Sylvain Rampacek
International Journal of Simulation and Process Modelling, 2008, ⟨10.1504/IJSPM.2008.023680⟩
Journal articles inria-00381551v1
Image document

Modélisation et analyse des performances de la bibliothèque MPI en tenant compte de l'architecture matérielle

Meriem Zidouni
Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 2010. Français. ⟨NNT : ⟩
Theses tel-00526164v1
Image document

On Dynamic Reconfiguration of Behavioural Adaptation

Pascal Poizat , Gwen Salaün , Massimo Tivoli
Proceedings 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 Encodings

Radu Mateescu , Pascal Poizat , Gwen Salaün
Proceedings 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 Verification

Claude Helmstetter , Olivier Ponsini
Formal Methods and Models for Codesign (MEMOCODE), Jun 2008, Anaheim, United States
Conference papers inria-00275456v1
Image document

Concurrency and Composition in a Stochastic World

Christian Eisentraut , Holger Hermanns , Lijun Zhang
CONCUR 2010 - Concurrency Theory, 21th International Conference, Aug 2010, Paris, France. pp.21-39
Conference papers hal-00650728v1
Image document

Translating Hardware Process Algebras into Standard Process Algebras : Illustration with CHP and LOTOS

Gwen Salaün , Wendelin Serwe
RR-5666, INRIA. 2005, pp.25
Reports inria-00070342v1
Image document

SVL : a Scripting Language for Compositional Verification

Hubert Garavel , Frédéric Lang
[Research Report] RR-4223, INRIA. 2001
Reports inria-00072396v1
Image document

NTIF: A General Symbolic Model for Communicating Sequential Processes with Data

Hubert Garavel , Frédéric Lang
[Research Report] RR-4666, INRIA. 2002
Reports inria-00071919v1
Image document

Efficient Diagnostic Generation for Boolean Equation Systems

Radu Mateescu
RR-3861, INRIA. 2000
Reports inria-00072795v1
Image document

Advanced Modelling and Verification Techniques Applied to a Cluster File System

Charles Pecheur
RR-3416, INRIA. 1998
Reports inria-00073273v1
Image document

Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS

Mihaela Sighireanu , Radu Mateescu
[Research Report] RR-3172, INRIA. 1997
Reports inria-00073516v1
Image document

Vérification distribuée à la volée de grands espaces d'états

Christophe Joubert
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2005. Français. ⟨NNT : ⟩
Theses tel-00011939v2
Image document

Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS

Charles Pecheur
RR-3259, INRIA. 1997
Reports inria-00073430v1
Image document

Verification of GALS Systems by Combining Synchronous Languages and Process Calculi

Hubert Garavel , Damien Thivolle
Model 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
Image document

Formal Verification of CHP Specifications with CADP - Illustration on an Asynchronous Network-on-Chip

Gwen Salaün , Wendelin Serwe , Yvain Thonnart , Pascal Vivet
Proceedings of the 13th IEEE International Symposium on Asynchronous Circuits and Systems ASYNC 2007, Mar 2007, Berkeley, California, United States
Conference papers inria-00200450v1