2015
Journal articles
- titre
- Verification of Plastic Interactive Systems
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- i-com, 2015, 14 (3), pp.192-204. ⟨10.1515/icom-2015-0036⟩
- Accès au bibtex
-
- titre
- Compositional Verification of Asynchronous Concurrent Systems using CADP
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu
- article
- Acta Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
- Accès au bibtex
-
-
- titre
- Revisiting sequential composition in process calculi
- auteur
- Hubert Garavel
- article
- Journal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard
- auteur
- Wendelin Serwe
- article
- Proceedings of the first Workshop on Models for Formal Analysis of Real Systems (MARS 2015), Nov 2015, Suva, Fiji. ⟨10.4204/EPTCS.196.6⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
- auteur
- Rim Abid, Gwen Salaün, Noel de Palma, Soguy Mak-Karé Gueye
- article
- 12th International Symposium on Formal Aspects of Components and Systems FACS'2015, Oct 2015, Niterói, Rio de Janeiro, Brazil
- Accès au texte intégral et bibtex
-
- titre
- Equivalence Checking for Comparing User Interfaces
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2774844⟩
- Accès au bibtex
-
- titre
- Plasticity of User Interfaces: Formal Verification of Consistency
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Gaëlle Calvary
- article
- 7th ACM SIGCHI Symposium on Engineering Interactive Computing Systems EICS'2015, Jun 2015, Duisburg, Germany. ⟨10.1145/2774225.2775078⟩
- Accès au bibtex
-
-
- titre
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
- auteur
- Hubert Garavel
- article
- 36th International Conference on Application and Theory of Petri Nets and Concurrency PETRI NETS'2015, Jun 2015, Brussels, Belgium. ⟨10.1007/978-3-319-19488-2_9⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Reasoning in description logics with variables: preliminary results regarding the EL logic.
- auteur
- Lakhdar Akroun, Lhouari Nourine, Farouk Toumani
- article
- 28th International Workshop on Description Logics, Jun 2015, Athenes, Greece. pp.12
- Accès au texte intégral et bibtex
-
-
- titre
- Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- 21th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2015, London, UK, France. pp.708--722, ⟨10.1007/978-3-662-46681-0_62⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Model-Based Adaptation of Software Communicating via FIFO Buffers
- auteur
- Carlos Canal, Gwen Salaün
- article
- 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), Apr 2015, Londres, United Kingdom. ⟨10.1007/978-3-662-46675-9_17⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes
- auteur
- Hugues Evrard, Frédéric Lang
- article
- 23rd Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP 2015), Mar 2015, Turku, Finland
- Accès au texte intégral et bibtex
-
-
- titre
- Debugging Process Algebra Specifications
- auteur
- Gwen Salaün, Lina Ye
- article
- VMCAI 2015, Jan 2015, Mumbai, India. pp.18, ⟨10.1007/978-3-662-46081-8_14⟩
- Accès au texte intégral et bibtex
-
Reports
-
- titre
- Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu
- article
- [Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
- Accès au texte intégral et bibtex
-
Theses
-
- titre
- Formal Specification and Verification of Interactive Systems with Plasticity : Applications to Nuclear-Plant Supervision
- auteur
- Raquel Araùjo De Oliveira
- article
- Computation and Language [cs.CL]. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM025⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérent
- auteur
- Abderahman Kriouile
- article
- Micro and nanotechnologies/Microelectronics. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM041⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Methods for Functional Verification of Cache-Coherent System-on-Chip
- auteur
- Abderahman Kriouile
- article
- Logic in Computer Science [cs.LO]. Université Grenoble Alpes, 2015. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones
- auteur
- Hugues Evrard
- article
- Génie logiciel [cs.SE]. Université Grenoble Alpes, 2015. Français. ⟨NNT : 2015GREAM020⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
-
- titre
- Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity
- auteur
- Radu Mateescu, Anton Wijs
- article
- Science of Computer Programming, 2014, ⟨10.1016/j.scico.2014.04.004⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of a Hardware Dynamic Task Dispatcher with CADP
- auteur
- Etienne Lantreibecq, Wendelin Serwe
- article
- Science of Computer Programming, 2014, 80, pp.130-149. ⟨10.1016/j.scico.2013.01.003⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Adaptation of Asynchronously Communicating Software
- auteur
- Carlos Canal, Gwen Salaün
- article
- 12th International Conference on Service Oriented Computing (ICSOC 2014), Nov 2014, Paris, France
- Accès au texte intégral et bibtex
-
-
- titre
- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip
- auteur
- Zhen Zhang, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng, Chris Myers
- article
- 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, Sep 2014, Florence, Italy. pp.48-62, ⟨10.1007/978-3-319-10702-8_4⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Quantifying the Parallelism in BPMN Processes using Model Checking
- auteur
- Radu Mateescu, Gwen Salaün, Lina Ye
- article
- The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
- Accès au texte intégral et bibtex
-
-
- titre
- Robust Reconfiguration of Cloud Applications
- auteur
- Francisco Durán, Gwen Salaün
- article
- The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
- Accès au texte intégral et bibtex
-
- titre
- Formal verification of UI using the power of a recent tool suite
- auteur
- Raquel Oliveira, Sophie Dupuy-Chessa, Calvary Gaëlle
- article
- EICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, ⟨10.1145/2607023.2610280⟩
- Accès au bibtex
-
-
- titre
- Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones
- auteur
- Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, Ioannis Parissis
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
- Accès au texte intégral et bibtex
-
-
- titre
- A Model-Based Certification Framework for the EnergyBus Standard
- auteur
- Alexander Graf-Brill, Holger Hermanns, Hubert Garavel
- article
- 34th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2014, Berlin, Germany. pp.84-99, ⟨10.1007/978-3-662-43613-4_6⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Comparator: A Tool for Quantifying Behavioural Compatibility
- auteur
- Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
- article
- FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.306-309, ⟨10.1007/978-3-642-54804-8_21⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Reliable Self-Deployment of Cloud Applications
- auteur
- Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma
- article
- SAC 2014 - 29th ACM Symposium on Applied Computing, Mar 2014, Gyeongju, South Korea
- Accès au texte intégral et bibtex
-
Books
-
- titre
- Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)
- auteur
- Corina Pasareanu, Gwen Salaün
- article
- Corina Pasareanu and Gwen Salaün. Elsevier, pp.3, 2014
- Accès au texte intégral et bibtex
-
-
- titre
- Special Section on Formal Methods for Industrial Critical Systems (Selected Papers from FMICS'11)
- auteur
- Gwen Salaün, Bernhard Schätz
- article
- Gwen Salaün; Bernhard Schätz. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2013.01.008⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Special Section on Foundations of Coordination Languages and Software Architectures (Selected Papers from FOCLASA'10)
- auteur
- Mohammad Reza Mousavi, Gwen Salaün
- article
- Mousavi, Mohammad Reza; Salaün, Gwen. Elsevier, 80(A), 2014, Science of Computer Programming, ⟨10.1016/j.scico.2012.03.003⟩
- Accès au texte intégral et bibtex
-
- titre
- Formal Methods for Industrial Critical Systems
- auteur
- Frédéric Lang, Francesco Flammini
- article
- 2014
- Accès au bibtex
-
- titre
- Software Engineering and Formal Methods
- auteur
- Gwen Salaün, Dimitra Giannakopoulou
- article
- 2014, ⟨10.1007/978-3-319-10431-7⟩
- Accès au bibtex
-
Reports
-
- titre
- Stability of Asynchronously Communicating Systems
- auteur
- Gwen Salaün, Lina Ye
- article
- [Research Report] RR-8561, INRIA. 2014
- Accès au texte intégral et bibtex
-
-
- titre
- GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
- auteur
- Fatma Jebali, Frédéric Lang, Radu Mateescu
- article
- [Research Report] RR-8527, INRIA. 2014
- Accès au texte intégral et bibtex
-
-
- titre
- Flooding-Based Algorithm for Behavioural Compatibility Measuring
- auteur
- Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
-
- titre
- Formal Modeling and Verification of GALS Systems Using GRL and CADP
- auteur
- Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu
- article
- 2014
- Accès au texte intégral et bibtex
-
2013
Journal articles
-
- titre
- Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
- auteur
- Frederic Lang, Radu Mateescu
- article
- Logical Methods in Computer Science, 2013, 9 (4)
- Accès au texte intégral et bibtex
-
-
- titre
- An Experience Report on the Verification of Autonomic Protocols in the Cloud
- auteur
- Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël de Palma, Xavier Etchevers, Olivier Gruber
- article
- Innovations in Systems and Software Engineering, 2013, ⟨10.1007/s11334-013-0204-0⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Efficient Optimization of Large Probabilistic Models
- auteur
- Simon Struck, Matthias Güdemann, Frank Ortmeier
- article
- Journal of Systems and Software, 2013, ⟨10.1016/j.jss.2013.03.078⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Composition and abstraction of logical regulatory modules: application to multicellular systems
- auteur
- Nuno D Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
- article
- Bioinformatics, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩
- Accès au texte intégral et bibtex
-
-
- titre
- CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
- article
- International Journal on Software Tools for Technology Transfer, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Predictability Analysis of Distributed Discrete Event Systems
- auteur
- Lina Ye, Philippe Dague, Farid Nouioua
- article
- 52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.5009-5015
- Accès au texte intégral et bibtex
-
-
- titre
- Compatibility Checking for Asynchronously Communicating Software
- auteur
- Meriem Ouederni, Gwen Salaün, Tevfik Bultan
- article
- FACS 2013, Oct 2013, Nanchang, China
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of a Dynamic Management Protocol for Cloud Applications
- auteur
- Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noël de Palma
- article
- 11th International Symposium, ATVA 2013, Dang Van Hung and Mizuhito Ogawa, Oct 2013, Hanoi, Vietnam. pp.178-192, ⟨10.1007/978-3-319-02444-8_14⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- FMICS - 18th International Workshop on Formal Methods for Industrial Critical Systems, ERCIM Working Group on Formal Methods for Industrial Critical Systems (FMICS), Sep 2013, Madrid, Spain. pp.108-122
- Accès au texte intégral et bibtex
-
-
- titre
- Analyse formelle du protocole ACE : cohérence de caches des systèmes sur puce
- auteur
- Abderahman Kriouile, Wendelin Serwe
- article
- École d'été Temps-Réel 2013, Aug 2013, Toulouse, France. pp.130-133
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of EB3 Specifications Using CADP
- auteur
- Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
- article
- iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Formal Verification of Distributed Branching Multiway Synchronization Protocols
- auteur
- Hugues Evrard, Frédéric Lang
- article
- 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
- Accès au texte intégral et bibtex
-
-
- titre
- VerChor: A Framework for Verifying Choreographies
- auteur
- Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
- article
- Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩
- Accès au texte intégral et bibtex
-
-
- titre
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
- auteur
- Radu Mateescu, Gwen Salaün
- article
- TACAS - 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000
- auteur
- Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France
- Accès au texte intégral et bibtex
-
Book sections
-
- titre
- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
- auteur
- Gwen Salaün, Xavier Etchevers, Noël de Palma, Fabienne Boyer, Thierry Coupaye
- article
- Camara, Javier and de Lemos, Rogerio and Ghezzi, Carlo and Lopes, Antonia. Assurances for Self-Adaptive Systems, Springer, 2013, ⟨10.1007/978-3-642-36249-1_3⟩
- Accès au texte intégral et bibtex
-
Books
- titre
- Formal Aspects of Component Software
- auteur
- Gwen Salaün, Corina Pasareanu
- article
- 2013, ⟨10.1007/978-3-642-35861-6⟩
- Accès au bibtex
-
2012
Journal articles
-
- titre
- La fiabilité des systèmes devient un défi majeur
- auteur
- Hubert Garavel, Isabelle Bellin
- article
- Collection "20 ans d'avancées et de perspectives en sciences du numérique", 2012, 3 p
- Accès au texte intégral et bibtex
-
-
- titre
- Structural Reconfiguration of Systems under Behavioral Adaptation
- auteur
- Carlos Canal, Javier Cámara, Gwen Salaün
- article
- Science of Computer Programming, 2012, 78 (1), pp.46-64
- Accès au texte intégral et bibtex
-
-
- titre
- Realizability of Choreographies using Process Algebra Encodings
- auteur
- Gwen Salaün, Tevfik Bultan, Nima Roohi
- article
- IEEE Transactions on Services Computing, 2012, 5 (3), pp.290-304
- Accès au texte intégral et bibtex
-
- titre
- On Explicit Substitution with Names
- auteur
- Kristoffer H. Rose, Roel Bloo, Frederic Lang
- article
- Journal of Automated Reasoning, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩
- Accès au bibtex
-
-
- titre
- Interactive specification and verification of behavioral adaptation contracts
- auteur
- Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
- article
- Information and Software Technology, 2012, 54 (7), pp.701-723
- Accès au texte intégral et bibtex
-
-
- titre
- A generic framework for n-protocol compatibility checking
- auteur
- Francisco Durán, Meriem Ouederni, Gwen Salaün
- article
- Science of Computer Programming, 2012, 77 (7-8), pp.870-886
- Accès au texte intégral et bibtex
-
-
- titre
- Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols
- auteur
- Radu Mateescu, Wendelin Serwe
- article
- Science of Computer Programming, 2012, 78 (7), pp.843-861. ⟨10.1016/j.scico.2012.01.003⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
- auteur
- Radu Mateescu, Pascal Poizat, Gwen Salaün
- article
- IEEE Transactions on Software Engineering, 2012, ⟨10.1109/TSE.2011.62⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Sequential and distributed on-the-fly computation of weak tau-confluence
- auteur
- Radu Mateescu, Anton Wijs
- article
- Science of Computer Programming, 2012, 77 (10-11), pp.1075-1094. ⟨10.1016/j.scico.2011.07.004⟩
- Accès au texte intégral et bibtex
-
Conference papers
-
- titre
- Multi-Objective Optimization of Formal Specifications
- auteur
- Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann
- article
- HASE 2012 - 14th High Assurance System Engineering Symposium, Oct 2012, Omaha, United States. pp.201-208, ⟨10.1109/HASE.2012.21⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement
- auteur
- Matthias Güdemann, Gwen Salaün, Meriem Ouederni
- article
- Automated 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⟩
- Accès au texte intégral et bibtex
-
-
- titre
- Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids
- auteur
- Hubert Garavel, Radu Mateescu, Wendelin Serwe
- article
- 11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom
- Accès au texte intégral et bibtex
-
-
- titre
- Trajectory Description Conception for Industrial Robots
- auteur
- Sergey Alatartsev, Matthias Güdemann, Frank Ortmeier
- article
- ROBOTIK 2012 - 7th German Conference on Robotics, May 2012, Munich, Germany. pp.365-370
- Accès au texte intégral et bibtex
-
-
- titre
- Checking the Realizability of BPMN 2.0 Choreographies
- auteur
- Pascal Poizat, Gwen Salaün
- article
- 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934
- Accès au texte intégral et bibtex
-
-
- titre
- Verification of a Self-configuration Protocol for Distributed Applications in the Cloud
- auteur
- Gwen Salaün, Xavier Etchevers, Noël de Palma, Fabienne Boyer, Thierry Coupaye
- article
- 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283
- Accès au texte intégral et bibtex
-
-
- titre
- Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
- auteur
- Frédéric Lang, Radu Mateescu
- article
- Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia
- Accès au texte intégral et bibtex
-
-
- titre
- Unifying Probabilistic and Traditional Formal Model Based Analysis
- auteur
- Matthias Güdemann, Michael Lipaczewski, Simon Struck, Frank Ortmeier
- article
- 8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany
- Accès au texte intégral et bibtex
-
Books
-
- titre
- Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09)
- auteur
- Gwen Salaün, Marjan Sirjani
- article
- Gwen Salaün and Marjan Sirjani. Elsevier, 77, pp.3, 2012, ⟨10.1016/j.scico.2011.09.006⟩
- Accès au texte intégral et bibtex
-
Documents associated with scientific events
-
- titre
- CADP: A Toolbox for the Construction and Analysis of Distributed Processes
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
- article
- FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
- Accès au texte intégral et bibtex
-
-
- titre
- CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués
- auteur
- Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
- article
- Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
- Accès au texte intégral et bibtex
-