Browse Title Index


 
Issue Title
 
Volume 12: Formal Modeling of Adaptive and Mobile Processes On the Modelling of an Agent's Epistemic State and its Dynamic Changes Abstract   PDF
Christoph Beierle, Gabriele Kern-Isberner
 
Volume 12: Formal Modeling of Adaptive and Mobile Processes Preface Details   PDF
Julia Padberg, Kathrin Hoffmann
 
Volume 12: Formal Modeling of Adaptive and Mobile Processes Flexible Modeling of Emergency Scenarios using Reconfigurable Systems Abstract   PDF
Kathrin Hoffmann, Hartmut Ehrig, Julia Padberg
 
Volume 21: Multi-Paradigm Modeling 2009 Preface Details   PDF
Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle
 
Volume 21: Multi-Paradigm Modeling 2009 Concurrent Design of Embedded Control Software Abstract   PDF
Marcel Groothuis, Raymond Frijns, Jeroen Voeten, Jan Broenink
 
Volume 21: Multi-Paradigm Modeling 2009 A practical approach to multi-modeling views composition Abstract   PDF
Andres Yie, Rubby Cassallas, Dirk Deridder, Dennis Wagelaar
 
Volume 21: Multi-Paradigm Modeling 2009 An Architectural Approach to the Design and Analysis of Cyber-Physical Systems Abstract   PDF
Akshay Rajhans, Shang-Wen Cheng, Bradley Schmerl, David Garlan, Bruce H. Krogh, Clarence Agbi, Ajinkya Bhave
 
Volume 21: Multi-Paradigm Modeling 2009 Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models Abstract   PDF
Márk Asztalos, László Lengyel, Tihamér Levendovszky
 
Volume 21: Multi-Paradigm Modeling 2009 Synthesizing Executable Simulations from Structural Models of Component-Based Systems Abstract   PDF
Andreas Schuster, Jonathan Sprinkle
 
Volume 21: Multi-Paradigm Modeling 2009 Systematic Transformation Development Abstract   PDF
Thomas Kühne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, Manuel Wimmer
 
Volume 21: Multi-Paradigm Modeling 2009 Code Generation with the Model Transformation of Visual Behavior Models Abstract   PDF
Tamás Mészáros, Tihamér Levendovszky, Gergely Mezei
 
Volume 21: Multi-Paradigm Modeling 2009 A Pattern-Based Approach to Manage Model References Abstract   PDF
Tarja Systa, Juanjuan Jiang
 
Volume 21: Multi-Paradigm Modeling 2009 DSL Composition for model-based test generation Abstract   PDF
Bruno Fontes Barroca, Levi Silva Lucio, Vasco Moreira Amaral, Luis Miguel Pedro, Didier Buchs
 
Volume 21: Multi-Paradigm Modeling 2009 Modeling and Formal Verification of a Passive Optical Network on Chip Behavior Abstract   PDF
Luiza Gheorghe Iugan, Gabriela Nicolescu, Ian O'Connor
 
Volume 21: Multi-Paradigm Modeling 2009 Model-Based Engineering of Supervisory Controllers using CIF Abstract   PDF
Ramon R.H. Schiffelers, Rolf J.M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Open Source Certification and Educational Process Abstract   PDF
Alexey Khoroshilov
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Automatically Finding Bugs in Open Source Programs Abstract   PDF
Vladimir Nesov
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Understanding how OSS Development Models can influence assessment methods Abstract   PDF
Richard Taylor
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Open-DO: Open Framework for Critical Systems Abstract   PDF
Jose F Ruiz, Cyrille Comar
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Automatic Analysis of Applications for Portability Across Linux Distributions Abstract   PDF
Vladimir Rubanov
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Towards a metric for Open Source Software Quality Abstract   PDF
Siraj Ahmed Shaikh, Antonio Cerone
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Model-based Testing and Analysis of Coordinated Components Abstract   PDF
Gabriel Ciobanu, Dorel Lucanu
 
Volume 20: Foundations and Techniques for Open Source Certification 2009 Preface Details   PDF
Luis Soares Barbosa, Antonio Cerone, Siraj Ahmed Shaikh
 
Volume 23: Automated Verification of Critical Systems 2009 Preface Details   PDF
Markus Roggenbach
 
Volume 23: Automated Verification of Critical Systems 2009 An Extension of the Inverse Method to Probabilistic Timed Automata Abstract   PDF
Étienne André, Jeremy Sproston, Laurent Fribourg
 
Volume 23: Automated Verification of Critical Systems 2009 Faster FDR Counterexample Generation Using SAT-Solving Abstract   PDF
Hristina Palikareva, Joel Ouaknine, Bill Roscoe
 
Volume 23: Automated Verification of Critical Systems 2009 Towards SMV Model Checking of Signal (multi-clocked) Specifications Abstract   PDF
Julio C. Peralta, Thierry Gautier
 
Volume 23: Automated Verification of Critical Systems 2009 Verification of safety requirements for program code using data abstraction Abstract   PDF
Frank Stappers, Michel Reniers
 
Volume 23: Automated Verification of Critical Systems 2009 Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Abstract   PDF
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
 
