Browse Title Index


 
Issue Title
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Transforming Event-B Models to Dafny Contracts Abstract   PDF
Mohammadsadegh Dalvandi, Michael Butler, Abdolbaghi Rezazadeh
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Treewidth, Pathwidth and Cospan Decompositions Abstract   PDF
Christoph Blume, H. J. Sander Bruggink, Martin Friedrich, Barbara König
 
Volume 44: OCL and Textual Modelling 2011 UML is still inconsistent! How to improve OCL Constraints in the UML 2.3 Superstructure Abstract   PDF
Claas Wilke, Birgit Demuth
 
Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) Uncertainty Entangled; Modelling Safety Assurance Cases for Autonomous Systems Abstract   PDF
Anila Mjeda, Götz Botterweck
 
Volume 57: Bidirectional Transformations 2013 Understanding bidirectional transformations with TGGs and JTL Abstract   PDF
Romina Eramo, Alessio Bucaioni
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) User Space Packet Schedulers: Towards Rapid Prototyping of Queue-Management Algorithms Abstract   PDF
Ralf Kundel, Paul Stiegele, Dat Tran, Julian Zobel, Osama Abboud, Rhaban Hark, Ralf Steinmetz
 
Volume 42: Multi-Paradigm Modeling 2010 Using an Alternative Trace for QVT Abstract   PDF
Vincent Aranega, Anne Etien, Jean-Luc Dekeyser
 
Volume 44: OCL and Textual Modelling 2011 Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling Abstract   PDF
Axel Uhl, Thomas Goldschmidt, Manuel Holzleitner
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Using antipatterns to improve the quality of FLOSS development Abstract   PDF
Antonio Cerone, Dimitrios Settas
 
Volume 45: Formal Methods for Interactive Systems 2011 Using Assurance Cases and Boolean Logic Driven Markov Processes to Formalise Cyber Security Concerns for Safety-Critical Interaction with Global Navigation Satellite Systems Abstract   PDF
Chris Johnson
 
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) Using SMT Engine to Generate Symbolic Automata Abstract   PDF
Eric Madelaine, Xudong Qin, Min Zhang, Simon Bliudze
 
Volume 70: Automated Verification of Critical Systems 2014 Using SMT for dealing with nondeterminism in ASM-based runtime verification Abstract   PDF
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Verification of Graph-based Model Transformations Using Alloy Abstract   PDF
Xiaoliang Wang, Fabian Büttner, Yngve Lamo
 
Volume 70: Automated Verification of Critical Systems 2014 Verification of Information Flow Properties under Rational Observation Abstract   PDF
Beatrice Berard, John Mullins
 
Volume 66: Automated Verification of Critical Systems 2013 Verifying a Mix Net in CSP Abstract   PDF
Efstathios Stathakidis, David Moreton Williams, James Heather
 
Volume 50: Multi-Paradigm Modeling 2011 Verifying Access Control in Statecharts Abstract   PDF
Levi Lucio, Qin Zhang, Vasco Sousa, Yves Le Traon
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Verifying Critical Cyber-Physical Systems After Deployment Abstract   PDF
Colin O'Halloran
 
Volume 61: Graph Computation Models 2012 Verifying Total Correctness of Graph Programs Abstract   PDF
Christopher M. Poskitt, Detlef Plump
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 View-based Modelling and State-Space Generation for Graph Transformation Systems Abstract   PDF
Niaz Arijo, Reiko Heckel
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Visual Contracts as Test Oracle in AGG 2.0 Abstract   PDF
Tamim Ahmed Khan, Olga Runge, Reiko Heckel
 
Volume 54: Graph-Based Tools 2012 Visual Modeling and Analysis of EMF Model Transformations Based on Triple Graph Grammars Abstract   PDF
Claudia Ermel, Frank Hermann, Jürgen Gall, Daniel Binanzer
 
Volume 31: Visual Formalisms for Patterns 2010 Visual Specification Patterns Abstract   PDF
Andrew Gavin Fish, Ali Hamie, John Howse
 
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 Volatile Sets: Event-driven Collections for Mobile Ad-Hoc Applications Abstract   PDF
Dies Harnie, Elisa Gonzalex Boix, Andoni Lombide Carreton, Christophe Scholliers, Wolfgang De Meuter
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Well-formed Model Co-evolution with Customizable Model Migration Abstract   PDF
Florian Mantz, Gabriele Taentzer, Yngve Lamo
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Wiretapping Pods and Nodes - Lawful Interception in Kubernetes Abstract   PDF
Daniel Spiekermann, Jörg Keller
 
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 Workflow Discovery with Semantic Constraints: The SAT-Based Implementation of APE Abstract   PDF
Vedran Kasalica, Anna-Lena Lamprecht
 
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) Writing a Model Checker in 80 Days: Reusable Libraries and Custom Implementation Abstract   PDF
Jessica Petrasch, Jan-Hendrik Oepen, Sebastian Krings, Moritz Gericke
 
Volume 61: Graph Computation Models 2012 XL4C4D - Adding the Graph Transformation Language XL to CINEMA 4D Abstract   PDF
Ole Kniemeyer, Winfried Kurth
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Zero Trust Service Function Chaining Abstract   PDF
Leonard Bradatsch, Frank Kargl, Oleksandr Miroshkin
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) “Vehicular Steganography”?: Opportunities and Challenges Abstract   PDF
Martin Cooney, Eric Järpe, Alexey Vinel
 
841 - 870 of 870 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15