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.3