|
Issue |
Title |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Deep Reinforcement Learning for Smart Queue Management |
Abstract
PDF
|
Hassan Fawaz, Djamal Zeghlache, Tran Anh Quang Pham, Jérémie Leguay, Paolo Medagliani |
|
Volume 57: Bidirectional Transformations 2013 |
Delta Lenses and Opfibrations |
Abstract
PDF
|
Michael Johnson, Robert Rosebrugh |
|
Volume 49: Bidirectional Transformations 2012 |
Delta Lenses over Inductive Types |
Abstract
PDF
|
Hugo Pacheco, Alcino Cunha, Zhenjiang Hu |
|
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 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 |
DSL-based Interoperability and Integration in the Smart Manufacturing Digital Thread |
Abstract
PDF
|
Hafiz Ahmad Awais Chaudhary, Tiziana Margaria |
|
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 |
DSL-driven Integration of OpenAPI based Web Services into DIME |
Abstract
PDF
|
Bruno Steffen |
|
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 |
|
541 - 600 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |