Electronic Communications of the EASST
| 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 > >> | |