Volume 23: Automated Verification of Critical Systems 2009 Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS Abstract   PDF
Reynald Affeldt, David Nowak, Kiyoshi Yamada
 
Volume 23: Automated Verification of Critical Systems 2009 A decidable class of verification conditions for programs with higher order store Abstract   PDF
Nathaniel Charlton, Bernhard Reus
 
Volume 23: Automated Verification of Critical Systems 2009 High-level Proofs about Low-level Programs Abstract   PDF
Holger Gast, Julia Trieflinger
 
Volume 23: Automated Verification of Critical Systems 2009 User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential? Abstract   PDF
Christoph Lüth
 
Volume 23: Automated Verification of Critical Systems 2009 A workbench for preprocessor design and evaluation: toward benchmarks for parity games Abstract   PDF
Michael Huth, Nir Piterman, Huaxin Wang
 
Volume 23: Automated Verification of Critical Systems 2009 A coinductive approach to verified exact real number computation Abstract   PDF
Ulrich Berger, Sion Lloyd
 
Volume 23: Automated Verification of Critical Systems 2009 Proofs-as-Programs in Computable Analysis Abstract   PDF
Ulrich Berger
 
Volume 23: Automated Verification of Critical Systems 2009 Mobile CSP||B Abstract   PDF
Beeta Vajar, Steve Schneider, Helen Treharne
 
Volume 23: Automated Verification of Critical Systems 2009 Automatically Generating CSP Models for Communicating Haskell Processes Abstract   PDF
Neil Christopher Charles Brown
 
Volume 22: Formal Methods for Interactive Systems 2009 UI-Design Driven Model-Based Testing Abstract   PDF
Judy Bowen, Steve Reeves
 
Volume 22: Formal Methods for Interactive Systems 2009 Towards the Verification of Pervasive Systems Abstract   PDF
Myrto Arapinis, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Alice Miller, Eike Ritter, Mark Ryan, Sven Schewe, Chris Unsworth, Rehana Yasmin
 
Volume 22: Formal Methods for Interactive Systems 2009 Tightly coupled verification of pervasive systems Abstract   PDF
Muffy Calder, Phil Gray, Chris Unsworth
 
Volume 22: Formal Methods for Interactive Systems 2009 Markov Abstractions for Probabilistic Pi-Calculus Abstract   PDF
Hugh Anderson, Gabriel Ciobanu
 
Volume 22: Formal Methods for Interactive Systems 2009 A Logical Framework for Trust-Related Emotions Abstract   PDF
Jean-François Bonnefon, Dominique Longin, Manh Hung Nguyen
 
Volume 22: Formal Methods for Interactive Systems 2009 Preface Details   PDF
Michael Harrison, Mieke Massink
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Requirements Analysis for an Integrated OCL Development Environment Abstract   PDF
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 A MOP Based DSL for Testing Java Programs using OCL Abstract   PDF
Tony Clark
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Checking Unsatisfiability for OCL Constraints Abstract   PDF
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Declarative Models for Business Processes and UI Generation using OCL Abstract   PDF
Jens Brüning, Andreas Wolff
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Specifying OCL Constraints on Process Instantiations Abstract   PDF
Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 OCL contracts for the verification of model transformations Abstract   PDF
Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009 Details   PDF
Jordi Cabot, Joanna Chimiak-Opoka, Martin Gogolla, Frederic Jouault, Alexander Knapp
 
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009 Generation of Formal Model Metrics for MOF based Domain Specific Languages Abstract   PDF
Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner
 
Volume 25: Visual Formalisms for Patterns 2009 Preface of the Workshop on Visual Formalisms for Patterns, VFfP'09 Details   PDF
Paolo Bottoni, Esther Guerra, Juan de Lara
 
Volume 25: Visual Formalisms for Patterns 2009 Visualization of Business Process Modeling Anti Patterns Abstract   PDF
Ralf Laue, Ahmed Awad
 
Volume 25: Visual Formalisms for Patterns 2009 Towards Generalizing Visual Process Patterns Abstract   PDF
Christian Soltenborn, Gregor Engels
 
Volume 25: Visual Formalisms for Patterns 2009 Design Pattern Modeling with Constraint Relaxation Abstract   PDF
Tamas Vajk, Tamas Meszaros, Tihamer Levendovszky
 
Volume 25: Visual Formalisms for Patterns 2009 Pattern-Based Layout Specifications for Visual Language Editors Abstract   PDF
Sonja Maier, Mark Minas
 
Volume 25: Visual Formalisms for Patterns 2009 Patterns as Abstractions of Spatial Axes Abstract   PDF
Jens Gulden
 
Volume 25: Visual Formalisms for Patterns 2009 An Active Pattern Infrastructure for Domain-Specific Languages Abstract   PDF
Tihamer Levendovszky, Gabor Karsai
 
Volume 25: Visual Formalisms for Patterns 2009 Pattern Catalogs using the Pattern Language Meta Language Abstract   PDF
Andreas Wolff, Peter Forbrig
 
241 - 300 of 777 Items << < 1 2 3 4 5 6 7 8 9 10 11 12 13 > >>