Browse Title Index


 
Issue Title
 
Volume 53: Automated Verification of Critical Systems 2012 Model Checking Algorithms for Markov Automata Abstract   PDF
Hassan Hatefi, Holger Hermanns
 
Volume 70: Automated Verification of Critical Systems 2014 Model Checking C++ with Exceptions Abstract   PDF
Petr Ročkai, Jiří Barnat, Luboš Brim
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO Abstract   PDF
Alexander Heußner
 
Volume 52: Software Modeling in Education 2011 Model Correctness Patterns as an Educational Instrument Abstract   PDF
Azzam Maraee, Mira Balaban, Arnon Strum, Adiel Ashrov
 
Volume 50: Multi-Paradigm Modeling 2011 Model-Based Engineering for the support of Models of Computation: The Cometa Approach Abstract   PDF
Papa Issa Diallo
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Model-based WCET Analysis with Invariants Abstract   PDF
Bojan Nokovic, Emil Sekerinski
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Modeling context with graph annotations Abstract   PDF
Paolo Bottoni, Francesco Parisi-Presicce
 
Volume 44: OCL and Textual Modelling 2011 Modeling the OCL Standard Library Abstract   PDF
Edward Daniel Willink
 
Volume 67: Proc. of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014) Modelling Adaptive Networks: The Case of the Petrified Voters Abstract   PDF
Mudhafar Hussein, Reiko Heckel, Vincent Danos, Pawel Sobocinski
 
Volume 45: Formal Methods for Interactive Systems 2011 Modelling and analysing the interactive behaviour of an infusion pump Abstract   PDF
Jose Creissac Campos, Michael Harrison
 
Volume 42: Multi-Paradigm Modeling 2010 Modelling- and Simulation-Based Design of Multi-tier Systems Abstract   PDF
Kamal Zellag, Hans Vangheluwe
 
Volume 53: Automated Verification of Critical Systems 2012 Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 Abstract   PDF
Jeroen J. A. Keiren, Martijn D. Klabbers
 
Volume 45: Formal Methods for Interactive Systems 2011 Modelling Distributed Cognition Systems in PVS Abstract   PDF
Paolo Masci, Paul Curzon, Ann Blandford, Dominic Furniss
 
Volume 40: Petri Nets and Graph Transformations 2010 Modelling Emergency Scenarios using Algebraic High Level Net Transformation Systems with Net Patterns Abstract   PDF
Frank Trollmann, Maximilian Kern, Sahin Albayrak
 
Volume 54: Graph-Based Tools 2012 ModGraph - Generating Executable EMF Models Abstract   PDF
Sabine Winetzhammer
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 ModGraph meets Xcore: Combining Rule-Based and Procedural Behavioral Modeling for EMF Abstract   PDF
Sabine Winetzhammer, Bernhard Westfechtel
 
Volume 58: Graph Transformation and Visual Modeling Techniques 2013 Monitor-Oriented Compensation Programming Through Compensating Automata Abstract   PDF
Christian Colombo, Gordon J Pace
 
Volume 71: Graph Computation Models 2014 More on Graph Rewriting With Contextual Refinement Abstract   PDF
Berthold Hoffmann
 
Volume 42: Multi-Paradigm Modeling 2010 MPM 2010 Preface Details   PDF
Vasco Amaral, Hans Vangheluwe, Cecile Hardebolle, Lengyel Laszlo
 
Volume 53: Automated Verification of Critical Systems 2012 Multi-core and/or Symbolic Model Checking Abstract   PDF
Tom van Dijk, Alfons Laarman, Jaco van de Pol
 
Volume 34: Software Modeling in Education at MODELS 2010 New Media in Teaching UML in the Large — an Experience Report Abstract   PDF
Marion Brandsteidl, Konrad Wieland, Christian Huemer
 
Volume 68: Proceedings of the 8th International Workshop on Graph-Based Tools (GraBaTs 2014) Non-Deterministic Matching Algorithm for Net Transformations Abstract   PDF
Julia Padberg, Mathias Blumreiter
 
Volume 49: Bidirectional Transformations 2012 Observations relating to the equivalences induced on model sets by bidirectional transformations Abstract   PDF
Perdita Stevens
 
Volume 44: OCL and Textual Modelling 2011 OCL Tools Report based on the IDE4OCL Feature Model Abstract   PDF
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Andreas Awenius, Dan Chiorean, Sebastien Gabel, Lars Hamann, Edward Willink
 
Volume 44: OCL and Textual Modelling 2011 OCL-based Runtime Monitoring of JVM hosted Applications Abstract   PDF
Lars Hamann, Martin Gogolla, Mirco Kuhlmann
 
Volume 45: Formal Methods for Interactive Systems 2011 On formalising interactive number entry on infusion pumps Abstract   PDF
Paolo Masci, Rimvydas Ruksenas, Patrick Oladimeji, Abigail Cauchi, Andy Gimblett, Yunqiu Li, Paul Curzon, Harold Thimbleby
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 On Modelling Communication in Ubiquitous Computing Systems using Algebraic Higher Order Nets Abstract   PDF
Susann Gottmann, Nico Nachtigall, Kathrin Hoffmann
 
