FMICS-AVoCS

Keyphrases

Publications

2017

Felipe J. Montana, Jun Liu, Tony J. Dodd
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications. FMICS-AVoCS (2017)
Alessandro Fantechi, Stefania Gnesi, Laura Semini
Optimizing Feature Interaction Detection. FMICS-AVoCS (2017)
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. FMICS-AVoCS (2017)
Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher, Ullrich Hustadt, Joe Saunders, Matt Webster
CRutoN: Automatic Verification of a Robotic Assistant's Behaviours. FMICS-AVoCS (2017)
Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman
Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report. FMICS-AVoCS (2017)
Samuel Huang, Rance Cleaveland
Query Checking for Linear Temporal Logic. FMICS-AVoCS (2017)
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. FMICS-AVoCS (2017)
Paul Fiterau-Brostean, Falk Howar
Learning-Based Testing the Sliding Window Behavior of TCP Implementations. FMICS-AVoCS (2017)
Björn Lisper
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. FMICS-AVoCS (2017)
Alexander Graf-Brill, Holger Hermanns
Model-Based Testing for Asynchronous Systems. FMICS-AVoCS (2017)
Thibaut Balabonski, Pierre Courtieu, Lionel Rieg, Sébastien Tixeuil, Xavier Urbain
Certified Gathering of Oblivious Mobile Robots: Survey of Recent Results and Open Problems. FMICS-AVoCS (2017)
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
Information Leakage as a Scheduling Resource. FMICS-AVoCS (2017)
Felipe J. Montana, Jun Liu, Tony J. Dodd
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information. FMICS-AVoCS (2017)
Étienne André
A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty. FMICS-AVoCS (2017)

volume 10471, 2017

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 FMICS-AVoCS 10471 (2017)

2016

volume 9933, 2016

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings FMICS-AVoCS 9933 (2016)