|
Issue |
Title |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
Preface |
Details
PDF
|
Matthias Tichy, Leila Ribeiro |
|
Volume 60: Software Quality and Maintainability 2013 |
Preface |
Details
PDF
|
Eric Bouwers, Yijun Yu |
|
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner |
Preface |
Details
PDF
|
Till Mossakowski, Markus Roggenbach, Lutz Schröder |
|
Volume 57: Bidirectional Transformations 2013 |
Preface |
Details
PDF
|
Perdita Stevens, James F Terwilliger |
|
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) |
Preface |
Details
PDF
|
Bernhard Westfechtel, Matthias Tichy |
|
Volume 70: Automated Verification of Critical Systems 2014 |
Preface |
Details
PDF
|
Marieke Huisman, Jaco van de Pol |
|
Volume 71: Graph Computation Models 2014 |
Preface |
Details
PDF
|
Rachid Echahed, Anngret Habel, Mohamed Mosbah |
|
Volume 34: Software Modeling in Education at MODELS 2010 |
Preface |
Abstract
PDF
|
Martina Seidl, Peter J. Clarke |
|
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium |
Preface |
Details
PDF
|
Andrea Corradini |
|
Volume 40: Petri Nets and Graph Transformations 2010 |
Preface |
Abstract
PDF
|
Claudia Ermel, Kathrin Hoffmann |
|
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 |
Preface |
Details
PDF
|
Fabio Gadducci, Leonardo Mariani |
|
Volume 43: Context-aware Adaption Mechanisms for Pervasive And Ubiquitous Services 2011 |
Preface |
Details
PDF
|
Gabriel Hermosillo, Russel Nzekwa, Michael Wagner |
|
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) |
Preface |
Abstract
PDF
|
Gudmund Grov, Andrew Ireland |
|
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 |
Preface |
Details
PDF
|
Detlef Plump |
|
Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) |
Preface |
Details
PDF
|
Anna-Lena Lamprecht |
|
Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017) |
Preface |
Details
PDF
|
Anila Mjeda |
|
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) |
Preface |
Abstract
PDF
|
David Pichardie, Mihaela Sighireanu |
|
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) |
Preface |
Details
PDF
|
Anila Mjeda, Stylianos Basagiannis, Goetz Botterweck |
|
Volume 81: 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2021 |
Preface |
Details
PDF
|
Sven Jörges, Anna-Lena Lamprecht, Anila Mjeda, Stefan Naujokat |
|
Volume 82: 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2022 |
Preface |
Details
PDF
|
Sven Jörges, Salim Saay, Steven Smyth |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Preface and Table of Contents |
Details
PDF
|
Mathias Fischer, Winfried Lamersdorf |
|
Volume 45: Formal Methods for Interactive Systems 2011 |
Preface for FMIS 2011 |
Details
PDF
|
Judy Bowen, Steve Reeves |
|
Volume 44: OCL and Textual Modelling 2011 |
Preface (OCL 2011 Proceedings) |
Abstract
PDF
|
Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff |
|
Volume 55: Programming and Computer Languages 2012 |
Preface of Prole 2012 |
Abstract
PDF
|
María-del-Mar Gallardo |
|
Volume 65: Software Quality and Maintainability 2014 |
Preface of SQM 2014 Proceedings - 8th International Workshop on Software Quality and Maintainability |
Abstract
PDF
|
Lodewijk Bergmans, Tom Mens, Steven Raemaekers |
|
Volume 69: Formal Methods for Interactive Systems 2013 |
Preface to the proceedings of FMIS 2013 |
Details
PDF
|
Judy Bowen, Steve Reeves |
|
Volume 63: Software Clones 2014 |
Preface to the Proceedings of the Eighth International Workshop on Software Clones |
Details
PDF
|
Rainer Koschke, Nils Göde, Yoshiki Higo |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Privacy-Preserving and Scalable Authentication based on Network Connection Traces |
Abstract
PDF
|
David Monschein, Oliver Waldhorst |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques |
Details
PDF
|
Andrew Fish, Leen Lambers |
|
Volume 64: Programming and Computer Languages 2013 |
Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013) |
Abstract
PDF
|
Lars-Åke Fredlund |
|
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 |
Process Evolution based on Transformation of Algebraic High-Level Nets with Applications to Communication Platforms |
Abstract
PDF
|
Karsten Gabriel |
|
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 |
Process Scenarios in Open Source Software Certification |
Abstract
PDF
|
Fabrizio Fabbrini, Mario Fusani, Eda Marchetti |
|
Volume 76: Automated Verification of Critical Systems 2018 (AVoCS 2018) |
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base |
Abstract
PDF
|
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym |
|
Volume 41: Graph Transformation and Visual Modeling Techniques 2011 |
Propagation of Constraints along Model Transformations Based on Triple Graph Grammars |
Abstract
PDF
|
Hartmut Ehrig, Frank Hermann, Hanna Schölzel, Christoph Brandt |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Property Inference-based Federated Learning Groups for Collaborative Network Anomaly Detection |
Abstract
PDF
|
Jens Wettlaufer |
|
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 |
Proving Correctness of Graph Programs Relative to Recursively Nested Conditions |
Abstract
PDF
|
Nils Erik Flick |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Proving Linearizability of Multiset with Local Proof Obligations |
Abstract
PDF
|
Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn |
|
Volume 69: Formal Methods for Interactive Systems 2013 |
PVSio-web: a tool for rapid prototyping device user interfaces in PVS |
Abstract
PDF
|
Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby |
|
Volume 70: Automated Verification of Critical Systems 2014 |
QBF with Soft Variables |
Abstract
PDF
|
Sven Reimer, Matthias Sauer, Paolo Marin, Bernd Becker |
|
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 |
Quality, Success, Communication and Contribution in Open Source Software |
Abstract
PDF
|
Sara Santos Fernandes |
|
Volume 53: Automated Verification of Critical Systems 2012 |
Railway modelling in CSP||B: the double junction case study |
Abstract
PDF
|
Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne, Hoang Nga Nguyen |
|
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) |
Rapid Prototyping of Topology Control Algorithms by Graph Transformation |
Abstract
PDF
|
Géza Kulcsár, Michael Stein, Immanuel Schweizer, Gergely Varró, Max Mühlhäuser, Andy Schürr |
|
Volume 80: Conference on Networked Systems 2021 (NetSys 2021) |
Ray-tracing based Inference Attacks on Physical Layer Security |
Abstract
PDF
|
Paul Walther, Markus Richter, Thorsten Strufe |
|
Volume 70: Automated Verification of Critical Systems 2014 |
Reachability and Reward Checking for Stochastic Timed Automata |
Abstract
PDF
|
Ernst Moritz Hahn, Arnd Hartmanns, Holger Hermanns |
|
Volume 38: International Conference on Graph Transformation 2010 - Doctoral Symposium |
Realizing Impure Functions in Interaction Nets |
Abstract
PDF
|
Eugen Jiresch |
|
Volume 50: Multi-Paradigm Modeling 2011 |
Recent Advances in Multi-Paradigm Modeling |
Abstract
PDF
|
Vasco Amaral, Cécile Hardebolle, Hans Vangheluwe, László Lengyel, Peter Bunus |
|
Volume 54: Graph-Based Tools 2012 |
ReConNet: A Tool for Modeling and Simulating with Reconfigurable Place/Transition Nets |
Abstract
PDF
|
Julia Padberg, Marvin Ede, Gerhard Oelker, Kathrin Hoffmann |
|
Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020) |
ReForm: A Tool for Rapid Requirements Formalization |
Abstract
PDF
|
Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcala, Suresh Veluru, Stylianos Basagiannis |
|
Volume 49: Bidirectional Transformations 2012 |
Relating Algebraic and Coalgebraic Descriptions of Lenses |
Abstract
PDF
|
Jeremy Gibbons, Michael Johnson |
|
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 |
Reliable Multicast in Heterogeneous Mobile Ad-hoc Networks |
Abstract
PDF
|
Peggy Begerow, Sebastian Schellenberg, Jochen Seitz, Thomas Finke, Juergen Schroeder |
|
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 |
Remedy of Mixed Initiative Conflicts in Model-based System Engineering |
Abstract
PDF
|
Fenglin Han, Peter Herrmann |
|
Volume 50: Multi-Paradigm Modeling 2011 |
Reusing Model Transformations across Heterogeneous Metamodels |
Abstract
PDF
|
Manuel Wimmer, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara |
|
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 |
Reusing Semantics in Visual Editors: A Case for Reference Attribute Grammars |
Abstract
PDF
|
Niklas Fors, Görel Hedin |
|
Volume 60: Software Quality and Maintainability 2013 |
Revealing Missing Bug-Fixes in Code Clones in Large-Scale Code Bases |
Abstract
PDF
|
Martin Poehlmann, Elmar Juergens |
|
Volume 66: Automated Verification of Critical Systems 2013 |
Richer Interface Automata with Optimistic and Pessimistic Compatibility |
Abstract
PDF
|
Gerald Lüttgen, Walter Vogler |
|
Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019) |
Rigorous Design of FDIR Systems with BIP |
Abstract
PDF
|
Iulia Dragomir, Saddek Bensalem |
|
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 |
Robust Exploration Strategies for a Robot exploring a Wireless Network |
Abstract
PDF
|
Christian Blum, Verena Vanessa Hafner |
|
Volume 63: Software Clones 2014 |
Robust Parsing of Cloned Token Sequences |
Abstract
PDF
|
Rainer Koschke, Ole Jan Lars Riemann |
|
Volume 34: Software Modeling in Education at MODELS 2010 |
Role Allocation and Scheme in Software Engineering Course Projects |
Abstract
PDF
|
Ghafour Alipour |
|
Volume 40: Petri Nets and Graph Transformations 2010 |
RONs Revisited: General Approach to Model Reconfigurable Object Nets based on Algebraic High-Level Nets |
Abstract
PDF
|
Claudia Ermel, Sarkaft Shareef, Winzent Fischer |
|
721 - 780 of 888 Items |
<< < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |