Browse Title Index


 
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 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 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 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
 
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
 
481 - 540 of 870 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >>