• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 55 matches

• 2024
• 
  Sarra Mellouli, Anis Mhalla, Simon Collart Dutilleul, Hassani Messaoud:
  Maintenance dynamic scheduling for a Tunisian railway transport system. ICCAD 2024: 1-8
• 
  Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul, Amel Mammar, Germán Vega:
  An Iterative Formal Model-Driven Approach to Railway Systems Validation. ICECCS 2024: 272-289
• 2023
• 
  Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte, Jim Woodcock:
  Introduction to the Special Section on Reliability, Safety, and Security of Railway Systems. Formal Aspects Comput. 35(1): 1:1-1:2 (2023)
• 
  Rim Brahim, Simon Collart Dutilleul, Philippe Bon, Pierre-Antoine Laharotte, Nour-Eddin El Faouzi:
  FERROMOBILE and Security for Low Moment of Traffic Level Crossing. CRiSIS 2023: 35-50
• 
  Amine Hamidi, Simon Collart Dutilleul, Philippe Bon:
  Formalizing for Proving the System Safety of the Software Component for a Small Sized Guided Transport System. CRiSIS 2023: 85-99
• 
  Simon Collart Dutilleul, Philippe Bon, Amine Hamidi:
  A railway norms application for small traffic railway lines autonomous vehicle. ICCAD 2023: 1-6
• 
  Racem Bougacha, Régine Laleau, Simon Collart Dutilleul:
  Formal alignment of requirements models with high-level architecture models. ICECCS 2023: 216-225
• 
  Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte:
  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Lecture Notes in Computer Science 14198, Springer 2023, ISBN 978-3-031-43365-8 [contents]
• 2022
• 
  Sebastien Martinez, Simon Collart Dutilleul, Philippe Bon:
  Identifying Alterability States of a Single Track Railway Line Control System. Int. J. Comput. Commun. Control 17(5) (2022)
• 
  Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed:
  Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS 2022: 153-168
• 
  Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Rochdi Merzouki:
  A Colored Petri Net Model for Control Problem of Border Crossing Under Constraints. ICRA 2022: 11548-11554
• 
  Asfand Yar, Akram Idani, Yves Ledru, Simon Collart Dutilleul:
  Visual animation of B specifications using executable DSLs. MoDELS (Companion) 2022: 617-626
• 
  Dalay Israel de Almeida Pereira, Marcel Vinícius Medeiros Oliveira, P. E. R. Bezerra, Philippe Bon, Simon Collart Dutilleul:
  CSP specification and verification of relay-based railway interlocking systems. SAC 2022: 97-106
• 
  Racem Bougacha, Régine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed:
  Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications. TASE 2022: 256-273
• 
  Simon Collart Dutilleul, Anne E. Haxthausen, Thierry Lecomte:
  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings. Lecture Notes in Computer Science 13294, Springer 2022, ISBN 978-3-031-05813-4 [contents]
• 2021
• 
  Nabil Jerbi, Simon Collart Dutilleul:
  Decision Tools Regarding Time Constraints Violation in Manufacturing Workshops. Int. J. Comput. Commun. Control 16(3) (2021)
• 2020
• 
  Sana Debbech, Simon Collart Dutilleul, Philippe Bon:
  An Ontological Approach to Support Dysfunctional Analysis for Railway Systems Design. J. Univers. Comput. Sci. 26(5): 549-582 (2020)
• 
  Asfand Yar, Akram Idani, Simon Collart Dutilleul:
  Merging Railway Standard Notations in a Formal DSL-Based Framework. ECSA Companion 2020: 411-419
• 
  Simon Collart Dutilleul, Philippe Bon:
  A Modular Design Framework to Assess Intelligent Trains. ISoLA (3) 2020: 404-414
• 2019
• 
  Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
  Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14(10): 980-986 (2019)
• 
  Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
  Towards Semantic Interpretation of Goal-Oriented Safety Decisions Based on Foundational Ontology. J. Comput. 14(4): 257-267 (2019)
• 
  Zakaryae Boudi, Abderrahim Ait Wakrime, Simon Collart Dutilleul, Mohamed Haloua:
  Introducing B-Sequenced Petri Nets as a CPN Sub-class for Safe Train Control. ENASE 2019: 350-358
• 
  Racem Bougacha, Abderrahim Ait Wakrime, Slim Kallel, Rahma Ben Ayed, Simon Collart Dutilleul:
  A Model-based Approach for the Modeling and the Verification of Railway Signaling System. ENASE 2019: 367-376
• 
  Hela Kadri, Simon Collart Dutilleul, Philippe Bon, Samir Ben Ahmed:
  Formal Approach to Dynamic SoS Design. ENASE 2019: 377-384
• 
  Dalay Israel de Almeida Pereira, Sana Debbech, Matthieu Perin, Philippe Bon, Simon Collart Dutilleul:
  Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model. ER 2019: 338-351
• 
  Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
  Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) 2019: 358-370
• 
  Akram Idani, Yves Ledru, Abderrahim Ait Wakrime, Rahma Ben Ayed, Simon Collart Dutilleul:
  Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -. FMICS 2019: 93-109
• 
  Sana Debbech, Philippe Bon, Simon Collart Dutilleul:
  Conceptual Modelling of the Dynamic Goal-oriented Safety Management for Safety Critical Systems. ICSOFT 2019: 287-297
• 
  Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit:
  Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT 2019: 278-286
• 
  Simon Collart Dutilleul, Thierry Lecomte, Alexander B. Romanovsky:
  Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Lecture Notes in Computer Science 11495, Springer 2019, ISBN 978-3-030-18743-9 [contents]

skipping 25 more matches