Volume 57: Bidirectional Transformations 2013 On Propagation-Based Concurrent Model Synchronization Abstract   PDF
Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 On Single-Pushout Rewriting of Partial Algebras Abstract   PDF
Michael Löwe, Marius Tempelmeier
 
Volume 60: Software Quality and Maintainability 2013 On Software Quality-motivated Design of a Real-time Framework for Complex Robot Control Systems Abstract   PDF
Max Reichardt, Tobias Föhst, Karsten Berns
 
Volume 64: Programming and Computer Languages 2013 On the decidability of model checking LTL fragments in monotonic extensions of Petri nets Abstract   PDF
María Martos-Salgado, Fernando Rosa-Velardo
 
Volume 66: Automated Verification of Critical Systems 2013 On the Efficiency of Deciding Probabilistic Automata Weak Bisimulation Abstract   PDF
Vahid Hashemi, Holger Hermanss, Andrea Turrini
 
Volume 70: Automated Verification of Critical Systems 2014 On the Random Structure of Behavioural Transition Systems Abstract   PDF
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
 
Volume 66: Automated Verification of Critical Systems 2013 On the Satisfiability of Metric Temporal Logics over the Reals Abstract   PDF
Marcello Maria Bersani, Matteo G. Rossi, Pierluigi San Pietro
 
Volume 42: Multi-Paradigm Modeling 2010 On the Unification of Megamodels Abstract   PDF
Regina Hebig, Andreas Seibel, Holger Giese
 
Volume 62: Specification, Transformation, Navigation - Special Issue Dedicated to Bernd Krieg-Brückner On the whereabouts of CSP-CASL – A survey Abstract   PDF
Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 Optimization in Graph Transformation Systems with Time Using Petri Net Based Techniques Abstract   PDF
Szilvia Varró-Gyapay
 
Volume 53: Automated Verification of Critical Systems 2012 Optimized Transformation and Verification of SystemC Methods Abstract   PDF
Marcel Pockrandt, Paula Herber, Holger Gross, Sabine Glesner
 
Volume 47: Graph Transformation and Visual Modeling Techniques 2012 Optimizing Model-Based Software Product Line Testing with Graph Transformations Abstract   PDF
Anthony Anjorin, Sebastian Oster, Ivan Zoric, Andy Schürr
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Overview of Hybrid MANET-DTN Networking and its Potential for Emergency Response Operations Abstract   PDF
Christian Raffelsberger, Hermann Hellwagner
 
Volume 73: Graph Computation Models - Selected Revised Papers from GCM 2015 Parallel Evaluation of Interaction Nets: Case Studies and Experiments Abstract   PDF
Ian Mackie, Shinya Sato
 
Volume 61: Graph Computation Models 2012 Parallel Graph Grammars with Instantiation Rules Allow Efficient Structural Factorization of Virtual Vegetation Abstract   PDF
Katarína Smoleňová, Winfried Kurth, Paul-Henry Cournède
 
Volume 70: Automated Verification of Critical Systems 2014 Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors Abstract   PDF
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
 
Volume 72: Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015) Permissive strategies in timed automata and games Abstract   PDF
Patricia Bouyer, Erwin Fang, Nicolas Markey
 
Volume 34: Software Modeling in Education at MODELS 2010 Position Paper: m2n—A Tool for Translating Models to Natural Language Descriptions Abstract   PDF
Petra Brosch, Andrea Randak
 
Volume 52: Software Modeling in Education 2011 Position Paper: Software Modeling Education Abstract   Untitled ()   PDF
Martina Seidl, Peter J. Clarke
 
Volume 46: Automated Verification of Critical Systems 2011 Positioning Verfification in the Context of Software/System Certification Abstract   PDF
Marc Bender, Tom Maibaum, Mark Lawford, Alan Wassyng
 
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 46: Automated Verification of Critical Systems 2011 Preface Details   PDF
Alexander Romanovsky, Cliff Jones, Jens Bendiposto, Michael Leuschel
 
Volume 51: Petri Nets, Graph Transformation and other Concurrency Formalisms 2012 Preface Details   PDF
Julia Padberg, Kathrin Hoffmann
 
Volume 53: Automated Verification of Critical Systems 2012 Preface Details   PDF
Gerald Lüttgen, Stephan Merz
 
Volume 48: Foundations and Techniques for Open Source Software Certification 2011 Preface Details   PDF
Luis Barbosa, Dimitrios Settas
 
Volume 56: Self-org., Adaptive, Context-Sens. Distributed Systems / Self-org. Communication in Disaster Scen. 2013 Preface Abstract   PDF
Michael Zapf, Florian Evers
 
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
 
601 - 660 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>