|
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 > >> |