• 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 392 matches

• 2024
• 
  Alexis A. Aurandt, Phillip H. Jones, Kristin Yvonne Rozier, Tichakorn Wongpiromsarn:
  Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems. FMICS 2024: 220-244
• 
  Eduard Baranov, Axel Legay, Martin Vivian:
  Fuzzing an Industrial Proprietary Protocol. FMICS 2024: 119-135
• 
  Jan Steffen Becker:
  Safe Linear Encoding of Vehicle Dynamics for the Instantiation of Abstract Scenarios. FMICS 2024: 3-20
• 
  Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini:
  Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. FMICS 2024: 21-39
• 
  Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta, Federico Bonafini, Matteo Campidelli, Andrea Zasa:
  Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report. FMICS 2024: 170-181
• 
  Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins:
  Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. FMICS 2024: 245-258
• 
  Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
  UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations. FMICS 2024: 40-59
• 
  Lise Bech Gehlert, Malthe Peter Højen Jørgensen, Christoffer Brejnholm Koch, Tobias Møller, Signe Kirstine Rusbjerg, Tobias Worm Bøgedal, Danny Bøgsted Poulsen, René Rydhof Hansen, Daniel Lux:
  Modelling and Analysis of DTLS: Power Consumption and Attacks. FMICS 2024: 136-151
• 
  Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand:
  Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS 2024: 152-169
• 
  Lisandro Arturo Jimenez-Roa, Nicolae Rusnac, Matthias Volk, Mariëlle Stoelinga:
  Fault Tree Inference Using Multi-objective Evolutionary Algorithms and Confusion Matrix-Based Metrics. FMICS 2024: 80-96
• 
  Jordi E. P. M. van Laarhoven, Olav Bunte, Louis C. M. van Gool, Tim A. C. Willemse:
  Formalising the Industrial Language SMMT in mCRL2. FMICS 2024: 63-79
• 
  Dalay Israel de Almeida Pereira, Florian Jamain, Thierry Lecomte:
  Formal Analysis and Monitoring of Legacy Safety-Critical Interlocking Systems with the Use of Certified Industrial Tools. FMICS 2024: 182-198
• 
  Robby, John Hatcliff, Jason Belt:
  Logika: The Sireum Verification Framework. FMICS 2024: 97-116
• 
  Sanaa Siddiqui, Diganta Mukhopadhyay, Mohammad Afzal, Hrishikesh Karmarkar, Kumar Madhukar:
  Unifying Syntactic and Semantic Abstractions for Deep Neural Networks. FMICS 2024: 201-219
• 
  Anne E. Haxthausen, Wendelin Serwe:
  Formal Methods for Industrial Critical Systems - 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings. Lecture Notes in Computer Science 14952, Springer 2024, ISBN 978-3-031-68149-3 [contents]
• 2023
• 
  Davide Basile, Franco Mazzanti, Alessio Ferrari:
  Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect. FMICS 2023: 1-21
• 
  Dimitri Belli, Alessandro Fantechi, Stefania Gnesi, Laura Masullo, Franco Mazzanti, Lisa Quadrini, Daniele Trentini, Carlo Vaghi:
  The 4SECURail Case Study on Rigorous Standard Interface Specifications. FMICS 2023: 22-39
• 
  Francisco Durán, Nicolás Pozas, Carlos Ramírez, Camilo Rocha:
  Statistical Model Checking for sf P. FMICS 2023: 40-56
• 
  Lukas Johannes Dust, Rong Gu, Cristina Seceleanu, Mikael Ekström, Saad Mubeen:
  Pattern-Based Verification of ROS 2 Nodes Using UPPAAL. FMICS 2023: 57-75
• 
  Bence Graics, Vince Molnár, István Majzik:
  Configurable Model-Based Test Generation for Distributed Controllers Using Declarative Model Queries and Model Checkers. FMICS 2023: 76-95
• 
  Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba:
  Modelling of Hot Water Buffer Tank and Mixing Loop for an Intelligent Heat Pump Control. FMICS 2023: 113-130
• 
  John Hatcliff, Jason Belt, Robby, Jacob Legg, Danielle Stewart, Todd Carpenter:
  Automated Property-Based Testing from AADL Component Contracts. FMICS 2023: 131-150
• 
  Chris Johannsen, Brian Kempa, Phillip H. Jones, Kristin Y. Rozier, Tichakorn Wongpiromsarn:
  Impossible Made Possible: Encoding Intractable Specifications via Implied Domain Constraints. FMICS 2023: 151-169
• 
  Kim Guldstrand Larsen, Axel Legay, Danny Bøgsted Poulsen:
  Refinement of Systems with an Attacker Focus. FMICS 2023: 96-112
• 
  Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson:
  Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. FMICS 2023: 170-188
• 
  Aziz Sfar, David Carral, Dina Irofti, Madalina Croitoru:
  Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking. FMICS 2023: 189-204
• 
  Reza Soltani, Matthias Volk, Leonardo Diamonte, Milan Lopuhaä-Zwakenberg, Mariëlle Stoelinga:
  Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors. FMICS 2023: 205-223
• 
  Huan Sun, Ziyu Mao, Jingyi Wang, Ziyan Zhao, Wenhai Wang:
  Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study. FMICS 2023: 224-241
• 
  Djurre van der Wal, Marcus Gerhold, Mariëlle Stoelinga:
  Conformance in the Railway Industry: Single-Input-Change Testing a EULYNX Controller. FMICS 2023: 242-258
• 
  Alessandro Cimatti, Laura Titolo:
  Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14290, Springer 2023, ISBN 978-3-031-43680-2 [contents]

skipping 362 more matches