MODELS 2015
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
Powered by
Conference Publishing Consulting

2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada

MODELS 2015 – Author Index

Contents - Abstracts - Authors

A B C D E F G H I J K L M N O P R S T V W Y Z

Aalst, Wil M. P. van der MODELS '15-FOUND: "Process Mining in Software ..."
Ali, Shaukat MODELS '15-MEIP: "Formalizing the ISO/IEC/IEEE ..."
Almorsy, Mohamed MODELS '15-FOUND: "Integrating Goal-Oriented ..."
Amálio, Nuno MODELS '15-FOUND: "Fragmenta: A Theory of Fragmentation ..."
Atkinson, Colin MODELS '15-FOUND: "A Unifying Approach to Connections ..."
Auguston, Mikhail MODELS '15-SOSYM: "Formalizing and Verifying ..."
Babau, Jean-Philippe MODELS '15-MEIP: "Improving Reuse by means of ..."
Barat, Souvik MODELS '15-MEIP: "Toward Overcoming Accidental ..."
Barn, Balbir MODELS '15-MEIP: "Toward Overcoming Accidental ..."
Bastarrica, María Cecilia MODELS '15-MEIP: "A Megamodel for Software Process ..."
Basten, Twan MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Breu, Ruth MODELS '15-SOSYM: "A Situational Method for Semi-automated ..."
Briand, Lionel C. MODELS '15-FOUND: "A Model-Based Framework for ..." MODELS '15-MEIP: "Applying Product Line Use ..."
Burgueño, Loli MODELS '15-FOUND: "Employing Classifying Terms ..."
Caivano, Danilo MODELS '15-FOUND: "On the Use of UML Documentation ..."
Chaudron, Michel R. V. MODELS '15-FOUND: "On the Use of UML Documentation ..."
Chechik, Marsha MODELS '15-FOUND: "Enriching Megamodel Management ..."
Chen, Tieming MODELS '15-SOSYM: "Formalizing and Verifying ..."
Clark, Tony MODELS '15-MEIP: "Toward Overcoming Accidental ..."
Combemale, Benoit MODELS '15-FOUND: "A Behavioral Coordination ..."
Conte, Tayana MODELS '15-FOUND: "A Controlled Experiment with ..."
Cordy, James R. MODELS '15-FOUND: "Identification of Simulink ..."
Czarnecki, Krzysztof MODELS '15-FOUND: "Performance Prediction upon ..."
Das, Tuhin Kanti MODELS '15-FOUND: "State Machine Antipatterns ..."
DeAntoni, Julien MODELS '15-FOUND: "A Behavioral Coordination ..."
De Lara, Juan MODELS '15-FOUND: "Quick Fixing ATL Model Transformations ..." MODELS '15-FOUND: "Fragmenta: A Theory of Fragmentation ..." MODELS '15-FOUND: "A-posteriori Typing for Model-Driven ..." MODELS '15-FOUND: "Pattern-Based Development ..."
Dévai, Gergely MODELS '15-FOUND: "Textual Diagram Layout Language ..."
Diaz-Pace, J. Andrés MODELS '15-SOSYM: "Identifying Duplicate Functionality ..."
Dingel, Juergen MODELS '15-FOUND: "Incremental Symbolic Execution ..." MODELS '15-FOUND: "State Machine Antipatterns ..."
Di Sandro, Alessio MODELS '15-FOUND: "Enriching Megamodel Management ..."
Dobreff, András MODELS '15-FOUND: "Textual Diagram Layout Language ..."
Dong, Jin Song MODELS '15-SOSYM: "Formalizing and Verifying ..."
Drechsler, Rolf MODELS '15-FOUND: "Checking Concurrent Behavior ..."
Drira, Khalil MODELS '15-SOSYM: "Enhanced Graph Rewriting Systems ..."
Dumoulin, Cédric MODELS '15-FOUND: "Enhancing the Communication ..."
Easterbrook, Steve MODELS '15-KEYNOTES: "Modelling the Climate System: ..."
Eder, Klaus MODELS '15-MEIP: "Feature Modeling of Two Large-Scale ..."
Eichler, Cédric MODELS '15-SOSYM: "Enhanced Graph Rewriting Systems ..."
Elaasar, Maged MODELS '15-MEIP: "Systematic Generation of Standard ..."
El Ahmar, Yosser MODELS '15-FOUND: "Enhancing the Communication ..."
Etzlstorfer, Jürgen MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Farwick, Matthias MODELS '15-SOSYM: "A Situational Method for Semi-automated ..."
Fernández-Sáez, Ana M. MODELS '15-FOUND: "On the Use of UML Documentation ..."
Fischmeister, Sebastian MODELS '15-FOUND: "Performance Prediction upon ..."
Fouché, Alexis MODELS '15-MEIP: "Systematic Generation of Standard ..."
Fouquet, Francois MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Garmendia, Antonio MODELS '15-FOUND: "Pattern-Based Development ..."
Geilen, Marc MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Genero, Marcela MODELS '15-FOUND: "On the Use of UML Documentation ..."
Gérard, Sébastien MODELS '15-FOUND: "Enhancing the Communication ..." MODELS '15-MEIP: "Systematic Generation of Standard ..."
Gerbig, Ralph MODELS '15-FOUND: "A Unifying Approach to Connections ..."
Gogolla, Martin MODELS '15-FOUND: "Extracting Frame Conditions ..." MODELS '15-FOUND: "Employing Classifying Terms ..."
Goknil, Arda MODELS '15-MEIP: "Applying Product Line Use ..."
Greenyer, Joel MODELS '15-FOUND: "Synthesizing Tests for Combinatorial ..."
Gregorics, Balázs MODELS '15-FOUND: "Textual Diagram Layout Language ..."
Gregorics, Tibor MODELS '15-FOUND: "Textual Diagram Layout Language ..."
Greifenberg, Timo MODELS '15-FOUND: "Engineering Tagging Languages ..."
Grieco, Alfredo MODELS '15-SOSYM: "Enhanced Graph Rewriting Systems ..."
Grünbacher, Paul MODELS '15-MEIP: "Feature Modeling of Two Large-Scale ..."
Grundy, John MODELS '15-FOUND: "Integrating Goal-Oriented ..."
Guerra, Esther MODELS '15-FOUND: "Quick Fixing ATL Model Transformations ..." MODELS '15-FOUND: "Fragmenta: A Theory of Fragmentation ..." MODELS '15-FOUND: "A-posteriori Typing for Model-Driven ..." MODELS '15-FOUND: "Pattern-Based Development ..."
Hajri, Ines MODELS '15-MEIP: "Applying Product Line Use ..."
Hanschke, Inge MODELS '15-SOSYM: "A Situational Method for Semi-automated ..."
Hartmann, Thomas MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Heyman, Thomas MODELS '15-FOUND: "SoSPa: A System of Security ..."
Hilken, Christoph MODELS '15-FOUND: "Checking Concurrent Behavior ..."
Hilken, Frank MODELS '15-FOUND: "Extracting Frame Conditions ..." MODELS '15-FOUND: "Employing Classifying Terms ..."
Hölldobler, Katrin MODELS '15-FOUND: "Systematically Deriving Domain-Specific ..."
Iftikhar, Sidra MODELS '15-MEIP: "An Automated Model Based Testing ..."
Iqbal, Muhammad Zohaib MODELS '15-MEIP: "An Automated Model Based Testing ..."
Jacobs, Johan MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Kapsammer, Elisabeth MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Kerboeuf, Mickaël MODELS '15-MEIP: "Improving Reuse by means of ..."
Ketata, Aymen MODELS '15-FOUND: "Performance Prediction upon ..."
Khalil, Amal MODELS '15-FOUND: "Incremental Symbolic Execution ..."
Khan, Muhammad Uzair MODELS '15-MEIP: "An Automated Model Based Testing ..."
Kholkar, Deepali MODELS '15-MEIP: "Model-Driven Regulatory Compliance: ..."
Kienzle, Jörg MODELS '15-FOUND: "Concern-Oriented Interfaces ..."
Klein, Jacques MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "SoSPa: A System of Security ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Kokaly, Sahar MODELS '15-FOUND: "Enriching Megamodel Management ..."
Kovács, Gábor Ferenc MODELS '15-FOUND: "Textual Diagram Layout Language ..."
Křikava, Filip MODELS '15-FOUND: "Infrastructure as Runtime ..."
Kühne, Thomas MODELS '15-FOUND: "A Unifying Approach to Connections ..."
Kulkarni, Vinay MODELS '15-MEIP: "Model-Driven Regulatory Compliance: ..." MODELS '15-MEIP: "Toward Overcoming Accidental ..."
Kusel, Angelika MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Leemans, Maikel MODELS '15-FOUND: "Process Mining in Software ..."
Le Pallec, Xavier MODELS '15-FOUND: "Enhancing the Communication ..."
Le Traon, Yves MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "SoSPa: A System of Security ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Lettner, Daniela MODELS '15-MEIP: "Feature Modeling of Two Large-Scale ..."
Liang, Jia MODELS '15-FOUND: "Performance Prediction upon ..."
Liu, Yang MODELS '15-SOSYM: "Formalizing and Verifying ..."
Look, Markus MODELS '15-FOUND: "Engineering Tagging Languages ..."
Lúcio, Levi MODELS '15-FOUND: "Fully Verifying Transformation ..."
Lüddecke, Daniel MODELS '15-MEIP: "Modeling User Intentions for ..."
Macias, Fernando MODELS '15-FOUND: "A Statistical Analysis Approach ..."
Mahmood, Wardah MODELS '15-MEIP: "An Automated Model Based Testing ..."
Mallet, Frédéric MODELS '15-FOUND: "A Behavioral Coordination ..."
Maoz, Shahar MODELS '15-FOUND: "A Framework for Relating Syntactic ..."
Marcos, Claudia MODELS '15-SOSYM: "Identifying Duplicate Functionality ..."
Marczak, Sabrina MODELS '15-FOUND: "A Controlled Experiment with ..."
Martin, Kevin J. M. MODELS '15-MEIP: "Improving Reuse by means of ..."
Moawad, Assaad MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Montaghami, Vajih MODELS '15-FOUND: "Pattern-Based Debugging of ..."
Monteil, Thierry MODELS '15-SOSYM: "Enhanced Graph Rewriting Systems ..."
Moreno, Carlos MODELS '15-FOUND: "Performance Prediction upon ..."
Murphy, Gail MODELS '15-KEYNOTES: "Software Supply Chains (Keynote) ..."
Nain, Gregory MODELS '15-FOUND: "Beyond Discrete Modeling: ..." MODELS '15-FOUND: "Stream my Models: Reactive ..."
Nguyen, Phu H. MODELS '15-FOUND: "SoSPa: A System of Security ..."
Nguyen, Tuong Huan MODELS '15-FOUND: "Integrating Goal-Oriented ..."
Niemann, Philipp MODELS '15-FOUND: "Extracting Frame Conditions ..."
Noyrit, Florian MODELS '15-MEIP: "Systematic Generation of Standard ..."
Oakes, Bentley James MODELS '15-FOUND: "Fully Verifying Transformation ..."
Oran, Ana Carolina MODELS '15-FOUND: "A Controlled Experiment with ..."
Panzica La Manna, Valerio MODELS '15-FOUND: "Synthesizing Tests for Combinatorial ..."
Peleska, Jan MODELS '15-FOUND: "Checking Concurrent Behavior ..."
Perovich, Daniel MODELS '15-MEIP: "A Megamodel for Software Process ..."
Pescador, Ana MODELS '15-FOUND: "Pattern-Based Development ..."
Prähofer, Herbert MODELS '15-MEIP: "Feature Modeling of Two Large-Scale ..."
Przigoda, Nils MODELS '15-FOUND: "Checking Concurrent Behavior ..."
Rabelo, Jacilane MODELS '15-FOUND: "A Controlled Experiment with ..."
Rago, Alejandro MODELS '15-SOSYM: "Identifying Duplicate Functionality ..."
Rayside, Derek MODELS '15-FOUND: "Pattern-Based Debugging of ..."
Reniers, Michel MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Retschitzegger, Werner MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Ringert, Jan Oliver MODELS '15-FOUND: "A Framework for Relating Syntactic ..."
Rodriguez-Echeverria, Roberto MODELS '15-FOUND: "A Statistical Analysis Approach ..."
Roidl, Sebastian MODELS '15-FOUND: "Engineering Tagging Languages ..."
Rouvoy, Romain MODELS '15-FOUND: "Infrastructure as Runtime ..."
Rumpe, Bernhard MODELS '15-FOUND: "Engineering Tagging Languages ..." MODELS '15-FOUND: "Systematically Deriving Domain-Specific ..."
S, Ramesh MODELS '15-KEYNOTES: "Automobile: Aircraft or Smartphone? ..."
Sabetzadeh, Mehrdad MODELS '15-FOUND: "A Model-Based Framework for ..."
Salay, Rick MODELS '15-FOUND: "Enriching Megamodel Management ..."
Sánchez Cuadrado, Jesús MODELS '15-FOUND: "Quick Fixing ATL Model Transformations ..." MODELS '15-FOUND: "A-posteriori Typing for Model-Driven ..." MODELS '15-FOUND: "Pattern-Based Development ..."
Sanden, Bram van der MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Sannier, Nicolas MODELS '15-FOUND: "A Model-Based Framework for ..."
Scandariato, Riccardo MODELS '15-FOUND: "SoSPa: A System of Security ..."
Schaefer, Ina MODELS '15-MEIP: "Modeling User Intentions for ..."
Schiffelers, Ramon MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Schneider, Jens MODELS '15-MEIP: "Modeling User Intentions for ..."
Schönböck, Johannes MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Schöttle, Matthias MODELS '15-FOUND: "Concern-Oriented Interfaces ..."
Schweda, Christian M. MODELS '15-SOSYM: "A Situational Method for Semi-automated ..."
Schwinger, Wieland MODELS '15-FOUND: "Consistent Co-Evolution of ..."
Segall, Itai MODELS '15-FOUND: "Synthesizing Tests for Combinatorial ..."
Seidl, Christoph MODELS '15-MEIP: "Modeling User Intentions for ..."
Seinturier, Lionel MODELS '15-FOUND: "Infrastructure as Runtime ..."
Silvestre, Luis MODELS '15-MEIP: "A Megamodel for Software Process ..."
Simmonds, Jocelyn MODELS '15-MEIP: "A Megamodel for Software Process ..."
Soltana, Ghanem MODELS '15-FOUND: "A Model-Based Framework for ..."
Stephan, Matthew MODELS '15-FOUND: "Identification of Simulink ..."
Stephany, Thierry MODELS '15-MEIP: "Applying Product Line Use ..."
Stolf, Patricia MODELS '15-SOSYM: "Enhanced Graph Rewriting Systems ..."
Sun, Jun MODELS '15-SOSYM: "Formalizing and Verifying ..."
Sunkle, Sagar MODELS '15-MEIP: "Model-Driven Regulatory Compliance: ..."
Szvetits, Michael MODELS '15-FOUND: "Reusable Event Types for Models ..."
Troya, Javier MODELS '15-FOUND: "Fully Verifying Transformation ..."
Valentim, Natasha M. Costa MODELS '15-FOUND: "A Controlled Experiment with ..."
Vallecillo, Antonio MODELS '15-FOUND: "Employing Classifying Terms ..."
Vallejo, Paola MODELS '15-MEIP: "Improving Reuse by means of ..."
Vara Larsen, Matias Ezequiel MODELS '15-FOUND: "A Behavioral Coordination ..."
Voeten, Jeroen MODELS '15-MEIP: "Modular Model-Based Supervisory ..."
Weisemöller, Ingo MODELS '15-FOUND: "Systematically Deriving Domain-Specific ..."
Wille, Robert MODELS '15-FOUND: "Checking Concurrent Behavior ..." MODELS '15-FOUND: "Extracting Frame Conditions ..."
Wimmer, Manuel MODELS '15-FOUND: "Fully Verifying Transformation ..."
Yskout, Koen MODELS '15-FOUND: "SoSPa: A System of Security ..."
Yue, Tao MODELS '15-MEIP: "Formalizing the ISO/IEC/IEEE ..."
Zdun, Uwe MODELS '15-FOUND: "Reusable Event Types for Models ..."

167 authors

proc time: 0.49