default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd FMICS-AVoCS 2017: Turin, Italy
- Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti:
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings. Lecture Notes in Computer Science 10471, Springer 2017, ISBN 978-3-319-67112-3
Automated Verification Techniques
- Dilian Gurov
, Christian Lidström, Mattias Nyberg, Jonas Westman:
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. 3-18 - Björn Lisper:
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. 19-33 - Samuel Huang, Rance Cleaveland:
Query Checking for Linear Temporal Logic. 34-48
Testing and Scheduling
- Hallan William Veiga, Max Hering de Queiroz, Jean-Marie Farines, Marcelo Lopes de Lima:
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms. 51-65 - Alexander Graf-Brill, Holger Hermanns:
Model-Based Testing for Asynchronous Systems. 66-82 - Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay:
Information Leakage as a Scheduling Resource. 83-99 - Étienne André:
A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. 100-115
Special Track: Formal Methods for Mobile and Autonomous Robots
- Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster:
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. 119-133 - Felipe J. Montana, Jun Liu, Tony J. Dodd:
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. 134-149 - Felipe J. Montana, Jun Liu, Tony J. Dodd:
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. 150-164 - Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain:
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. 165-181
Modeling and Analysis Techniques
- Paul Fiterau-Brostean, Falk Howar:
Learning-Based Testing the Sliding Window Behavior of TCP Implementations. 185-200 - Alessandro Fantechi, Stefania Gnesi, Laura Semini:
Optimizing Feature Interaction Detection. 201-216 - Rutger van Beusekom, Jan Friso Groote, Paul F. Hoogendijk, Robert Howe, Wieger Wesselink, Rob Wieringa, Tim A. C. Willemse:
Formalising the Dezyne Modelling Language in mCRL2. 217-233
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.
last updated on 2026-05-17 00:01 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:
