![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
22nd 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.