Browse Title Index


 
Issue Title
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Demo: Simulation-as-a-Service to Benchmark Opportunistic Networks Abstract   PDF
Jens Dede, Asanga Udugama, Anna Förster
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Demo: Traffic Splitting for Tor – A Defense against Fingerprinting Attacks Abstract   PDF
Sebastian Reuter, Jens Hiller, Jan Pennekamp, Andriy Panchenko, Klaus Wehrle
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Demo: Using LoRa Communications and Epidemic Routing in Disaster Rescue Operations Abstract   PDF
Yamani Dalpathadu, Showry Thumma, Asanga Udugama, Anna Förster
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Demonstration: A cloud-control system equipped with intrusion detection and mitigation Abstract   PDF
Fatemeh Akbarian, William Tärneberg, Emma Fitzgerald, Maria Kihl
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Demonstration: A cloud-native digital twin with adaptive cloud-based control and intrusion detection Abstract   PDF
William Tärneberg, Martin Gunnarsson, Maria Kihl, Christian Gehrmann
 
Volume 45: Formal Methods for Interactive Systems 2011 Dependable keyed data entry for interactive systems Abstract   PDF
Harold Thimbleby, Andy Gimblett
 
Volume 61: Graph Computation Models 2012 Derivation Languages of Graph Grammars Abstract   PDF
Nils Erik Flick
 
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) Detecting Deadlocks in Formal System Models with Condition Synchronization Abstract   PDF
Eduard Kamburjan
 
Volume 69: Formal Methods for Interactive Systems 2013 Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach Abstract   PDF
Rimvydas Rukšėnas, Paolo Masci, Michael D. Harrison, Paul Curzon
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Discrete event simulation for the purpose of real-time performance evaluation of distributed hardware-in-the-loop simulators for autonomous driving vehicle validation Abstract   PDF
Christoph Funda, Kai-Steffen Hielscher, Reinhard German
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Discrete-time Analysis of Multicomponent GI/GI/1 Queueing Networks Abstract   PDF
Stefan Geissler, Stanislav Lange, Tobias Hossfeld, Phuoc Tran-Gia
 
Volume 71: Graph Computation Models 2014 Distributed execution of bigraphical reactive systems Abstract   PDF
Alessio Mansutti, Marino Miculan, Marco Peressotti
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Distributed Verification of Rare Properties using Importance Splitting Observers Abstract   PDF
Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Dynamic Monitoring Area Allocation for Aerial Post-Disaster Situation Monitoring Abstract   PDF
Julian Zobel, Niklas Stöhr, Ralf Kundel, Patrick Lieser, Ralf Steinmetz
 
Volume 44: OCL and Textual Modelling 2011 Dynamic Validation of OCL Constraints with mOdCL Abstract   PDF
Manuel Roldan, Francisco Durán
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Early Warning Identity Threat and Mitigation System Abstract   PDF
Aditya Tyagi, Razieh Nokhbeh Zaeem, K. Suzanne Barber
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Early Work: Path Selection in a Path-aware Network Architecture Abstract   PDF
Thorben Krüger, David Hausheer
 
Volume 57: Bidirectional Transformations 2013 Edit languages for information trees Abstract   PDF
Martin Hofmann, Benjamin Pierce, Daniel Wagner
 
Volume 52: Software Modeling in Education 2011 EduSymp 2011 - Preface Abstract   PDF
Andreas Winter, Marion Brandsteidl
 
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium Efficient Implementation of Automaton Functors for the Verification of Graph Transformation Systems Abstract   PDF
Christoph Blume
 
Volume 54: Graph-Based Tools 2012 EMorF - A tool for model transformations Abstract   PDF
Lilija Klassen, Robert Wagner
 
Volume 31: Visual Formalisms for Patterns 2010 Enforcement of Patterns by Constraint-Aware Model Transformations Abstract   PDF
Yngve Lamo, Adrian Rutle, Florian Mantz
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner Enhanced Formal Verification Flow for Circuits Integrating Debugging and Coverage Analysis Abstract   PDF
Daniel Grosse, Goerschwin Fey, Rolf Drechsler
 
Volume 53: Automated Verification of Critical Systems 2012 E-SPARK: Automated Generation of Provably Correct Code from Formally Verified Designs Abstract   PDF
Rajiv Murali, Andrew Ireland
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Estimating Rewards & Rare Events in Nondeterministic Systems Abstract   PDF
Axel Legay, Sean Sedwards, Louis-Marie Traonouez
 
Volume 66: Automated Verification of Critical Systems 2013 Evaluation of Graphical Control Flow Management Approaches for Event-B Modelling Abstract   PDF
Dana Dghaym, Michael Butler, Asieh Salehi Fathabadi
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Evaluation of Multi-hop Ad-hoc Routing Protocols in Wireless Seismic Data Acquisition Abstract   PDF
Aliyu Makama, Koojana Kuladinithi, Musab Eltayeb Ahmed Ahmed, Andreas Timm-Giel
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Evaluation of self-organizing communication mechanisms within a communication platform for disaster management Abstract   PDF
Volkmar Schau, Christian Erfurth, Wilhelm Rossak
 
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 Evolve: Language-Driven Engineering in Industrial Practice Abstract   PDF
Tim Tegeler, Jonas Schürmann
 
Volume 70: Automated Verification of Critical Systems 2014 Exact and Approximate Abstraction for Classes of Stochastic Hybrid Systems Abstract   PDF
Jeremy Sproston
 
