Electronic Communications of the EASST
| Issue | Title | |
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Approximate Active Learning of Nondeterministic Input Output Transition Systems | Abstract PDF |
| Michele Volpato, Jan Tretmans | ||
| Volume 46: Automated Verification of Critical Systems 2011 | Approximating Idealised Real-Time Specifications Using Time Bands | Abstract PDF |
| Brijesh Dongol, Ian J. Hayes | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | Asking Why: Towards Conscious Decision-making in times of VUCA | Abstract PDF |
| Barbara Steffen | ||
| Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) | AskTheCode: Interactive Call Graph Exploration for Error Fixing and Prevention | Abstract PDF |
| Robert Husák, Jan Kofroň, Filip Zavoral | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Asserting the Correctness of Software Language Translations | Abstract PDF |
| Bruno Fontes Barroca, Vasco Moreira Amaral | ||
| Volume 49: Bidirectional Transformations 2012 | Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case | Abstract PDF |
| Leen Lambers, Stephan Hildebrandt, Holger Giese, Fernando Orejas | ||
| Volume 31: Visual Formalisms for Patterns 2010 | Augmenting DSVL Meta-Tools with Pattern Specification, Instantiation and Reuse | Abstract PDF |
| Karen Li, John Hosking, John Grundy, Tony Ly, Brian Webb | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Automated Analysis of Voting Systems with Dolev-Yao Intruder Model | Abstract PDF |
| Murat Moran, James Heather | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Automated Model Synchronization: A Case Study on UML with Maude | Abstract PDF |
| Artur Boronat, José Meseguer | ||
| Volume 69: Formal Methods for Interactive Systems 2013 | Automated theorem proving for the systematic analysis of an infusion pump | Abstract PDF |
| Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Automated Verification by Declarative Description of Graph Rewriting-Based Model Transformations | Abstract PDF |
| Mark Asztalos, Péter Ekler, László Lengyel, Tihamér Levendovszky, Gergely Mezei, Tamás Mészáros | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Automated Verification of Asynchronous Communicating Systems with TLA+ | Abstract PDF |
| Florent Chevrou, Aurélie Hurault, Philippe Quéinnec | ||
| Volume 53: Automated Verification of Critical Systems 2012 | Automated Verification of Specifications with Typestates and Access Permissions | Abstract PDF |
| Radu I. Siminiceanu, Ijaz Ahmed, Nestor Catano | ||
| Volume 50: Multi-Paradigm Modeling 2011 | Automatic Deployment Space Exploration Using Refinement Transformations | Abstract PDF |
| Joachim Denil, Antonio Cicchetti, Matthias Biehl, Paul De Meulenaere, Romina Eramo, Serge Demeyer, Hans Vangheluwe | ||
| Volume 64: Programming and Computer Languages 2013 | Automatic Proving of Fuzzy Formulae with Fuzzy Logic Programming and SMT | Abstract PDF |
| Miquel Bofill, Gines Moreno, Carlos Vazquez, Mateu Villaret | ||
| Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 | Automating the referral pathways for Multiple Myeloma through a Web Application and XMDD | Abstract PDF |
| Adam Doherty | ||
| Volume 35: Automated Verification of Critical Systems 2010 | Avocs2010 Preface | Details PDF |
| Jens Bendisposto, Michael Leuschel, Markus Roggenbach | ||
| Volume 52: Software Modeling in Education 2011 | Avoiding OCL specification pitfalls | Abstract PDF |
| Dan Ioan Chiorean, Ileana Ober, Vladiela Petrascu | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Backward Reachability Analysis for Timed Automata with Data Variables | Abstract PDF |
| Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös | ||
| Volume 61: Graph Computation Models 2012 | Big Red: A Development Environment for Bigraphs | Abstract PDF |
| Alexander John Faithfull, Gian Perrone, Thomas T. Hildebrandt | ||
| Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 | Binary Decision Diagrams and Composite Classifiers for Analysis of Imbalanced Medical Datasets | Abstract PDF |
| Amandeep Singh, Olga Minguett, Tiziana Margaria | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Block-Based Models and Theorem Proving in Model-Based Development | Abstract PDF |
| Cinzia Bernardeschi, Andrea Domenici, Adriano Fagiolini, Maurizio Palmieri | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Browser Fingerprinting: How to Protect Machine Learning Models and Data with Differential Privacy? | Abstract PDF |
| Katharina Dietz, Michael Mühlhauser, Michael Seufert, Nicholas Gray, Tobias Hoßfeld, Dominik Herrmann | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Building Traceable Event-B Models from Requirements | Abstract PDF |
| Eman Alkhammash, Asieh Salehi Fathabadi, Michael Butler, Corina Cirstea | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Capturing the distinction between task and device errors in a formal model of user behaviour | Abstract PDF |
| Huayi Huang, Rimvydas Ruksenas, Maartje Ament, Paul Curzon, Anna Cox, Ann Blandford, Duncan Brumby | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation | Abstract PDF |
| Dominique Duval, Rachid Echahed, Frederic Prost | ||
| Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 | Challenging the Need for Transparency, Controllability, and Consistency in Usable Adaptation Design | Abstract PDF |
| Romy Kniewel, Christoph Evers, Ludger Schmidt, Kurt Geihs | ||
| Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) | Climbing the Software Assurance Ladder - Practical Formal Verification for Reliable Software | Abstract PDF |
| Yannick Moy | ||
| Volume 63: Software Clones 2014 | Clone Detection in Matlab Stateflow Models | Abstract PDF |
| Thomas Roy Dean, Jian Chen, Manar H Alalfi | ||
| Volume 63: Software Clones 2014 | Clones and Macro co-changes | Abstract PDF |
| Angela Lozano, Fehmi Jaafar, Kim Mens, Yann Gaël Guéhéneuc | ||
| Volume 45: Formal Methods for Interactive Systems 2011 | Closure and Attention Activation in Human Automatic Behaviour: A Framework for the Formal Analysis of Interactive Systems | Abstract PDF |
| Antonio Cerone | ||
| Volume 39: Graph Computation Models 2010 | Coinductive Graph Representation: the Problem of Embedded Lists | Abstract PDF |
| Celia Picard, Ralph Matthes | ||
| Volume 46: Automated Verification of Critical Systems 2011 | Combining Model Checking and Discrete-Event Supervisor Synthesis | Abstract PDF |
| Nicolas Chausse, Helen Xu, Juergen Dingel, Karen Rudie | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Combining SysML and Model Transformations to Support Systems Engineering Analysis | Abstract PDF |
| Aleksandr Kerzhner, Christiaan Paredis | ||
| Volume 65: Software Quality and Maintainability 2014 | Comparing communication and development networks for predicting file change proneness: An exploratory study considering process and social metrics | Abstract PDF |
| Igor Scaliante Wiese, Douglas Nassif Junior, Reginaldo Ré, Igor Fabio Steinmacher, Marco Aurelio Gerosa | ||
| Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) | Comparing Network Performance of Mobile VoIP Solutions | Abstract PDF |
| Rafael Gomes Dantas | ||
| Volume 49: Bidirectional Transformations 2012 | Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques | Abstract PDF |
| Anthony Anjorin, Gergely Varró, Andy Schürr | ||
| Volume 42: Multi-Paradigm Modeling 2010 | Compliance between Architecture and Design Models of Component-Based Systems | Abstract PDF |
| Sebastian Herold | ||
| Volume 57: Bidirectional Transformations 2013 | Composing Least-change Lenses | Abstract PDF |
| Nuno Macedo, Hugo Pacheco, Alcino Cunha, José Nuno Oliveira | ||
| Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 | Composition of M,N-adhesive Categories with Application to Attribution of Graphs | Abstract PDF |
| Christoph Peuser, Annegret Habel | ||
| Volume 66: Automated Verification of Critical Systems 2013 | Compositional Verification of a Lock-Free Stack with RGITL | Abstract PDF |
| Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfahler, Wolfgang Reif | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Computing Bounds for Counter Automata | Abstract PDF |
| Maximilien Colange, Dimitri Racordon, Didier Buchs | ||
| Volume 58: Graph Transformation and Visual Modeling Techniques 2013 | Concatenation and other Closure Properties of Recognizable Languages in Adhesive Categories | Abstract PDF |
| Sebastian Küpper, Barbara König, H.J. Sander Bruggink | ||
| Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) | Conditional Lemma Discovery and Recursion Induction in Hipster | Abstract PDF |
| Irene Lobo Valbuena, Moa Johansson | ||
| Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 | Conditions, constraints and contracts: On the use of annotations for policy modeling | Abstract PDF |
| Paolo Bottoni, Roberto Navigli, Francesco Parisi-Presicce | ||
| Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 | Conditions in Reactive Systems and in Graph Rewriting | Abstract PDF |
| Barbara Koenig | ||
| Volume 70: Automated Verification of Critical Systems 2014 | Conformance Testing of Cyber-Physical Systems: A Comparative Study | Abstract PDF |
| Morteza Mohaqeqi, Mohammad Reza Mousavi, Walid Taha | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Congestion Aware Objects Filtering for Collective Perception | Abstract PDF |
| Quentin Delooz, Andreas Festag, Alexey Vinel | ||
| Volume 39: Graph Computation Models 2010 | Construction of Pushout Complements in the Category of Hypergraphs | Abstract PDF |
| Marvin Heumüller, Salil Joshi, Barbara König, Jan Stückrath | ||
| Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 | Context awareness: Challenges and opportunities in modern smartphone use | Abstract PDF |
| Nearchos Paspallis, Gabriel Panis | ||
| Volume 61: Graph Computation Models 2012 | Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping | Abstract PDF |
| Florian Mantz, Gabriele Taentzer, Yngve Lamo | ||
| Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 | Cotransforming Grammars with Shared Packed Parse Forests | Abstract PDF |
| Vadim Zaytsev | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Count Me If You Can: Enumerating QUIC Servers Behind Load Balancers | Abstract PDF |
| Kashyap Thimmaraju, Björn Scheuermann | ||
| Volume 47: Graph Transformation and Visual Modeling Techniques 2012 | Coverage Criteria for Testing DMM Specifications | Abstract PDF |
| Svetlana Arifulina, Christian Soltenborn, Gregor Engels | ||
| Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) | Cross-Programming Language Taint Analysis for the IoT Ecosystem | Abstract PDF |
| Pietro Ferrara, Amit Kr Mandal, Agostino Cortesi, Fausto Spoto | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | CYBERWISER.eu: Innovative Cyber Range Platform for Cybersecurity Training in Industrial Systems | Abstract PDF |
| Dario Varano, Gianluca Dini, Mariano Basile | ||
| Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) | Data Race Detection in the Linux Kernel with CPALockator | Abstract PDF |
| Pavel Sergeevich Andrianov, Vadim Sergeevich Mutilin | ||
| Volume 80: Conference on Networked Systems 2021 (NetSys 2021) | Data Serialization Formats for the Internet of Things | Abstract PDF |
| Daniel Friesel, Olaf Spinczyk | ||
| Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 | Decentralized Coordination in Self-Organizing Systems based on Peer-to-Peer Coordination Spaces | Abstract PDF |
| Thomas Preisler, Ante Vilenica, Wolfgang Renz | ||
| Volume 41: Graph Transformation and Visual Modeling Techniques 2011 | Decidability and Expressiveness of Finitely Representable Recognizable Graph Languages | Abstract PDF |
| H. J. Sander Bruggink, Mathias Hülsbusch | ||
| 481 - 540 of 888 Items | << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> | |