|
Issue |
Title |
|
Volume 31: Visual Formalisms for Patterns 2010 |
Towards a Pattern Language for the Design of Collaborative Interactive Systems |
Abstract
PDF
|
Claudia Iacob, Piero Mussio, Li Zhu, Barbara Rita Barricelli |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Towards Alternating Automata for Graph Languages |
Abstract
PDF
|
H.J. Sander Bruggink, Mathias Hülsbusch, Barbara König |
|
Volume 63: Software Clones 2014 |
Towards an Analysis of Who Creates Clone and Who Reuses it |
Abstract
PDF
|
Takuya Moriwaki, Hiroshi Igaki, Yuki Yamanaka, Norihiro Yoshida, Shinji Kusumoto, Katsuro Inoue |
|
Volume 64: Programming and Computer Languages 2013 |
Towards Bridging the Expressiveness Gap Between \linebreak Relational and Deductive Databases |
Abstract
PDF
|
Fernando Sáenz-Pérez |
|
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 |
Towards Code-centric Code Generators |
Abstract
PDF
|
Daniel Busch |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Towards Deterministic Reconfigurable Networks |
Abstract
PDF
|
Zikai George Zhou, Wolfgang Kellerer |
|
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) |
Towards Dynamic Reverse Engineering Visual Contracts from Java |
Abstract
PDF
|
Abdullah M. Alshanqiti, Reiko Heckel |
|
Volume 40: Petri Nets and Graph Transformations 2010 |
Towards Guided Trajectory Exploration of Graph Transformation Systems |
Abstract
PDF
|
Ábel Hegedüs, Ákos Horváth, Dániel Varró |
|
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) |
Towards Model Checking Reconfigurable Petri Nets using Maude |
Abstract
PDF
|
Julia Padberg, Alexander Schulz |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Towards opportunistic UAV relaying for smart cities |
Abstract
PDF
|
Tobias Hardes, Clemens Boos, Christoph Sommer |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Towards Optimization-Based Predictive Congestion Control for the Tor Network |
Abstract
PDF
|
Christoph Döpmann, Felix Fiedler, Sergio Lucia, Florian Tschorsch |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Towards QoE-Driven Optimization of Multi-Dimensional Content Streaming |
Abstract
PDF
|
Yassin Alkhalili, Jannis Weil, anam tahir, Tobias Meuser, Boris Koldehofe, Andreas Mauthe, Heinz Koeppl, Ralf Steinmetz |
|
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) |
Towards Reuse on the Meta-Level |
Abstract
PDF
|
Dominic Wirkner, Steve Boßelmann |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Towards SCION-enabled IXPs: The SCION Peering Coordinator |
Abstract
PDF
|
Lars-Christian Schulz, David Hausheer |
|
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 |
Towards Test Coverage Criteria for Visual Contracts |
Abstract
PDF
|
Reiko Heckel, Tamim Ahmed Khan, Rodrigo Machado |
|
Volume 42: Multi-Paradigm Modeling 2010 |
Towards Transformation Rule Composition |
Abstract
PDF
|
Eugene Syriani, Mark Asztalos, Manuel Wimmer, Marouane Kessentini |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors |
Abstract
PDF
|
Maria Maximova, Hartmut Ehrig, Claudia Ermel |
|
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 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 |
Validating Behavioral Requirements, Conditions, and Rules of Autonomous Systems with Scenario-Based Testing |
Abstract
PDF
|
Till Schallau, Stefan Naujokat |
|
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 - 888 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 |