Search results for "FMICS-AVoCS"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Felipe J. Montana, Jun Liu 0015, Tony J. Dodd	Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Optimizing Feature Interaction Detection.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Paul Gainer, Clare Dixon, Kerstin Dautenhahn, Michael Fisher 0001, Ullrich Hustadt, Joe Saunders, Matt Webster	CRutoN: Automatic Verification of a Robotic Assistant's Behaviours.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti 0001 (eds.)	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	2017	DBLP DOI BibTeX RDF
1	Dilian Gurov, Christian Lidström, Mattias Nyberg, Jonas Westman	Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Samuel Huang 0001, Rance Cleaveland	Query Checking for Linear Temporal Logic.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Paul Fiterau-Brostean, Falk Howar	Learning-Based Testing the Sliding Window Behavior of TCP Implementations.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Björn Lisper	Verifying Event-Based Timing Constraints by Translation into Presburger Formulae.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Alexander Graf-Brill, Holger Hermanns	Model-Based Testing for Asynchronous Systems.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay	Information Leakage as a Scheduling Resource.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Felipe J. Montana, Jun Liu 0015, Tony J. Dodd	Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Étienne André	A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty.	FMICS-AVoCS	2017	DBLP DOI BibTeX RDF
1	Alessandro Fantechi	Formal Techniques for a Data-Driven Certification of Advanced Railway Signalling Systems.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Yu Lu 0001, Alice A. Miller, Ruth Hoffmann, Christopher W. Johnson 0001	Towards the Automated Verification of Weibull Distributions for System Failure Rates.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron	Workflow Nets Verification: SMT or CLP?	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Ning Ge 0002, Eric Jenn, Nicolas Breton, Yoann Fonteneau	Formal Verification of a Rover Anti-collision System.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Takuro Kutsuna, Yoshinao Ishii	Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Mounir Chadli, Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Stefan Naujokat, Bernhard Steffen, Kim Guldstrand Larsen	A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Mahmoud Mohsen, Bart Jacobs 0002	One Step Towards Automatic Inference of Formal Specifications Using Automated VeriFast.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Somsak Vanit-Anunchai	Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Christian Dernehl, Norman Hansen, Stefan Kowalewski	Abstract Interpretation of MATLAB Code with Interval Sets.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Irina Mariuca Asavoae, Hoang Nga Nguyen, Markus Roggenbach, Siraj Ahmed Shaikh	Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Philip Johnson-Freyd, Geoffrey C. Hulette, Zena M. Ariola	Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Arnaud Dieumegard, Andres Toom, Marc Pantel	Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Steffen Beringer, Heike Wehrheim	Verification of AUTOSAR Software Architectures with Timed Automata.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Jan Peleska 0001, Wen-ling Huang	Model-Based Testing Strategies and Their (In)dependence on Syntactic Model Representations.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Axel Habermaier, Johannes Leupolz, Wolfgang Reif	Unified Simulation, Visualization, and Formal Analysis of Safety-Critical Systems with.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp (eds.)	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	2016	DBLP DOI BibTeX RDF
1	Axel Habermaier, Alexander Knapp, Johannes Leupolz, Wolfgang Reif	Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis.	FMICS-AVoCS	2016	DBLP DOI BibTeX RDF

Publications at "FMICS-AVoCS"( http://dblp.L3S.de/Venues/FMICS-AVoCS )