Volume 46: Automated Verification of Critical Systems 2011 Experiences in the Industrial use of Formal Methods Abstract   PDF
Janet Elizabeth Barnes
 
Volume 59: Patterns Promotion and Anti-patterns Prevention 2013 Experimenting the Influence of Numerical Thresholds on Model-based Detection and Refactoring of Performance Antipatterns Abstract   PDF
Davide Arcelli, Vittorio Cortellessa, Catia Trubiani
 
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 Exploring (Meta-)Model Snapshots by Combining Visual and Textual Techniques Abstract   PDF
Martin Gogolla, Lars Hamann, Jie Xu, Jun Zhang
 
Volume 44: OCL and Textual Modelling 2011 Extending ASSL: Making UML Metamodel-based Workflows executable Abstract   PDF
Jens Brüning, Lars Hamann, Andreas Wolff
 
Volume 44: OCL and Textual Modelling 2011 Extending OCL Operation Contracts with Objective Functions Abstract   PDF
Matthias P. Krieger, Achim D. Brucker
 
Volume 78: 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium and Industry Day, 2018 Facilitating Automated Compliance Checking in the Safety-critical Context Abstract   PDF
Julieth Patricia Castellanos Ardila
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Federated User Clustering for non-IID Federated Learning Abstract   PDF
Lucas de Sousa Pacheco, Denis Rosário, Eduadro Cerqueira, Torsten Braun
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) Firewall-as-a-Service for Campus Networks Based on P4-SFC Abstract   PDF
Marco Häberle, Benjamin Steinert, Michael Menth
 
Volume 49: Bidirectional Transformations 2012 First International Workshop on Bidirectional Transformations (BX 2012): Preface Abstract   PDF
Frank Hermann, Janis Voigtländer
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) First-order logic for safety verification of hedge rewriting systems Abstract   PDF
Alexei Lisitsa
 
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) FlowEmu: An Open-Source Flow-Based Network Emulator Abstract   PDF
Daniel Stolpmann, Andreas Timm-Giel
 
Volume 45: Formal Methods for Interactive Systems 2011 Formal Modeling and Analysis for Interactive Hybrid Systems Abstract   PDF
Ellen J Bass, Karen M Feigh, Elsa Gunter, John M Rushby
 
Volume 40: Petri Nets and Graph Transformations 2010 Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories Abstract   PDF
Maria Maximova, Hartmut Ehrig, Claudia Ermel
 
Volume 53: Automated Verification of Critical Systems 2012 Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System Abstract   PDF
Yang Zhao, Kristin Yvonne Rozier
 
Volume 39: Graph Computation Models 2010 Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions Abstract   PDF
Ulrike Golas, Hartmut Ehrig, Frank Herrmann
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Formal Specification, Verification, and Implementation of Fault-Tolerant Systems using EventML Abstract   PDF
Vincent Rahli, David Guaspari, Mark Bickford, Robert L. Constable
 
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) Formal Verification in the Loop to Enhance Verification of Safety-Critical Cyber-physical Systems Abstract   PDF
Cinzia Bernardeschi, Andrea Domenici, Sergio Saponara
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Formal verification of a theory of packages Abstract   PDF
Jaap Boender
 
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks Abstract   PDF
Matt Webster, Michael Breza, Clare Dixon, Michael Fisher, Julie McCann
 
Volume 40: Petri Nets and Graph Transformations 2010 Formalization of Petri Nets with Individual Tokens as Basis for DPO Net Transformations Abstract   PDF
Tony Modica, Karsten Gabriel, Kathrin Hoffmann
 
Volume 53: Automated Verification of Critical Systems 2012 Fractional Permissions and Non-Deterministic Evaluators in Interval Temporal Logic Abstract   PDF
Brijesh Dongol, John Derrick, Ian J. Hayes
 
Volume 66: Automated Verification of Critical Systems 2013 From System Requirements to Software Requirements in the Four-Variable Model Abstract   PDF
Lucian M. Patcas, Mark Lawford, Tom Maibaum
 
Volume 66: Automated Verification of Critical Systems 2013 Fully Symbolic TCTL Model Checking for Incomplete Timed Systems Abstract   PDF
Georges Morbé, Christoph Scholl
 
Volume 66: Automated Verification of Critical Systems 2013 Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification Abstract   PDF
zeinab sharifi, Mahdi Mosaffa, Siamak Mohammadi, Marjan Sirjani
 
Volume 40: Petri Nets and Graph Transformations 2010 Functorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc Networks Abstract   PDF
Ulrike Golas, Kathrin Hoffmann, Hartmut Ehrig, Alexander Rein, Julia Padberg
 
Volume 39: Graph Computation Models 2010 Generating Instance Graphs from Class Diagrams with Adaptive Star Grammars Abstract   PDF
Berthold Hoffmann, Mark Minas
 
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) Generating Optimal Decision Functions from Rule Specifications Abstract   PDF
Frederik Gossen, Tiziana Margaria
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Generating Preconditions from Graph Constraints by Higher Order Graph Transformation Abstract   PDF
Frederik Deckwerth, Gergely Varró
 
Volume 39: Graph Computation Models 2010 Graph Computation Models Details   PDF
Rachid Echahed, Annegret Habel, Mohamed Mosbah
 
Volume 61: Graph Computation Models 2012 Graph Computation Models 2012 Details   PDF
Rachid Echahed, Annegret Habel, Mohamed Mosbah
 
541 - 600 of 870 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >>