|
Issue |
Title |
|
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 |
|
Volume 25: Visual Formalisms for Patterns 2009 |
The Pattern Instance Notation: A Simple Hierarchical Visual Notation for the Dynamic Visualization and Comprehension of Software Patterns |
Abstract
PDF
|
Jason McColm Smith |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Parallelism and Concurrency Theorems for Rules with Nested Application Conditions |
Abstract
PDF
|
Hartmut Ehrig, Annegret Habel, Leen Lambers |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
On Judgements and Propositions |
Abstract
PDF
|
Bernd Mahr |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Conditional Adaptive Star Grammars |
Abstract
PDF
|
Berthold Hoffmann |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Lifting Parallel Graph Transformation Concepts to Model Transformation based on the Eclipse Modeling Framework |
Abstract
PDF
|
Enrico Biermann, Claudia Ermel, Gabriele Taentzer |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Autonomous Units for Solving the Capacitated Vehicle Routing Problem Based on Ant Colony Optimization |
Abstract
PDF
|
Sabine Kuske, Melanie Luderer |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Generation of Celtic Key Patterns with Tree-based Collage Grammars |
Abstract
PDF
|
Renate Klempien-Hinrichs, Caroline von Totth |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Assemblies as Graph Processes |
Abstract
PDF
|
Dirk Janssens |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Algebraic Model Checking |
Abstract
PDF
|
Peter Padawitz |
|
Volume 26: Manipulation of Graphs, Algebras and Pictures |
Towards the Tree Automata Workbench Marbles |
Abstract
PDF
|
Frank Drewes |
|
1 - 60 of 888 Items |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 > >> |