default search action
Dominique Méry
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j29]Alexander Raschke, Dominique Méry:
An automotive case study. Int. J. Softw. Tools Technol. Transf. 26(3): 327-330 (2024) - [c85]Hao Wu
, Thomas Flinkow
Cyclone: A New Tool for Verifying/Testing Graph-Based Structures - Tool Paper. TAP 2024: 107-124 - [c84]Dominique Méry
Checking Contracts in Event-B - Reporting the Introduction and the Use of Automated Tools for Verifying Software-Based Systems in Higher Education. FMTea 2024: 91-105 - 2023
- [j28]Vineeta Jain
SAP: A Secure Low-Latency Protocol for Mitigating High Computation Overhead in WI-FI Networks. IEEE Access 11: 84620-84635 (2023) - [j27]Ismaïl Mendil, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont, Dominique Méry, Philippe A. Palanque:
Formal domain-driven system development in Event-B: Application to interactive critical systems. J. Syst. Archit. 135: 102798 (2023) - [j26]Neeraj Kumar Singh
F3FLUID: A formal framework for developing safety-critical interactive systems in FLUID. J. Softw. Evol. Process. 35(7) (2023) - [e16]Yamine Aït-Ameur, Ferhat Khendek
27th International Conference on Engineering of Complex Computer Systems, ICECCS 2023, Toulouse, France, June 14-16, 2023. IEEE 2023, ISBN 979-8-3503-4004-4 [contents] - [e15]Uwe Glässer, José Creissac Campos, Dominique Méry
Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, Proceedings. Lecture Notes in Computer Science 14010, Springer 2023, ISBN 978-3-031-33162-6 [contents] - 2022
- [j25]Ladjel Bellatreche, Carlos Ordonez, Dominique Méry, Matteo Golfarelli, El Hassan Abdelwahed:
The central role of data repositories and data models in Data Science and Advanced Analytics. Future Gener. Comput. Syst. 129: 13-17 (2022) - [j24]Dominique Méry, Alexander Raschke:
Selected papers from the Rigorous State-Based Methods 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020. Sci. Comput. Program. 216: 102780 (2022) - [j23]Dominique Méry, Shengchao Qin:
Selected papers from The 13th International Symposium on Theoretical Aspects of Software Engineering 29 July - 1 August 2019, Guilin, China. Sci. Comput. Program. 218: 102804 (2022) - [c83]Ismaïl Mendil, Peter Riviere
Non-Intrusive Annotation-Based Domain-Specific Analysis to Certify Event-B Models Behaviours. APSEC 2022: 129-138 - [c82]Yamine Aït Ameur, Guillaume Dupont, Ismaïl Mendil, Dominique Méry, Marc Pantel, Peter Riviere
Empowering the Event-B Method Using External Theories. IFM 2022: 18-35 - 2021
- [j22]Neeraj Kumar Singh, Yamine Aït Ameur, Romain Geniet, Dominique Méry, Philippe A. Palanque:
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive Applications. Interact. Comput. 33(1): 92-114 (2021) - [c81]Yamine Aït Ameur
Towards Leveraging Domain Knowledge in State-Based Formal Methods. Logic, Computation and Rigorous Methods 2021: 1-13 - [c80]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Standard Conformance-by-Construction with Event-B. FMICS 2021: 126-146 - [c79]Zheng Cheng, Dominique Méry:
A Refinement Strategy for Hybrid System Design with Safety Constraints. MEDI 2021: 3-17 - [c78]Ismaïl Mendil, Yamine Aït Ameur, Neeraj Kumar Singh, Dominique Méry, Philippe A. Palanque:
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models. SETTA 2021: 40-58 - [e14]Alexander Raschke
Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, Proceedings. Lecture Notes in Computer Science 12709, Springer 2021, ISBN 978-3-030-77542-1 [contents] - [e13]S. Arun-Kumar, Dominique Méry, Indranil Saha, Lijun Zhang:
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021. ACM 2021, ISBN 978-1-4503-9127-6 [contents] - 2020
- [c77]Ismaïl Mendil, Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, Philippe A. Palanque:
An Integrated Framework for the Formal Analysis of Critical Interactive Systems. APSEC 2020: 139-148 - [c76]Horatiu Cirstea, Alexis Grall, Dominique Méry:
Generating Distributed Programs from Event-B Models. VPT/HCVS@ETAPS 2020: 110-124 - [e12]Alexander Raschke
Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings. Lecture Notes in Computer Science 12071, Springer 2020, ISBN 978-3-030-48076-9 [contents]
2010 – 2019
- 2019
- [c75]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry, David Navarre
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661. FTSCS 2019: 21-39 - [c74]Dominique Méry
Verification by Construction of Distributed Algorithms. ICTAC 2019: 22-38 - [e11]Dominique Méry, Shengchao Qin:
2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. IEEE 2019, ISBN 978-1-7281-3342-3 [contents] - 2018
- [c73]Yamine Aït Ameur, Idir Aït-Sadoune
On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B. ABZ 2018: 425-430 - [c72]Neeraj Kumar Singh, Yamine Aït Ameur, Dominique Méry:
Formal Ontology Driven Model Refactoring. ICECCS 2018: 136-145 - [c71]Dominique Méry:
Modelling by Patterns for Correct-by-Construction Process. ISoLA (1) 2018: 399-423 - [e10]El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez:
New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Communications in Computer and Information Science 929, Springer 2018, ISBN 978-3-030-02851-0 [contents] - [e9]El Hassan Abdelwahed, Ladjel Bellatreche, Matteo Golfarelli, Dominique Méry, Carlos Ordonez:
Model and Data Engineering - 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Lecture Notes in Computer Science 11163, Springer 2018, ISBN 978-3-030-00855-0 [contents] - [e8]Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), IMPEX/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018 [contents] - 2017
- [j21]Faten Fakhfakh, Mohamed Tounsi
Proving Distributed Coloring of Forests in Dynamic Networks. Computación y Sistemas 21(4) (2017) - [j20]Dominique Méry
Playing with state-based models for designing better algorithms. Future Gener. Comput. Syst. 68: 445-455 (2017) - [j19]Dominique Méry, Michael Poppleton:
Towards an integrated formal method for verification of liveness properties in distributed systems: with application to population protocols. Softw. Syst. Model. 16(4): 1083-1115 (2017) - [c70]Faten Fakhfakh, Mohamed Tounsi
A correct-by-construction approach for proving distributed algorithms in spanning trees. ICIS 2017: 1-6 - [c69]J. Paul Gibson
Applying a Dependency Mechanism for Voting Protocol Models Using Event-B. FORTE 2017: 124-138 - [c68]Souad Kherroubi, Dominique Méry:
Contextualization and Dependency in State-Based Modelling - Application to Event-B. MEDI 2017: 137-152 - [c67]J. Paul Gibson
Explicit Modelling of Physical Measures: From Event-B to Java. IMPEX/FM&MDD 2017: 64-79 - [e7]Catherine Dubois, Paolo Masci
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents] - 2016
- [j18]Mohamed Tounsi
From Event-B specifications to programs for distributed algorithms. Int. J. Auton. Adapt. Commun. Syst. 9(3/4): 223-242 (2016) - [j17]Yamine Aït Ameur
Making explicit domain knowledge in formal system development. Sci. Comput. Program. 121: 100-127 (2016) - [c66]Zheng Cheng, Dominique Méry, Rosemary Monahan
On Two Friends for Getting Correct Programs - Automatically Translating Event B Specifications to Recursive Algorithms in Rodin. ISoLA (1) 2016: 821-838 - [i4]Yamine Aït Ameur, Shin Nakajima, Dominique Méry:
Implicit and explicit semantics integration in proof based developments of discrete systems (NII Shonan Meeting 2016-16). NII Shonan Meet. Rep. 2016 (2016) - 2015
- [c65]Dominique Méry, Neeraj Kumar Singh:
Analyzing Requirements Using Environment Modelling. HCI (17) 2015: 345-357 - [c64]Dominique Méry, Rushikesh Sawant, Anton Tarasyuk:
Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. MEDI 2015: 89-102 - [e6]Catherine Dubois, Paolo Masci
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents] - 2014
- [j16]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Revisiting snapshot algorithms by refinement-based techniques. Comput. Sci. Inf. Syst. 11(1): 251-270 (2014) - [c63]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Analysis of Self-⋆ and P2P Systems Using Refinement. ABZ 2014: 117-123 - [c62]Dominique Méry, Neeraj Kumar Singh:
Modeling an Aircraft Landing System in Event-B. ABZ (Case Study) 2014: 154-159 - [c61]Dominique Méry, Neeraj Kumar Singh:
The Semantics of Refinement Chart. HCI (20) 2014: 415-426 - [c60]Yamine Aït Ameur, J. Paul Gibson
On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems - Version to Read. ISoLA (2) 2014: 604-618 - [c59]Dominique Méry:
Playing with State-Based Models for Designing Better Algorithms. MEDI 2014: 1-3 - [c58]Dominique Méry, Neeraj Kumar Singh:
Formal evaluation of landing gear system. SoICT 2014: 75-84 - [e5]Gabriel Ciobanu, Dominique Méry:
Theoretical Aspects of Computing - ICTAC 2014 - 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings. Lecture Notes in Computer Science 8687, Springer 2014, ISBN 978-3-319-10881-0 [contents] - [e4]Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents] - [i3]Dominique Méry, Neeraj Kumar Singh:
Modelling an Aircraft Landing System in Event-B (Full Report). CoRR abs/1407.0927 (2014) - [i2]Dominique Méry, Bernhard Schätz, Alan Wassyng:
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). Dagstuhl Reports 4(2): 17-38 (2014) - 2013
- [j15]Dominique Méry, Neeraj Kumar Singh:
Formal Specification of Medical Systems by Proof-Based Refinement. ACM Trans. Embed. Comput. Syst. 12(1): 15:1-15:25 (2013) - [c57]Dominique Méry, Rosemary Monahan:
Transforming Event B Models into Verified C# Implementations. VPT@CAV 2013: 57-73 - [c56]Dominique Méry, Neeraj Kumar Singh:
Ideal Mode Selection of a Cardiac Pacing System. HCI (22) 2013: 258-267 - [c55]Dominique Méry, Michael Poppleton:
Formal Modelling and Verification of Population Protocols. IFM 2013: 208-222 - [c54]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms. IFM 2013: 268-284 - [c53]Mohamed Tounsi
From Event-B Specifications to Programs for Distributed Algorithms. WETICE 2013: 104-109 - 2012
- [c52]Dominique Méry, Neeraj Kumar Singh:
Closed-Loop Modeling of Cardiac Pacemaker and Heart. FHIES 2012: 151-166 - [c51]Yamine Aït Ameur, Dominique Méry:
Handling Heterogeneity in Formal Developments of Hardware and Software Systems. ISoLA (2) 2012: 327-328 - [c50]Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh:
Revisiting Snapshot Algorithms by Refinement-Based Techniques. PDCAT 2012: 343-349 - [c49]Dominique Méry, Neeraj Kumar Singh:
Critical systems development methodology using formal techniques. SoICT 2012: 3-12 - [e3]Dimitra Giannakopoulou, Dominique Méry:
FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Lecture Notes in Computer Science 7436, Springer 2012, ISBN 978-3-642-32758-2 [contents] - 2011
- [j14]Dominique Méry, Neeraj Kumar Singh:
A generic framework: from modeling to code. Innov. Syst. Softw. Eng. 7(4): 227-235 (2011) - [c48]Dominique Méry, Neeraj Kumar Singh:
Medical Protocol Diagnosis Using Formal Methods. FHIES 2011: 1-20 - [c47]Dominique Méry, Neeraj Kumar Singh:
Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata. FHIES 2011: 140-159 - [c46]Dominique Méry, Mohamed Mosbah
Refinement-Based Verification of Local Synchronization Algorithms. FM 2011: 338-352 - [c45]Dominique Méry, Neeraj Kumar Singh:
Automatic code generation from event-B models. SoICT 2011: 179-188 - [c44]Dominique Méry, Neeraj Kumar Singh:
Analysis of DSR Protocol in Event-B. SSS 2011: 401-415 - 2010
- [j13]Mohamed Tounsi
Proving Distributed Algorithms by Combining Refinement and Local Computations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [c43]Dominique Méry, Neeraj Kumar Singh:
Real-Time Animation for Formal Specification. CSDM 2010: 49-60 - [c42]Nazim Benaïssa, Dominique Méry:
Proof-Based Design of Security Protocols. CSR 2010: 25-36 - [c41]Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels:
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. ISoLA (1) 2010: 58-59 - [c40]Dominique Méry, Neeraj Kumar Singh:
Trustable Formal Specification for Software Certification. ISoLA (2) 2010: 312-326 - [e2]Dominique Méry, Stephan Merz:
Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science 6396, Springer 2010, ISBN 978-3-642-16264-0 [contents]
2000 – 2009
- 2009
- [j12]Dominique Méry:
Refinement-Based Guidelines for Algorithmic Systems. Int. J. Softw. Informatics 3(2-3): 197-239 (2009) - [j11]Dominique Méry:
A simple refinement-based method for constructing algorithms. ACM SIGCSE Bull. 41(2): 51-59 (2009) - [j10]Dominique Cansell, Dominique Méry, Cyril Proch:
System-on-chip design by proof-based refinement. Int. J. Softw. Tools Technol. Transf. 11(3): 217-238 (2009) - [c39]Dominique Cansell, Dominique Méry:
Designing Old and New Distributed Algorithms by Replaying an Incremental Proof-Based Development. Rigorous Methods for Software Construction and Analysis 2009: 17-32 - [c38]Nazim Benaïssa, Dominique Méry:
Cryptographic Protocols Analysis in Event B. Ershov Memorial Conference 2009: 282-293 - 2007
- [j9]Dominique Méry, Stephan Merz:
Specification and Refinement of Access Control. J. Univers. Comput. Sci. 13(8): 1073-1093 (2007) - [c37]Dominique Cansell, Dominique Méry, Joris Rehm:
Time Constraint Patterns for Event B Development. B 2007: 140-154 - [c36]Nazim Benaïssa, Dominique Cansell, Dominique Méry:
Integration of Security Policy into System Modeling. B 2007: 232-247 - [c35]Dominique Cansell, Dominique Méry:
Proved-Patterns-Based Development for Structured Programs. CSR 2007: 104-114 - [c34]Dominique Cansell, J. Paul Gibson
Formal verification of tamper-evident storage for e-voting. SEFM 2007: 329-338 - 2006
- [j8]Dominique Cansell, Dominique Méry:
Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theor. Comput. Sci. 364(3): 318-337 (2006) - [c33]Dominique Cansell, J. Paul Gibson
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface. FMIS@ICFEM 2006: 39-55 - [c32]Dominique Cansell, Dominique Méry:
Incremental Parametric Development of Greedy Algorithms. AVoCS 2006: 47-62 - [i1]Dominique Méry, Stephan Merz:
Event Systems and Access Control. CoRR abs/cs/0604081 (2006) - 2005
- [c31]Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Refinement and Reachability in EventB. ZB 2005: 222-241 - 2004
- [c30]Dominique Cansell, J.-F. Culat, Dominique Méry, Cyril Proch:
Derivation of SystemC code from abstract system models. FDL 2004: 612-624 - 2003
- [j7]Dominique Cansell, Dominique Méry:
Foundations of the B Method. Comput. Artif. Intell. 22(3-4): 221-256 (2003) - [j6]Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. 14(3): 215-227 (2003) - [c29]Dominique Cansell, Dominique Méry, Cyril Proch:
Proof-based design of a microelectronic architecture for MPEG-2 bit-rate measurement . FDL 2003: 435-447 - [c28]Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
Formal Derivation of Spanning Trees Algorithms. ZB 2003: 457-476 - 2002
- [j5]Dominique Méry, Beverly A. Sanders:
Editorial Note. Formal Methods Syst. Des. 20(1): 5 (2002) - [c27]Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen:
Incremental Proof of the Producer/Consumer Property for the PCI Protocol. ZB 2002: 22-41 - 2001
- [j4]Dominique Cansell, Dominique Méry, Stephan Merz:
Diagram Refinements for the Design of Reactive Systems. J. Univers. Comput. Sci. 7(2): 159-174 (2001) - [c26]Dominique Cansell, Dominique Méry, Stephan Merz:
Formal Analysis of a Self-Stabilizing Algorithm Using Predicate Diagrams. GI Jahrestagung (1) 2001: 628-634 - 2000
- [c25]Dominique Cansell, Dominique Méry:
Abstraction and refinement of features. FIREworks 2000: 65-84 - [c24]J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
A Taxonomy for Triggered Interactions Using Fair Object Semantics. FIW 2000: 193-209 - [c23]Dominique Cansell, Dominique Méry, Stephan Merz:
Predicate Diagrams for the Verification of Reactive Systems. IFM 2000: 380-397 - [c22]Beverly A. Sanders, Dominique Méry:
Workshop on Formal Methods for Parallel Programming (FMPPTA 2000). IPDPS Workshops 2000: 974-976 - [c21]Dominique Cansell, Dominique Méry, Christophe Tabacznyj:
Tutorial 1: Abstraction and Refinement of Concurrent Programs and Formal Specification. IPDPS Workshops 2000: 1037-1038 - [c20]Dominique Cansell, Dominique Méry:
Playing with Abstraction and Refinement for Managing Features Interactions. ZB 2000: 148-167
1990 – 1999
- 1999
- [c19]J. Paul Gibson
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem. Ershov Memorial Conference 1999: 155-179 - [c18]J. Paul Gibson, Geoff W. Hamilton, Dominique Méry:
Integration Problems in Telephone Feature Requirements. IFM 1999: 129-148 - [c17]Dominique Méry:
Requirements for a Temporal B - Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems. IFM 1999: 395-414 - [c16]Dominique Cansell, Dominique Méry:
Abstract Animator for Temporal Specifications: Application to TLA. SAS 1999: 284-299 - [e1]José D. P. Rolim, Frank Mueller, Albert Y. Zomaya, Fikret Erçal, Stephan Olariu, Binoy Ravindran, Jan Gustafsson, Hiroaki Takada, Ronald A. Olsson, Laxmikant V. Kalé, Peter H. Beckman, Matthew Haines, Hossam A. ElGindy, Denis Caromel, Serge Chaumette, Geoffrey C. Fox, Yi Pan, Keqin Li, Tao Yang, G. Ghiola, Gianni Conte, Luigi V. Mancini, Dominique Méry, Beverly A. Sanders, Devesh Bhatt, Viktor K. Prasanna:
Parallel and Distributed Processing, 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing, San Juan, Puerto Rico, USA, April 12-16, 1999, Proceedings. Lecture Notes in Computer Science 1586, Springer 1999, ISBN 3-540-65831-9 [contents] - 1998
- [c15]Jean-François Pétin, Gérard Morel, Dominique Méry, Patrick Lamboley:
Process Control Engineering: Contribution to a Formal Structuring Framework with the B Method. B 1998: 198-209 - [c14]Raphaël Couturier, Dominique Méry:
An Experiment in Parallelizing an Application Using Formal Methods. CAV 1998: 345-356 - [c13]Bruno Mermet, Dominique Méry:
Service specifications: to B, or not to B. FMSP 1998: 62-69 - [c12]J. Paul Gibson, Dominique Méry:
Teaching Formal Methods: Lessons to Learn. IWFM 1998 - 1997
- [c11]Bruno Mermet, Dominique Méry:
Incremental Specification of Telecommunication Services. ICFEM 1997: 60-69 - [c10]J. Paul Gibson, Bruno Mermet, Dominique Méry:
Feature Interactions: A Mixed Semantic Model Approach. IWFM 1997 - [c9]Bruno Mermet, Dominique Méry:
Safe combinations of services using B. SAFECOMP 1997: 265-280 - [c8]Dominique Méry, J. Paul Gibson:
Telephone feature verification: Translating SDL to TLA+. SDL Forum 1997: 103-118 - 1995
- [j3]Abdelillah Mokkedem, Dominique Méry:
On Using Temporal Logic for Refinement and Compositional Verification of Concurrent Systems. Theor. Comput. Sci. 140(1): 95-138 (1995) - 1994
- [c7]Abdelillah Mokkedem, Dominique Méry:
A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs. ICTL 1994: 382-397 - 1993
- [c6]Abdelillah Mokkedem, Dominique Méry:
On Using a Composition Principle to Design Parallel Programs. AMAST 1993: 315-324 - [c5]Naima Brown, Dominique Méry:
Towards an Integrated Environment for Concurrent programs Development. AMAST 1993: 407-408 - [c4]Naima Brown, Dominique Méry:
A Proof Environment for Concurrent Programs. FME 1993: 196-215 - 1992
- [j2]Dominique Méry:
The N U System as a Development System for Concurrent Programs: delta N U. Theor. Comput. Sci. 94(2): 311-334 (1992) - [c3]Dominique Méry, Abdelillah Mokkedem:
Crocos: An Integrated Environment for Interactive Verification of SDL Specifications. CAV 1992: 343-356
1980 – 1989
- 1988
- [c2]Francois D. Carrez, Dominique Méry:
Temporal Specifications Directed by Grammar and Design of Process Networks. Specification and Verification of Concurrent Systems 1988: 410-427 - 1987
- [j1]Dominique Méry:
Méthode Axiomatique Pour Les Propriétés De Fatalité Des Programmes Parallèles. RAIRO Theor. Informatics Appl. 21(3): 287-322 (1987) - 1986
- [c1]Dominique Méry:
A Proof System to Derive Evantually Properties Under Justice Hypothesis. MFCS 1986: 536-544
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: