A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
DFTCalc: A Tool for Efficient Fault Tree Analysis, Proceedings of the 32nd International Conference on Computer Safety, Reliability , and Security (SAFECOMP'13), pp.293-301, 2013. ,
DOI : 10.1007/978-3-642-40793-2_27
Frédéric Lang, and François Vernadat . FIACRE: An Intermediate Language for Model Verification in the TOPCASED Environment, Proceedings of the 4th European Congress on Embedded Real-Time Software (ERTS'08), 2008. ,
Programming with behaviors in an ML framework ??? The syntax and semantics of LCS, Proceedings of the 5th European Symposium on Programming Languages and Systems (ESOP'94), pp.89-104, 1994. ,
DOI : 10.1007/3-540-57880-3_6
Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1988. ,
DOI : 10.1016/0169-7552(87)90085-7
URL : http://doc.utwente.nl/69857/1/Bolognesi87introduction.pdf
A new error repair and recovery scheme for lexical and syntactic analysis, Science of Computer Programming, vol.9, issue.3, pp.271-286, 1987. ,
DOI : 10.1016/0167-6423(87)90010-4
URL : https://doi.org/10.1016/0167-6423(87)90010-4
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS??NT and CADP, Proceedings of the 17th International Symposium on Formal Methods (FM'11), pp.103-117, 2011. ,
DOI : 10.1016/S0167-6423(02)00094-1
URL : https://hal.archives-ouvertes.fr/hal-00648909
Enhancements of Lotos, LOTOSphere: Software Development with LOTOS, pp.453-466, 1995. ,
DOI : 10.1007/978-1-4615-2203-4_22
On the Design of Extended LOTOS ? A Specification Language for Open Distributed Systems, 1988. ,
Constraint-oriented specification in a constructive formal description technique, Proceedings of the REX Workshop on Stepwise Refinement of Distributed Systems ? Models, Formalisms, Correctness ? Mook, pp.130-152, 1989. ,
DOI : 10.1007/3-540-52559-9_63
Task 1.4 Deliverable on Language Enhancements, LOTO- Sphere (ESPRIT Projet 2304) Document ref, p.146, 1992. ,
A Specification of the OSI Transport Service in LOTOS, Proceedings of the 4th IFIP International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, pp.227-251, 1984. ,
A Stochastic Causality-Based Process Algebra, The Computer Journal, vol.38, issue.7, pp.552-565, 1995. ,
DOI : 10.1093/comjnl/38.7.552
URL : https://academic.oup.com/comjnl/article-pdf/38/7/552/1121796/380552.pdf
A Framework for Test Selection, Proceedings of the IFIP WG6.1 9th International Symposium on Protocol Specification, Testing and Verification, pp.233-248, 1991. ,
A Theory of Communicating Sequential Processes, Journal of the ACM, vol.31, issue.3, pp.560-599, 1984. ,
DOI : 10.1145/828.833
Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies, 2015 International Symposium on Theoretical Aspects of Software Engineering, pp.79-86, 2015. ,
DOI : 10.1109/TASE.2015.25
Use of E-LOTOS in Adding Formality to UML, Journal of Universal Computer Science, vol.6, issue.11, pp.1071-1087, 2000. ,
Experience with RT-LOTOS, a temporal extension of the LOTOS formal description technique, Computer Communications, vol.23, issue.12, pp.1104-1123, 2000. ,
DOI : 10.1016/S0140-3664(99)00240-6
Smart Reduction, Proceedings of Fundamental Approaches to Software Engineering (FASE'11), pp.111-126 ,
DOI : 10.1007/3-540-56689-9_54
URL : https://hal.archives-ouvertes.fr/inria-00572535
Introduction to algebraic specifications based on the language ACT ONE, Computer Networks and ISDN Systems, vol.23, issue.5, pp.363-392, 1992. ,
DOI : 10.1016/0169-7552(92)90013-G
Design of Distributed Multimedia Applications (DAMD), Applied Formal Methods ? Proceedings of the International Workshop on Current Trends in Applied Formal Methods (FM-Trends'98), pp.77-91 ,
An Algebraic Specification Language with Two Levels of Semantics, 1983. ,
Fundamentals of Algebraic Specification 1 ? Equations and Initial Semantics, EATCS Monographs on Theoretical Computer Science, vol.6, 1985. ,
Reliable Self-Deployment of Distributed Cloud Applications . Software Practice and Experience, pp.3-20, 2017. ,
DOI : 10.1002/spe.2400
URL : https://hal.archives-ouvertes.fr/hal-01290465
Génération automatique d'implémentation distribuéè a partir de modèles formels de processus concurrents asynchrones, Thèse de Doctorat, 2015. ,
DLC: Compiling a Concurrent System Formal Specification to a Distributed Implementation, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'16), pp.553-559, 2016. ,
DOI : 10.1007/978-3-662-49674-9_34
URL : https://hal.archives-ouvertes.fr/hal-01250925
Formal Verification of Distributed Branching Multiway Synchronization Protocols, Proceedings of the IFIP Joint International Conference on Formal Techniques for Distributed Systems (FORTE/FMOODS'13), pp.146-160, 2013. ,
DOI : 10.1007/978-3-642-38592-6_11
URL : https://hal.archives-ouvertes.fr/hal-00818788
Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.459-466, 2015. ,
DOI : 10.1109/PDP.2015.96
URL : https://hal.archives-ouvertes.fr/hal-01086522
Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.121-153, 2017. ,
DOI : 10.1016/j.jlamp.2016.09.002
URL : https://hal.archives-ouvertes.fr/hal-01412911
Utilisation du système CESAR pour la vérification de protocoles spécifiés en LOTOS, 1986. ,
Vérification de programmes LOTOSàLOTOSà l'aide du système QUASAR, 1986. ,
Compilation of LOTOS Abstract Data Types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989. ,
On the introduction of gate typing in E-LOTOS, Proceedings of the 15th IFIP International Workshop on Protocol Specification, Testing and Verification (PSTV'95), pp.283-298, 1995. ,
DOI : 10.1007/978-0-387-34892-6_18
OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), pp.68-84, 1998. ,
DOI : 10.1007/BFb0054165
Défense et illustration des algèbres de processus, 2003. ,
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular, Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, pp.149-164, 2006. ,
DOI : 10.1016/j.entcs.2008.04.009
URL : https://hal.archives-ouvertes.fr/inria-00191141
Revisiting sequential composition in process calculi, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.6, pp.742-762, 2015. ,
DOI : 10.1016/j.jlamp.2015.08.001
URL : https://hal.archives-ouvertes.fr/hal-01247770
On Combining Functional Verification and Performance Evaluation Using CADP, Proceedings of the 11th International Symposium of Formal Methods Europe FME'2002, pp.410-429, 2002. ,
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096
SVL: A Scripting Language for Compositional Verification, Proceedings of the 21st IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'01), pp.377-392 ,
DOI : 10.1007/0-306-47003-9_24
URL : https://hal.archives-ouvertes.fr/inria-00072396
NTIF: A General Symbolic Model for Communicating Sequential Processes with Data, Proceedings of the 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, pp.276-291, 2002. ,
DOI : 10.1007/3-540-36135-9_18
URL : https://hal.archives-ouvertes.fr/inria-00071919
Compiler Construction Using LOTOS NT, Proceedings of the 11th International Conference on Compiler Construction (CC'02), pp.9-13 ,
DOI : 10.1007/3-540-45937-5_3
CADP 2011: a toolbox for the construction and analysis of distributed processes, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, pp.89-107, 2013. ,
DOI : 10.1007/s100090050009
URL : https://hal.archives-ouvertes.fr/hal-00715056
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, Science of Computer Programming, vol.74, issue.3, pp.100-127, 2009. ,
DOI : 10.1016/j.scico.2008.09.011
URL : https://hal.archives-ouvertes.fr/inria-00381642
The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark, Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17) of Electronic Proceedings in Theoretical Computer Science, pp.230-270, 2017. ,
DOI : 10.4204/EPTCS.244.10
URL : https://hal.archives-ouvertes.fr/hal-01511847
Compilation and Verification of LO- TOS Specifications, Proceedings of the 10th IFIP International Symposium on Protocol Specification , Testing and Verification (PSTV'90), pp.379-394, 1990. ,
On the Introduction of Exceptions in E-LOTOS, Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'96), pp.469-484, 1996. ,
DOI : 10.1007/978-0-387-35079-0_30
Towards a Second Generation of Formal Description Techniques ? Rationale for the Design of E-LOTOS ,
A Graphical Parallel Composition Operator for Process Algebras, Proceedings of the IFIP Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification (FORTE/PSTV'99), pp.185-202, 1999. ,
DOI : 10.1007/978-0-387-35578-8_11
URL : ftp://ftp.inrialpes.fr/pub/vasy/publications/elotos/comments-afnor-october-98b.ps.Z
Verification of GALS Systems by Combining Synchronous Languages and Process Calculi, Model Checking Software ? Proceedings of the 16th International SPIN Workshop on Model Checking of Software (SPIN'09), pp.241-260, 2009. ,
DOI : 10.1007/978-3-540-27813-9_47
URL : https://hal.archives-ouvertes.fr/inria-00388819
A Model-Based Certification Framework for the EnergyBus Standard, Proceedings of the 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE'15), pp.84-99, 2014. ,
DOI : 10.1007/978-3-662-43613-4_6
URL : https://hal.archives-ouvertes.fr/hal-01098360
DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper), Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM'15), pp.304-311, 2015. ,
DOI : 10.1109/FTCS.1999.781056
Counterexample Guided Synthesis of Monitors for Realizability Enforcement, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12), pp.238-253, 2012. ,
DOI : 10.1007/978-3-642-33386-6_20
Process Calculi: E-LOTOS, Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches, pp.77-104, 2001. ,
E-LOTOS: An Overview, Proceedings of the Workshop on ,
ESTELLE ? A Formal Description Technique Based on an Extended State Transition Model, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1988. ,
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989. ,
Enhancements to LOTOS (E-LOTOS) International Standard 15437, International Organization for Standardization ? Information Technology, 2001. ,
Formal modelling and verification of GALS systems using GRL and CADP, Formal Aspects of Computing, vol.43, issue.3, pp.767-804, 2016. ,
DOI : 10.1145/233551.233556
URL : https://hal.archives-ouvertes.fr/hal-01290449
Application development with the FNC-2 attribute grammar system, Proceedings of the 3rd International Workshop on Compiler Construction (CC'90), pp.11-25, 1990. ,
DOI : 10.1007/3-540-53669-8_71
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip, Proceedings of the 18th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'13), pp.108-122, 2013. ,
DOI : 10.1007/978-3-642-41010-9_8
URL : https://hal.archives-ouvertes.fr/hal-00858521
Using a Formal Model to Improve Verification of a Cache-Coherent System-on-Chip, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'15), pp.708-722, 2015. ,
DOI : 10.1007/978-3-662-46681-0_62
URL : https://hal.archives-ouvertes.fr/hal-01104747
Compositional Verification Using SVL Scripts, Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), pp.465-469, 2002. ,
DOI : 10.1007/3-540-46002-0_33
Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proceedings of the 5th International Conference on Integrated Formal Methods (IFM'05), pp.70-88, 2005. ,
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339
Translating FSP into LOTOS and networks of automata, Formal Aspects of Computing, vol.1, issue.2, pp.681-711, 2010. ,
DOI : 10.1007/s10009-004-0185-2
URL : https://hal.archives-ouvertes.fr/inria-00198731
Formal analysis of a hardware dynamic task dispatcher with CADP, Science of Computer Programming, vol.80, pp.130-149, 2014. ,
DOI : 10.1016/j.scico.2013.01.003
URL : https://hal.archives-ouvertes.fr/hal-00782069
Ingénierie des protocoles et qualité de service, collection IC2, Hermès, issue.6, pp.213-253, 2001. ,
An introduction to ET-LOTOS for the description of time-sensitive systems, Computer Networks and ISDN Systems, vol.29, issue.3, pp.271-292, 1997. ,
DOI : 10.1016/S0169-7552(96)00078-5
A Formal Definition of Time in LOTOS, Formal Aspects of Computing, vol.10, issue.3, pp.248-266, 1998. ,
DOI : 10.1007/s001650050015
Improving Data Quality for Web Services Composition, Proceedings of the 7th International Workshop on Quality in Databases (QDB'09), 2009. ,
Simulator for E-LOTOS specifications, Proceedings 35th Annual Simulation Symposium. SS 2002, pp.389-394, 2002. ,
DOI : 10.1109/SIMSYM.2002.1000176
A Generic Framework for Model Checking Software Architectures, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, 2004. ,
DOI : 10.1007/978-3-540-24769-2_18
Computation Tree Regular Logic for Genetic Regulatory Networks, Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), pp.48-63, 2008. ,
DOI : 10.1093/bioinformatics/btn275
URL : https://hal.archives-ouvertes.fr/inria-00277995
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus, Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), pp.192-198, 2013. ,
DOI : 10.1007/978-3-642-36742-7_14
URL : https://hal.archives-ouvertes.fr/hal-00805533
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols, Science of Computer Programming, vol.78, issue.7, pp.843-861, 2013. ,
DOI : 10.1016/j.scico.2012.01.003
URL : https://hal.archives-ouvertes.fr/hal-00671321
A Model Checking Language for Concurrent Value-Passing Systems, Proceedings of the 15th International Symposium on Formal Methods (FM'08), pp.148-164, 2008. ,
DOI : 10.1007/978-3-540-68237-0_12
URL : https://hal.archives-ouvertes.fr/inria-00315312
CIRCAL and the representation of communication, concurrency, and time, ACM Transactions on Programming Languages and Systems, vol.7, issue.2, pp.270-298, 1985. ,
DOI : 10.1145/3318.3322
A Calculus of Communicating Systems, Lecture Notes in Computer Science, vol.92, 1980. ,
DOI : 10.1007/3-540-10235-3
Calculi for synchrony and asynchrony, Theoretical Computer Science, vol.25, issue.3, pp.267-310, 1983. ,
DOI : 10.1016/0304-3975(83)90114-7
URL : https://doi.org/10.1016/0304-3975(83)90114-7
From AADL Model to LNT Specification, Proceedings of the 20th ADA-Europe International Conference on Reliable Software Technologies (Ada-Europe'15), pp.146-161, 2015. ,
DOI : 10.1007/978-3-319-19584-1_10
Using formal models to cross check an implementation, Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS '16 ,
DOI : 10.1109/UsARE.2012.6226786
URL : https://hal.archives-ouvertes.fr/hal-01492641
Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, 2012. ,
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393
Checking Business Process Evolution, Revised Selected Papers of the 13th International Conference on Formal Aspects of Component Software (FACS'16), pp.36-53, 2016. ,
DOI : 10.1007/978-3-540-88194-0_22
URL : https://hal.archives-ouvertes.fr/hal-01366641
Rewriting of imperative programs into logical equations, Science of Computer Programming, vol.56, issue.3, pp.363-401, 2005. ,
DOI : 10.1016/j.scico.2004.10.001
E-mail announcement available from ftp, 1997. ,
Data Specifications in Modular Lotos, LOTOSphere: Software Development with LOTOS, pp.467-479, 1995. ,
DOI : 10.1007/978-1-4615-2203-4_23
Formal Specification and Verification of Fully Asynchronous Implementations of the Data Encryption Standard, Rob van Glabbeek Proceedings of the International Workshop on Models for Formal Analysis of Real Systems (MARS'15) of Electronic Proceedings in Theoretical Computer Science, 2015. ,
DOI : 10.4204/EPTCS.196.6
URL : https://hal.archives-ouvertes.fr/hal-01227999
A case study in abstraction using E-LOTOS and the FireWire, Computer Networks, vol.37, issue.3-4, pp.481-502, 2001. ,
DOI : 10.1016/S1389-1286(01)00190-6
ContributionàContributionà la définition etàetà l'implémentation du langage " Extended LOTOS, Thèse de Doctorat, 1999. ,
LOTOS NT User's Manual (Version 2.8), INRIA/CONVECS, 2016. ,
Requirement Capture, Formal Description and Verification of an Invoicing System, 1998. ,
URL : https://hal.archives-ouvertes.fr/inria-00073106
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format, Proceedings of the 7th International Conference on Integrated Formal Methods (IFM'09), pp.88-102, 2009. ,
DOI : 10.1007/s100090050009
Langages modernes pour la vérification des systèmes asynchrones, Thèse de Doctorat) and Universitatea Politehnica din Bucuresti, 2011. ,
ELOTOS: (Enhanced) Language Of Temporal Ordering Specification, Software Specification Methods: An Overview Using a Case Study, pp.166-190, 2001. ,
Verification of EB3 Specifications Using CADP, Formal Aspects of Computing, vol.28, issue.1, pp.145-178, 2016. ,
DOI : 10.1007/978-3-642-38613-8_5
URL : https://hal.archives-ouvertes.fr/hal-01290460
Tutorial and Semantics. Master's thesis, Departamento de Sistemas Informáticos y Programación, 1999. ,
Performance Evaluation of Concurrent Data Structures, Proceedings of the Symposium on Dependable Software Engineering (SETTA'16), pp.38-49, 2016. ,
DOI : 10.1007/978-3-642-23283-1_16
An improved fault-tolerant routing algorithm for a Network-on-Chip derived with formal analysis, Science of Computer Programming, vol.118, pp.24-39 ,
DOI : 10.1016/j.scico.2016.01.002
URL : https://hal.archives-ouvertes.fr/hal-01261234