MODELS 2015 – Author Index

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: "Process Mining in Software ..." Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems Maikel Leemans and Wil M. P. van der Aalst (Eindhoven University of Technology, Netherlands) @InProceedings{MODELS15p47, author = {Maikel Leemans and Wil M. P. van der Aalst}, title = {Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2015}, } Article: models15found-foundp026-p doi:
	Ali, Shaukat	MODELS '15: "Formalizing the ISO/IEC/IEEE ..." Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard Shaukat Ali and Tao Yue (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{MODELS15p417, author = {Shaukat Ali and Tao Yue}, title = {Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {417-416}, doi = {}, year = {2015}, } Article: models15meip-meipp030-p doi:
	Almorsy, Mohamed	MODELS '15: "Integrating Goal-Oriented ..." Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy (Swinburne University of Technology, Australia) @InProceedings{MODELS15p347, author = {Tuong Huan Nguyen and John Grundy and Mohamed Almorsy}, title = {Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {347-346}, doi = {}, year = {2015}, } Article: models15found-foundp162-p doi:
	Amálio, Nuno	MODELS '15: "Fragmenta: A Theory of Fragmentation ..." Fragmenta: A Theory of Fragmentation for MDE Nuno Amálio, Juan de Lara, and Esther Guerra (University of York, UK; Autonomous University of Madrid, Spain) @InProceedings{MODELS15p117, author = {Nuno Amálio and Juan de Lara and Esther Guerra}, title = {Fragmenta: A Theory of Fragmentation for MDE}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {117-116}, doi = {}, year = {2015}, } Article: models15found-foundp051-p doi:
	Atkinson, Colin	MODELS '15: "A Unifying Approach to Connections ..." A Unifying Approach to Connections for Multi-Level Modeling Colin Atkinson, Ralph Gerbig, and Thomas Kühne (University of Mannheim, Germany; Victoria University of Wellington, New Zealand) @InProceedings{MODELS15p227, author = {Colin Atkinson and Ralph Gerbig and Thomas Kühne}, title = {A Unifying Approach to Connections for Multi-Level Modeling}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {227-226}, doi = {}, year = {2015}, } Article: models15found-foundp109-p doi:
	Auguston, Mikhail	MODELS '15: "Formalizing and Verifying ..." Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract) Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen (Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China) @InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, } Article: models15sosym-j4-p doi:
	Babau, Jean-Philippe	MODELS '15: "Improving Reuse by means of ..." Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau (University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France) @InProceedings{MODELS15p377, author = {Paola Vallejo and Mickaël Kerboeuf and Kevin J. M. Martin and Jean-Philippe Babau}, title = {Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2015}, } Article: models15meip-meipp010-p doi:
	Barat, Souvik	MODELS '15: "Toward Overcoming Accidental ..." Toward Overcoming Accidental Complexity in Organisational Decision-Making Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn (Tata Consultancy Services, India; Middlesex University, UK) @InProceedings{MODELS15p387, author = {Vinay Kulkarni and Souvik Barat and Tony Clark and Balbir Barn}, title = {Toward Overcoming Accidental Complexity in Organisational Decision-Making}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {387-386}, doi = {}, year = {2015}, } Article: models15meip-meipp012-p doi:
	Barn, Balbir	MODELS '15: "Toward Overcoming Accidental ..." Toward Overcoming Accidental Complexity in Organisational Decision-Making Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn (Tata Consultancy Services, India; Middlesex University, UK) @InProceedings{MODELS15p387, author = {Vinay Kulkarni and Souvik Barat and Tony Clark and Balbir Barn}, title = {Toward Overcoming Accidental Complexity in Organisational Decision-Making}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {387-386}, doi = {}, year = {2015}, } Article: models15meip-meipp012-p doi:
	Bastarrica, María Cecilia	MODELS '15: "A Megamodel for Software Process ..." A Megamodel for Software Process Line Modeling and Evolution Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre (University of Chile, Chile) @InProceedings{MODELS15p427, author = {Jocelyn Simmonds and Daniel Perovich and María Cecilia Bastarrica and Luis Silvestre}, title = {A Megamodel for Software Process Line Modeling and Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {427-426}, doi = {}, year = {2015}, } Article: models15meip-meipp035-p doi:
	Basten, Twan	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Breu, Ruth	MODELS '15: "A Situational Method for Semi-automated ..." A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract) Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke (University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany) @InProceedings{MODELS15p487, author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke}, title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2015}, } Article: models15sosym-j3-p doi:
	Briand, Lionel C.	MODELS '15: "A Model-Based Framework for ..." A Model-Based Framework for Probabilistic Simulation of Legal Policies Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p77, author = {Ghanem Soltana and Nicolas Sannier and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {A Model-Based Framework for Probabilistic Simulation of Legal Policies}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {77-76}, doi = {}, year = {2015}, } Article: models15found-foundp040-p doi: MODELS '15: "Applying Product Line Use ..." Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany (University of Luxembourg, Luxembourg; IEE, Luxembourg) @InProceedings{MODELS15p357, author = {Ines Hajri and Arda Goknil and Lionel C. Briand and Thierry Stephany}, title = {Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {357-356}, doi = {}, year = {2015}, } Article: models15meip-meipp003-p doi:
	Burgueño, Loli	MODELS '15: "Employing Classifying Terms ..." Employing Classifying Terms for Testing Model Transformations Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken (University of Bremen, Germany; University of Málaga, Spain) @InProceedings{MODELS15p327, author = {Martin Gogolla and Antonio Vallecillo and Loli Burgueño and Frank Hilken}, title = {Employing Classifying Terms for Testing Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2015}, } Article: models15found-foundp153-p doi:
	Caivano, Danilo	MODELS '15: "On the Use of UML Documentation ..." On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron (University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p307, author = {Ana M. Fernández-Sáez and Danilo Caivano and Marcela Genero and Michel R. V. Chaudron}, title = {On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {307-306}, doi = {}, year = {2015}, } Article: models15found-foundp145-p doi:
	Chaudron, Michel R. V.	MODELS '15: "On the Use of UML Documentation ..." On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron (University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p307, author = {Ana M. Fernández-Sáez and Danilo Caivano and Marcela Genero and Michel R. V. Chaudron}, title = {On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {307-306}, doi = {}, year = {2015}, } Article: models15found-foundp145-p doi:
	Chechik, Marsha	MODELS '15: "Enriching Megamodel Management ..." Enriching Megamodel Management with Collection-Based Operators Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik (University of Toronto, Canada; McMaster University, Canada) @InProceedings{MODELS15p247, author = {Rick Salay and Sahar Kokaly and Alessio Di Sandro and Marsha Chechik}, title = {Enriching Megamodel Management with Collection-Based Operators}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {247-246}, doi = {}, year = {2015}, } Article: models15found-foundp116-p doi:
	Chen, Tieming	MODELS '15: "Formalizing and Verifying ..." Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract) Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen (Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China) @InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, } Article: models15sosym-j4-p doi:
	Clark, Tony	MODELS '15: "Toward Overcoming Accidental ..." Toward Overcoming Accidental Complexity in Organisational Decision-Making Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn (Tata Consultancy Services, India; Middlesex University, UK) @InProceedings{MODELS15p387, author = {Vinay Kulkarni and Souvik Barat and Tony Clark and Balbir Barn}, title = {Toward Overcoming Accidental Complexity in Organisational Decision-Making}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {387-386}, doi = {}, year = {2015}, } Article: models15meip-meipp012-p doi:
	Combemale, Benoit	MODELS '15: "A Behavioral Coordination ..." A Behavioral Coordination Operator Language (BCOoL) Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet (University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France) @InProceedings{MODELS15p197, author = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Benoit Combemale and Frédéric Mallet}, title = {A Behavioral Coordination Operator Language (BCOoL)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {197-196}, doi = {}, year = {2015}, } Article: models15found-foundp099-p doi:
	Conte, Tayana	MODELS '15: "A Controlled Experiment with ..." A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak (Federal University of Amazonas, Brazil; PUCRS, Brazil) @InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, } Article: models15found-foundp105-p doi:
	Cordy, James R.	MODELS '15: "Identification of Simulink ..." Identification of Simulink Model Antipattern Instances using Model Clone Detection Matthew Stephan and James R. Cordy (Miami University, USA; Queen's University, Canada) @InProceedings{MODELS15p287, author = {Matthew Stephan and James R. Cordy}, title = {Identification of Simulink Model Antipattern Instances using Model Clone Detection}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {287-286}, doi = {}, year = {2015}, } Article: models15found-foundp137-p doi:
	Czarnecki, Krzysztof	MODELS '15: "Performance Prediction upon ..." Performance Prediction upon Toolchain Migration in Model-Based Software Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki (University of Waterloo, Canada) @InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, } Article: models15found-foundp150-p doi:
	Das, Tuhin Kanti	MODELS '15: "State Machine Antipatterns ..." State Machine Antipatterns for UML-RT Tuhin Kanti Das and Juergen Dingel (Queen's University, Canada) @InProceedings{MODELS15p57, author = {Tuhin Kanti Das and Juergen Dingel}, title = {State Machine Antipatterns for UML-RT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2015}, } Article: models15found-foundp028-p doi:
	DeAntoni, Julien	MODELS '15: "A Behavioral Coordination ..." A Behavioral Coordination Operator Language (BCOoL) Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet (University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France) @InProceedings{MODELS15p197, author = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Benoit Combemale and Frédéric Mallet}, title = {A Behavioral Coordination Operator Language (BCOoL)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {197-196}, doi = {}, year = {2015}, } Article: models15found-foundp099-p doi:
	De Lara, Juan	MODELS '15: "Fragmenta: A Theory of Fragmentation ..." Fragmenta: A Theory of Fragmentation for MDE Nuno Amálio, Juan de Lara, and Esther Guerra (University of York, UK; Autonomous University of Madrid, Spain) @InProceedings{MODELS15p117, author = {Nuno Amálio and Juan de Lara and Esther Guerra}, title = {Fragmenta: A Theory of Fragmentation for MDE}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {117-116}, doi = {}, year = {2015}, } Article: models15found-foundp051-p doi: MODELS '15: "Quick Fixing ATL Model Transformations ..." Quick Fixing ATL Model Transformations Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p157, author = {Jesús Sánchez Cuadrado and Esther Guerra and Juan de Lara}, title = {Quick Fixing ATL Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {157-156}, doi = {}, year = {2015}, } Article: models15found-foundp077-p doi: MODELS '15: "A-posteriori Typing for Model-Driven ..." A-posteriori Typing for Model-Driven Engineering Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p167, author = {Juan de Lara and Esther Guerra and Jesús Sánchez Cuadrado}, title = {A-posteriori Typing for Model-Driven Engineering}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {167-166}, doi = {}, year = {2015}, } Article: models15found-foundp080-p doi: MODELS '15: "Pattern-Based Development ..." Pattern-Based Development of Domain-Specific Modelling Languages Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, } Article: models15found-foundp081-p doi:
	Dévai, Gergely	MODELS '15: "Textual Diagram Layout Language ..." Textual Diagram Layout Language and Visualization Algorithm Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai (Eötvös Loránd University, Hungary) @InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, } Article: models15found-foundp101-p doi:
	Diaz-Pace, J. Andrés	MODELS '15: "Identifying Duplicate Functionality ..." Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract) Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace (UNICEN University, Argentina) @InProceedings{MODELS15p467, author = {Alejandro Rago and Claudia Marcos and J. Andrés Diaz-Pace}, title = {Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {467-466}, doi = {}, year = {2015}, } Article: models15sosym-j1-p doi:
	Dingel, Juergen	MODELS '15: "Incremental Symbolic Execution ..." Incremental Symbolic Execution of Evolving State Machines Amal Khalil and Juergen Dingel (Queen's University, Canada) @InProceedings{MODELS15p17, author = {Amal Khalil and Juergen Dingel}, title = {Incremental Symbolic Execution of Evolving State Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {17-16}, doi = {}, year = {2015}, } Article: models15found-foundp021-p doi: MODELS '15: "State Machine Antipatterns ..." State Machine Antipatterns for UML-RT Tuhin Kanti Das and Juergen Dingel (Queen's University, Canada) @InProceedings{MODELS15p57, author = {Tuhin Kanti Das and Juergen Dingel}, title = {State Machine Antipatterns for UML-RT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {57-56}, doi = {}, year = {2015}, } Article: models15found-foundp028-p doi:
	Di Sandro, Alessio	MODELS '15: "Enriching Megamodel Management ..." Enriching Megamodel Management with Collection-Based Operators Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik (University of Toronto, Canada; McMaster University, Canada) @InProceedings{MODELS15p247, author = {Rick Salay and Sahar Kokaly and Alessio Di Sandro and Marsha Chechik}, title = {Enriching Megamodel Management with Collection-Based Operators}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {247-246}, doi = {}, year = {2015}, } Article: models15found-foundp116-p doi:
	Dobreff, András	MODELS '15: "Textual Diagram Layout Language ..." Textual Diagram Layout Language and Visualization Algorithm Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai (Eötvös Loránd University, Hungary) @InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, } Article: models15found-foundp101-p doi:
	Dong, Jin Song	MODELS '15: "Formalizing and Verifying ..." Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract) Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen (Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China) @InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, } Article: models15sosym-j4-p doi:
	Drechsler, Rolf	MODELS '15: "Checking Concurrent Behavior ..." Checking Concurrent Behavior in UML/OCL Models Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler (University of Bremen, Germany; DFKI, Germany) @InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, } Article: models15found-foundp092-p doi:
	Drira, Khalil	MODELS '15: "Enhanced Graph Rewriting Systems ..." Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract) Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira (CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy) @InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, } Article: models15sosym-j2-p doi:
	Dumoulin, Cédric	MODELS '15: "Enhancing the Communication ..." Enhancing the Communication Value of UML Models with Graphical Layers Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec (CEA, France; University of Lille, France) @InProceedings{MODELS15p67, author = {Yosser El Ahmar and Sébastien Gérard and Cédric Dumoulin and Xavier Le Pallec}, title = {Enhancing the Communication Value of UML Models with Graphical Layers}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {67-66}, doi = {}, year = {2015}, } Article: models15found-foundp036-p doi:
	Easterbrook, Steve	MODELS '15: "Modelling the Climate System: ..." Modelling the Climate System: Is Model-Based Science Like Model-Based Engineering? (Keynote) Steve Easterbrook (University of Toronto, Canada) @InProceedings{MODELS15p1, author = {Steve Easterbrook}, title = {Modelling the Climate System: Is Model-Based Science Like Model-Based Engineering? (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {1-0}, doi = {}, year = {2015}, } Article: models15keynotes-key1-p doi:
	Eder, Klaus	MODELS '15: "Feature Modeling of Two Large-Scale ..." Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer (JKU Linz, Austria; KEBA, Austria) @InProceedings{MODELS15p407, author = {Daniela Lettner and Klaus Eder and Paul Grünbacher and Herbert Prähofer}, title = {Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {407-406}, doi = {}, year = {2015}, } Article: models15meip-meipp021-p doi:
	Eichler, Cédric	MODELS '15: "Enhanced Graph Rewriting Systems ..." Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract) Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira (CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy) @InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, } Article: models15sosym-j2-p doi:
	Elaasar, Maged	MODELS '15: "Systematic Generation of Standard ..." Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar (CEA, France; Carleton University, Canada; Crossplatform Software, Canada) @InProceedings{MODELS15p367, author = {Alexis Fouché and Florian Noyrit and Sébastien Gérard and Maged Elaasar}, title = {Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {367-366}, doi = {}, year = {2015}, } Article: models15meip-meipp005-p doi:
	El Ahmar, Yosser	MODELS '15: "Enhancing the Communication ..." Enhancing the Communication Value of UML Models with Graphical Layers Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec (CEA, France; University of Lille, France) @InProceedings{MODELS15p67, author = {Yosser El Ahmar and Sébastien Gérard and Cédric Dumoulin and Xavier Le Pallec}, title = {Enhancing the Communication Value of UML Models with Graphical Layers}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {67-66}, doi = {}, year = {2015}, } Article: models15found-foundp036-p doi:
	Etzlstorfer, Jürgen	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Farwick, Matthias	MODELS '15: "A Situational Method for Semi-automated ..." A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract) Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke (University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany) @InProceedings{MODELS15p487, author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke}, title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2015}, } Article: models15sosym-j3-p doi:
	Fernández-Sáez, Ana M.	MODELS '15: "On the Use of UML Documentation ..." On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron (University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p307, author = {Ana M. Fernández-Sáez and Danilo Caivano and Marcela Genero and Michel R. V. Chaudron}, title = {On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {307-306}, doi = {}, year = {2015}, } Article: models15found-foundp145-p doi:
	Fischmeister, Sebastian	MODELS '15: "Performance Prediction upon ..." Performance Prediction upon Toolchain Migration in Model-Based Software Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki (University of Waterloo, Canada) @InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, } Article: models15found-foundp150-p doi:
	Fouché, Alexis	MODELS '15: "Systematic Generation of Standard ..." Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar (CEA, France; Carleton University, Canada; Crossplatform Software, Canada) @InProceedings{MODELS15p367, author = {Alexis Fouché and Florian Noyrit and Sébastien Gérard and Maged Elaasar}, title = {Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {367-366}, doi = {}, year = {2015}, } Article: models15meip-meipp005-p doi:
	Fouquet, Francois	MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Garmendia, Antonio	MODELS '15: "Pattern-Based Development ..." Pattern-Based Development of Domain-Specific Modelling Languages Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, } Article: models15found-foundp081-p doi:
	Geilen, Marc	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Genero, Marcela	MODELS '15: "On the Use of UML Documentation ..." On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry Ana M. Fernández-Sáez, Danilo Caivano, Marcela Genero, and Michel R. V. Chaudron (University of Castile–La Mancha, Spain; University of Bari, Italy; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p307, author = {Ana M. Fernández-Sáez and Danilo Caivano and Marcela Genero and Michel R. V. Chaudron}, title = {On the Use of UML Documentation in Software Maintenance: Results from a Survey in Industry}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {307-306}, doi = {}, year = {2015}, } Article: models15found-foundp145-p doi:
	Gérard, Sébastien	MODELS '15: "Enhancing the Communication ..." Enhancing the Communication Value of UML Models with Graphical Layers Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec (CEA, France; University of Lille, France) @InProceedings{MODELS15p67, author = {Yosser El Ahmar and Sébastien Gérard and Cédric Dumoulin and Xavier Le Pallec}, title = {Enhancing the Communication Value of UML Models with Graphical Layers}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {67-66}, doi = {}, year = {2015}, } Article: models15found-foundp036-p doi: MODELS '15: "Systematic Generation of Standard ..." Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar (CEA, France; Carleton University, Canada; Crossplatform Software, Canada) @InProceedings{MODELS15p367, author = {Alexis Fouché and Florian Noyrit and Sébastien Gérard and Maged Elaasar}, title = {Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {367-366}, doi = {}, year = {2015}, } Article: models15meip-meipp005-p doi:
	Gerbig, Ralph	MODELS '15: "A Unifying Approach to Connections ..." A Unifying Approach to Connections for Multi-Level Modeling Colin Atkinson, Ralph Gerbig, and Thomas Kühne (University of Mannheim, Germany; Victoria University of Wellington, New Zealand) @InProceedings{MODELS15p227, author = {Colin Atkinson and Ralph Gerbig and Thomas Kühne}, title = {A Unifying Approach to Connections for Multi-Level Modeling}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {227-226}, doi = {}, year = {2015}, } Article: models15found-foundp109-p doi:
	Gogolla, Martin	MODELS '15: "Extracting Frame Conditions ..." Extracting Frame Conditions from Operation Contracts Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille (University of Bremen, Germany) @InProceedings{MODELS15p277, author = {Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille}, title = {Extracting Frame Conditions from Operation Contracts}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {277-276}, doi = {}, year = {2015}, } Article: models15found-foundp120-p doi: MODELS '15: "Employing Classifying Terms ..." Employing Classifying Terms for Testing Model Transformations Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken (University of Bremen, Germany; University of Málaga, Spain) @InProceedings{MODELS15p327, author = {Martin Gogolla and Antonio Vallecillo and Loli Burgueño and Frank Hilken}, title = {Employing Classifying Terms for Testing Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2015}, } Article: models15found-foundp153-p doi:
	Goknil, Arda	MODELS '15: "Applying Product Line Use ..." Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany (University of Luxembourg, Luxembourg; IEE, Luxembourg) @InProceedings{MODELS15p357, author = {Ines Hajri and Arda Goknil and Lionel C. Briand and Thierry Stephany}, title = {Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {357-356}, doi = {}, year = {2015}, } Article: models15meip-meipp003-p doi:
	Greenyer, Joel	MODELS '15: "Synthesizing Tests for Combinatorial ..." Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications Valerio Panzica La Manna, Itai Segall, and Joel Greenyer (Massachusetts Institute of Technology, USA; Bell Labs, Israel; Alcatel-Lucent, Israel; Leibniz Universität Hannover, Germany) @InProceedings{MODELS15p137, author = {Valerio Panzica La Manna and Itai Segall and Joel Greenyer}, title = {Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {137-136}, doi = {}, year = {2015}, } Article: models15found-foundp064-p doi:
	Gregorics, Balázs	MODELS '15: "Textual Diagram Layout Language ..." Textual Diagram Layout Language and Visualization Algorithm Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai (Eötvös Loránd University, Hungary) @InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, } Article: models15found-foundp101-p doi:
	Gregorics, Tibor	MODELS '15: "Textual Diagram Layout Language ..." Textual Diagram Layout Language and Visualization Algorithm Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai (Eötvös Loránd University, Hungary) @InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, } Article: models15found-foundp101-p doi:
	Greifenberg, Timo	MODELS '15: "Engineering Tagging Languages ..." Engineering Tagging Languages for DSLs Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe (RWTH Aachen University, Germany) @InProceedings{MODELS15p37, author = {Timo Greifenberg and Markus Look and Sebastian Roidl and Bernhard Rumpe}, title = {Engineering Tagging Languages for DSLs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2015}, } Article: models15found-foundp024-p doi:
	Grieco, Alfredo	MODELS '15: "Enhanced Graph Rewriting Systems ..." Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract) Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira (CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy) @InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, } Article: models15sosym-j2-p doi:
	Grünbacher, Paul	MODELS '15: "Feature Modeling of Two Large-Scale ..." Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer (JKU Linz, Austria; KEBA, Austria) @InProceedings{MODELS15p407, author = {Daniela Lettner and Klaus Eder and Paul Grünbacher and Herbert Prähofer}, title = {Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {407-406}, doi = {}, year = {2015}, } Article: models15meip-meipp021-p doi:
	Grundy, John	MODELS '15: "Integrating Goal-Oriented ..." Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy (Swinburne University of Technology, Australia) @InProceedings{MODELS15p347, author = {Tuong Huan Nguyen and John Grundy and Mohamed Almorsy}, title = {Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {347-346}, doi = {}, year = {2015}, } Article: models15found-foundp162-p doi:
	Guerra, Esther	MODELS '15: "Fragmenta: A Theory of Fragmentation ..." Fragmenta: A Theory of Fragmentation for MDE Nuno Amálio, Juan de Lara, and Esther Guerra (University of York, UK; Autonomous University of Madrid, Spain) @InProceedings{MODELS15p117, author = {Nuno Amálio and Juan de Lara and Esther Guerra}, title = {Fragmenta: A Theory of Fragmentation for MDE}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {117-116}, doi = {}, year = {2015}, } Article: models15found-foundp051-p doi: MODELS '15: "Quick Fixing ATL Model Transformations ..." Quick Fixing ATL Model Transformations Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p157, author = {Jesús Sánchez Cuadrado and Esther Guerra and Juan de Lara}, title = {Quick Fixing ATL Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {157-156}, doi = {}, year = {2015}, } Article: models15found-foundp077-p doi: MODELS '15: "A-posteriori Typing for Model-Driven ..." A-posteriori Typing for Model-Driven Engineering Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p167, author = {Juan de Lara and Esther Guerra and Jesús Sánchez Cuadrado}, title = {A-posteriori Typing for Model-Driven Engineering}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {167-166}, doi = {}, year = {2015}, } Article: models15found-foundp080-p doi: MODELS '15: "Pattern-Based Development ..." Pattern-Based Development of Domain-Specific Modelling Languages Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, } Article: models15found-foundp081-p doi:
	Hajri, Ines	MODELS '15: "Applying Product Line Use ..." Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany (University of Luxembourg, Luxembourg; IEE, Luxembourg) @InProceedings{MODELS15p357, author = {Ines Hajri and Arda Goknil and Lionel C. Briand and Thierry Stephany}, title = {Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {357-356}, doi = {}, year = {2015}, } Article: models15meip-meipp003-p doi:
	Hanschke, Inge	MODELS '15: "A Situational Method for Semi-automated ..." A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract) Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke (University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany) @InProceedings{MODELS15p487, author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke}, title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2015}, } Article: models15sosym-j3-p doi:
	Hartmann, Thomas	MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Heyman, Thomas	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi:
	Hilken, Christoph	MODELS '15: "Checking Concurrent Behavior ..." Checking Concurrent Behavior in UML/OCL Models Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler (University of Bremen, Germany; DFKI, Germany) @InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, } Article: models15found-foundp092-p doi:
	Hilken, Frank	MODELS '15: "Extracting Frame Conditions ..." Extracting Frame Conditions from Operation Contracts Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille (University of Bremen, Germany) @InProceedings{MODELS15p277, author = {Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille}, title = {Extracting Frame Conditions from Operation Contracts}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {277-276}, doi = {}, year = {2015}, } Article: models15found-foundp120-p doi: MODELS '15: "Employing Classifying Terms ..." Employing Classifying Terms for Testing Model Transformations Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken (University of Bremen, Germany; University of Málaga, Spain) @InProceedings{MODELS15p327, author = {Martin Gogolla and Antonio Vallecillo and Loli Burgueño and Frank Hilken}, title = {Employing Classifying Terms for Testing Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2015}, } Article: models15found-foundp153-p doi:
	Hölldobler, Katrin	MODELS '15: "Systematically Deriving Domain-Specific ..." Systematically Deriving Domain-Specific Transformation Languages Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller (RWTH Aachen University, Germany) @InProceedings{MODELS15p147, author = {Katrin Hölldobler and Bernhard Rumpe and Ingo Weisemöller}, title = {Systematically Deriving Domain-Specific Transformation Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {147-146}, doi = {}, year = {2015}, } Article: models15found-foundp066-p doi:
	Iftikhar, Sidra	MODELS '15: "An Automated Model Based Testing ..." An Automated Model Based Testing Approach for Platform Games Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood (National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg) @InProceedings{MODELS15p447, author = {Sidra Iftikhar and Muhammad Zohaib Iqbal and Muhammad Uzair Khan and Wardah Mahmood}, title = {An Automated Model Based Testing Approach for Platform Games}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {447-446}, doi = {}, year = {2015}, } Article: models15meip-meipp038-p doi:
	Iqbal, Muhammad Zohaib	MODELS '15: "An Automated Model Based Testing ..." An Automated Model Based Testing Approach for Platform Games Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood (National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg) @InProceedings{MODELS15p447, author = {Sidra Iftikhar and Muhammad Zohaib Iqbal and Muhammad Uzair Khan and Wardah Mahmood}, title = {An Automated Model Based Testing Approach for Platform Games}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {447-446}, doi = {}, year = {2015}, } Article: models15meip-meipp038-p doi:
	Jacobs, Johan	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Kapsammer, Elisabeth	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Kerboeuf, Mickaël	MODELS '15: "Improving Reuse by means of ..." Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau (University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France) @InProceedings{MODELS15p377, author = {Paola Vallejo and Mickaël Kerboeuf and Kevin J. M. Martin and Jean-Philippe Babau}, title = {Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2015}, } Article: models15meip-meipp010-p doi:
	Ketata, Aymen	MODELS '15: "Performance Prediction upon ..." Performance Prediction upon Toolchain Migration in Model-Based Software Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki (University of Waterloo, Canada) @InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, } Article: models15found-foundp150-p doi:
	Khalil, Amal	MODELS '15: "Incremental Symbolic Execution ..." Incremental Symbolic Execution of Evolving State Machines Amal Khalil and Juergen Dingel (Queen's University, Canada) @InProceedings{MODELS15p17, author = {Amal Khalil and Juergen Dingel}, title = {Incremental Symbolic Execution of Evolving State Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {17-16}, doi = {}, year = {2015}, } Article: models15found-foundp021-p doi:
	Khan, Muhammad Uzair	MODELS '15: "An Automated Model Based Testing ..." An Automated Model Based Testing Approach for Platform Games Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood (National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg) @InProceedings{MODELS15p447, author = {Sidra Iftikhar and Muhammad Zohaib Iqbal and Muhammad Uzair Khan and Wardah Mahmood}, title = {An Automated Model Based Testing Approach for Platform Games}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {447-446}, doi = {}, year = {2015}, } Article: models15meip-meipp038-p doi:
	Kholkar, Deepali	MODELS '15: "Model-Driven Regulatory Compliance: ..." Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni (Tata Consultancy Services, India) @InProceedings{MODELS15p457, author = {Sagar Sunkle and Deepali Kholkar and Vinay Kulkarni}, title = {Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {457-456}, doi = {}, year = {2015}, } Article: models15meip-meipp047-p doi:
	Kienzle, Jörg	MODELS '15: "Concern-Oriented Interfaces ..." Concern-Oriented Interfaces for Model-Based Reuse of APIs Matthias Schöttle and Jörg Kienzle (McGill University, Canada) @InProceedings{MODELS15p297, author = {Matthias Schöttle and Jörg Kienzle}, title = {Concern-Oriented Interfaces for Model-Based Reuse of APIs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {297-296}, doi = {}, year = {2015}, } Article: models15found-foundp141-p doi:
	Klein, Jacques	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi: MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Kokaly, Sahar	MODELS '15: "Enriching Megamodel Management ..." Enriching Megamodel Management with Collection-Based Operators Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik (University of Toronto, Canada; McMaster University, Canada) @InProceedings{MODELS15p247, author = {Rick Salay and Sahar Kokaly and Alessio Di Sandro and Marsha Chechik}, title = {Enriching Megamodel Management with Collection-Based Operators}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {247-246}, doi = {}, year = {2015}, } Article: models15found-foundp116-p doi:
	Kovács, Gábor Ferenc	MODELS '15: "Textual Diagram Layout Language ..." Textual Diagram Layout Language and Visualization Algorithm Balázs Gregorics, Tibor Gregorics, Gábor Ferenc Kovács, András Dobreff, and Gergely Dévai (Eötvös Loránd University, Hungary) @InProceedings{MODELS15p207, author = {Balázs Gregorics and Tibor Gregorics and Gábor Ferenc Kovács and András Dobreff and Gergely Dévai}, title = {Textual Diagram Layout Language and Visualization Algorithm}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {207-206}, doi = {}, year = {2015}, } Article: models15found-foundp101-p doi:
	Křikava, Filip	MODELS '15: "Infrastructure as Runtime ..." Infrastructure as Runtime Models: Towards Model-Driven Resource Management Filip Křikava, Romain Rouvoy, and Lionel Seinturier (Czech Technical University, Czech Republic; INRIA, France; University of Lille, France) @InProceedings{MODELS15p107, author = {Filip Křikava and Romain Rouvoy and Lionel Seinturier}, title = {Infrastructure as Runtime Models: Towards Model-Driven Resource Management}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2015}, } Article: models15found-foundp049-p doi:
	Kühne, Thomas	MODELS '15: "A Unifying Approach to Connections ..." A Unifying Approach to Connections for Multi-Level Modeling Colin Atkinson, Ralph Gerbig, and Thomas Kühne (University of Mannheim, Germany; Victoria University of Wellington, New Zealand) @InProceedings{MODELS15p227, author = {Colin Atkinson and Ralph Gerbig and Thomas Kühne}, title = {A Unifying Approach to Connections for Multi-Level Modeling}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {227-226}, doi = {}, year = {2015}, } Article: models15found-foundp109-p doi:
	Kulkarni, Vinay	MODELS '15: "Toward Overcoming Accidental ..." Toward Overcoming Accidental Complexity in Organisational Decision-Making Vinay Kulkarni, Souvik Barat, Tony Clark, and Balbir Barn (Tata Consultancy Services, India; Middlesex University, UK) @InProceedings{MODELS15p387, author = {Vinay Kulkarni and Souvik Barat and Tony Clark and Balbir Barn}, title = {Toward Overcoming Accidental Complexity in Organisational Decision-Making}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {387-386}, doi = {}, year = {2015}, } Article: models15meip-meipp012-p doi: MODELS '15: "Model-Driven Regulatory Compliance: ..." Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni (Tata Consultancy Services, India) @InProceedings{MODELS15p457, author = {Sagar Sunkle and Deepali Kholkar and Vinay Kulkarni}, title = {Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {457-456}, doi = {}, year = {2015}, } Article: models15meip-meipp047-p doi:
	Kusel, Angelika	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Leemans, Maikel	MODELS '15: "Process Mining in Software ..." Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems Maikel Leemans and Wil M. P. van der Aalst (Eindhoven University of Technology, Netherlands) @InProceedings{MODELS15p47, author = {Maikel Leemans and Wil M. P. van der Aalst}, title = {Process Mining in Software Systems: Discovering Real-Life Business Transactions and Process Models from Distributed Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {47-46}, doi = {}, year = {2015}, } Article: models15found-foundp026-p doi:
	Le Pallec, Xavier	MODELS '15: "Enhancing the Communication ..." Enhancing the Communication Value of UML Models with Graphical Layers Yosser El Ahmar, Sébastien Gérard, Cédric Dumoulin, and Xavier Le Pallec (CEA, France; University of Lille, France) @InProceedings{MODELS15p67, author = {Yosser El Ahmar and Sébastien Gérard and Cédric Dumoulin and Xavier Le Pallec}, title = {Enhancing the Communication Value of UML Models with Graphical Layers}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {67-66}, doi = {}, year = {2015}, } Article: models15found-foundp036-p doi:
	Le Traon, Yves	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi: MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Lettner, Daniela	MODELS '15: "Feature Modeling of Two Large-Scale ..." Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer (JKU Linz, Austria; KEBA, Austria) @InProceedings{MODELS15p407, author = {Daniela Lettner and Klaus Eder and Paul Grünbacher and Herbert Prähofer}, title = {Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {407-406}, doi = {}, year = {2015}, } Article: models15meip-meipp021-p doi:
	Liang, Jia	MODELS '15: "Performance Prediction upon ..." Performance Prediction upon Toolchain Migration in Model-Based Software Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki (University of Waterloo, Canada) @InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, } Article: models15found-foundp150-p doi:
	Liu, Yang	MODELS '15: "Formalizing and Verifying ..." Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract) Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen (Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China) @InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, } Article: models15sosym-j4-p doi:
	Look, Markus	MODELS '15: "Engineering Tagging Languages ..." Engineering Tagging Languages for DSLs Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe (RWTH Aachen University, Germany) @InProceedings{MODELS15p37, author = {Timo Greifenberg and Markus Look and Sebastian Roidl and Bernhard Rumpe}, title = {Engineering Tagging Languages for DSLs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2015}, } Article: models15found-foundp024-p doi:
	Lúcio, Levi	MODELS '15: "Fully Verifying Transformation ..." Fully Verifying Transformation Contracts for Declarative ATL Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer (McGill University, Canada; Vienna University of Technology, Austria) @InProceedings{MODELS15p267, author = {Bentley James Oakes and Javier Troya and Levi Lúcio and Manuel Wimmer}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2015}, } Article: models15found-foundp119-p doi:
	Lüddecke, Daniel	MODELS '15: "Modeling User Intentions for ..." Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer (Volkswagen, Germany; TU Braunschweig, Germany) @InProceedings{MODELS15p397, author = {Daniel Lüddecke and Christoph Seidl and Jens Schneider and Ina Schaefer}, title = {Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {397-396}, doi = {}, year = {2015}, } Article: models15meip-meipp014-p doi:
	Macias, Fernando	MODELS '15: "A Statistical Analysis Approach ..." A Statistical Analysis Approach to Assist Model Transformation Evolution Roberto Rodriguez-Echeverria and Fernando Macias (University of Extremadura, Spain; Bergen University College, Norway) @InProceedings{MODELS15p237, author = {Roberto Rodriguez-Echeverria and Fernando Macias}, title = {A Statistical Analysis Approach to Assist Model Transformation Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {237-236}, doi = {}, year = {2015}, } Article: models15found-foundp112-p doi:
	Mahmood, Wardah	MODELS '15: "An Automated Model Based Testing ..." An Automated Model Based Testing Approach for Platform Games Sidra Iftikhar, Muhammad Zohaib Iqbal, Muhammad Uzair Khan, and Wardah Mahmood (National University of Computer and Emerging Sciences, Pakistan; University of Luxembourg, Luxembourg) @InProceedings{MODELS15p447, author = {Sidra Iftikhar and Muhammad Zohaib Iqbal and Muhammad Uzair Khan and Wardah Mahmood}, title = {An Automated Model Based Testing Approach for Platform Games}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {447-446}, doi = {}, year = {2015}, } Article: models15meip-meipp038-p doi:
	Mallet, Frédéric	MODELS '15: "A Behavioral Coordination ..." A Behavioral Coordination Operator Language (BCOoL) Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet (University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France) @InProceedings{MODELS15p197, author = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Benoit Combemale and Frédéric Mallet}, title = {A Behavioral Coordination Operator Language (BCOoL)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {197-196}, doi = {}, year = {2015}, } Article: models15found-foundp099-p doi:
	Maoz, Shahar	MODELS '15: "A Framework for Relating Syntactic ..." A Framework for Relating Syntactic and Semantic Model Differences Shahar Maoz and Jan Oliver Ringert (Tel Aviv University, Israel) @InProceedings{MODELS15p27, author = {Shahar Maoz and Jan Oliver Ringert}, title = {A Framework for Relating Syntactic and Semantic Model Differences}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {27-26}, doi = {}, year = {2015}, } Article: models15found-foundp022-p doi:
	Marcos, Claudia	MODELS '15: "Identifying Duplicate Functionality ..." Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract) Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace (UNICEN University, Argentina) @InProceedings{MODELS15p467, author = {Alejandro Rago and Claudia Marcos and J. Andrés Diaz-Pace}, title = {Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {467-466}, doi = {}, year = {2015}, } Article: models15sosym-j1-p doi:
	Marczak, Sabrina	MODELS '15: "A Controlled Experiment with ..." A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak (Federal University of Amazonas, Brazil; PUCRS, Brazil) @InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, } Article: models15found-foundp105-p doi:
	Martin, Kevin J. M.	MODELS '15: "Improving Reuse by means of ..." Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau (University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France) @InProceedings{MODELS15p377, author = {Paola Vallejo and Mickaël Kerboeuf and Kevin J. M. Martin and Jean-Philippe Babau}, title = {Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2015}, } Article: models15meip-meipp010-p doi:
	Moawad, Assaad	MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Montaghami, Vajih	MODELS '15: "Pattern-Based Debugging of ..." Pattern-Based Debugging of Declarative Models Vajih Montaghami and Derek Rayside (University of Waterloo, Canada) @InProceedings{MODELS15p337, author = {Vajih Montaghami and Derek Rayside}, title = {Pattern-Based Debugging of Declarative Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {337-336}, doi = {}, year = {2015}, } Article: models15found-foundp161-p doi:
	Monteil, Thierry	MODELS '15: "Enhanced Graph Rewriting Systems ..." Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract) Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira (CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy) @InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, } Article: models15sosym-j2-p doi:
	Moreno, Carlos	MODELS '15: "Performance Prediction upon ..." Performance Prediction upon Toolchain Migration in Model-Based Software Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Liang, and Krzysztof Czarnecki (University of Waterloo, Canada) @InProceedings{MODELS15p317, author = {Aymen Ketata and Carlos Moreno and Sebastian Fischmeister and Jia Liang and Krzysztof Czarnecki}, title = {Performance Prediction upon Toolchain Migration in Model-Based Software}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {317-316}, doi = {}, year = {2015}, } Article: models15found-foundp150-p doi:
	Murphy, Gail	MODELS '15: "Software Supply Chains (Keynote) ..." Software Supply Chains (Keynote) Gail Murphy (University of British Columbia, Canada; Tasktop Technologies, Canada) @InProceedings{MODELS15p3, author = {Gail Murphy}, title = {Software Supply Chains (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {3-2}, doi = {}, year = {2015}, } Article: models15keynotes-key2-p doi:
	Nain, Gregory	MODELS '15: "Stream my Models: Reactive ..." Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time Thomas Hartmann, Assaad Moawad, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p87, author = {Thomas Hartmann and Assaad Moawad and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Stream my Models: Reactive Peer-to-Peer Distributed Models@run.time}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {87-86}, doi = {}, year = {2015}, } Article: models15found-foundp047-p doi: MODELS '15: "Beyond Discrete Modeling: ..." Beyond Discrete Modeling: A Continuous and Efficient Model for IoT Assaad Moawad, Thomas Hartmann, Francois Fouquet, Gregory Nain, Jacques Klein, and Yves Le Traon (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p97, author = {Assaad Moawad and Thomas Hartmann and Francois Fouquet and Gregory Nain and Jacques Klein and Yves Le Traon}, title = {Beyond Discrete Modeling: A Continuous and Efficient Model for IoT}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {97-96}, doi = {}, year = {2015}, } Article: models15found-foundp048-p doi:
	Nguyen, Phu H.	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi:
	Nguyen, Tuong Huan	MODELS '15: "Integrating Goal-Oriented ..." Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link Tuong Huan Nguyen, John Grundy, and Mohamed Almorsy (Swinburne University of Technology, Australia) @InProceedings{MODELS15p347, author = {Tuong Huan Nguyen and John Grundy and Mohamed Almorsy}, title = {Integrating Goal-Oriented and Use Case-Based Requirements Engineering: The Missing Link}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {347-346}, doi = {}, year = {2015}, } Article: models15found-foundp162-p doi:
	Niemann, Philipp	MODELS '15: "Extracting Frame Conditions ..." Extracting Frame Conditions from Operation Contracts Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille (University of Bremen, Germany) @InProceedings{MODELS15p277, author = {Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille}, title = {Extracting Frame Conditions from Operation Contracts}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {277-276}, doi = {}, year = {2015}, } Article: models15found-foundp120-p doi:
	Noyrit, Florian	MODELS '15: "Systematic Generation of Standard ..." Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages Alexis Fouché, Florian Noyrit, Sébastien Gérard, and Maged Elaasar (CEA, France; Carleton University, Canada; Crossplatform Software, Canada) @InProceedings{MODELS15p367, author = {Alexis Fouché and Florian Noyrit and Sébastien Gérard and Maged Elaasar}, title = {Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {367-366}, doi = {}, year = {2015}, } Article: models15meip-meipp005-p doi:
	Oakes, Bentley James	MODELS '15: "Fully Verifying Transformation ..." Fully Verifying Transformation Contracts for Declarative ATL Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer (McGill University, Canada; Vienna University of Technology, Austria) @InProceedings{MODELS15p267, author = {Bentley James Oakes and Javier Troya and Levi Lúcio and Manuel Wimmer}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2015}, } Article: models15found-foundp119-p doi:
	Oran, Ana Carolina	MODELS '15: "A Controlled Experiment with ..." A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak (Federal University of Amazonas, Brazil; PUCRS, Brazil) @InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, } Article: models15found-foundp105-p doi:
	Panzica La Manna, Valerio	MODELS '15: "Synthesizing Tests for Combinatorial ..." Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications Valerio Panzica La Manna, Itai Segall, and Joel Greenyer (Massachusetts Institute of Technology, USA; Bell Labs, Israel; Alcatel-Lucent, Israel; Leibniz Universität Hannover, Germany) @InProceedings{MODELS15p137, author = {Valerio Panzica La Manna and Itai Segall and Joel Greenyer}, title = {Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {137-136}, doi = {}, year = {2015}, } Article: models15found-foundp064-p doi:
	Peleska, Jan	MODELS '15: "Checking Concurrent Behavior ..." Checking Concurrent Behavior in UML/OCL Models Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler (University of Bremen, Germany; DFKI, Germany) @InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, } Article: models15found-foundp092-p doi:
	Perovich, Daniel	MODELS '15: "A Megamodel for Software Process ..." A Megamodel for Software Process Line Modeling and Evolution Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre (University of Chile, Chile) @InProceedings{MODELS15p427, author = {Jocelyn Simmonds and Daniel Perovich and María Cecilia Bastarrica and Luis Silvestre}, title = {A Megamodel for Software Process Line Modeling and Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {427-426}, doi = {}, year = {2015}, } Article: models15meip-meipp035-p doi:
	Pescador, Ana	MODELS '15: "Pattern-Based Development ..." Pattern-Based Development of Domain-Specific Modelling Languages Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, } Article: models15found-foundp081-p doi:
	Prähofer, Herbert	MODELS '15: "Feature Modeling of Two Large-Scale ..." Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned Daniela Lettner, Klaus Eder, Paul Grünbacher, and Herbert Prähofer (JKU Linz, Austria; KEBA, Austria) @InProceedings{MODELS15p407, author = {Daniela Lettner and Klaus Eder and Paul Grünbacher and Herbert Prähofer}, title = {Feature Modeling of Two Large-Scale Industrial Software Systems: Experiences and Lessons Learned}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {407-406}, doi = {}, year = {2015}, } Article: models15meip-meipp021-p doi:
	Przigoda, Nils	MODELS '15: "Checking Concurrent Behavior ..." Checking Concurrent Behavior in UML/OCL Models Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler (University of Bremen, Germany; DFKI, Germany) @InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, } Article: models15found-foundp092-p doi:
	Rabelo, Jacilane	MODELS '15: "A Controlled Experiment with ..." A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak (Federal University of Amazonas, Brazil; PUCRS, Brazil) @InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, } Article: models15found-foundp105-p doi:
	Rago, Alejandro	MODELS '15: "Identifying Duplicate Functionality ..." Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract) Alejandro Rago, Claudia Marcos, and J. Andrés Diaz-Pace (UNICEN University, Argentina) @InProceedings{MODELS15p467, author = {Alejandro Rago and Claudia Marcos and J. Andrés Diaz-Pace}, title = {Identifying Duplicate Functionality in Textual Use Cases by Aligning Semantic Actions (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {467-466}, doi = {}, year = {2015}, } Article: models15sosym-j1-p doi:
	Rayside, Derek	MODELS '15: "Pattern-Based Debugging of ..." Pattern-Based Debugging of Declarative Models Vajih Montaghami and Derek Rayside (University of Waterloo, Canada) @InProceedings{MODELS15p337, author = {Vajih Montaghami and Derek Rayside}, title = {Pattern-Based Debugging of Declarative Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {337-336}, doi = {}, year = {2015}, } Article: models15found-foundp161-p doi:
	Reniers, Michel	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Retschitzegger, Werner	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Ringert, Jan Oliver	MODELS '15: "A Framework for Relating Syntactic ..." A Framework for Relating Syntactic and Semantic Model Differences Shahar Maoz and Jan Oliver Ringert (Tel Aviv University, Israel) @InProceedings{MODELS15p27, author = {Shahar Maoz and Jan Oliver Ringert}, title = {A Framework for Relating Syntactic and Semantic Model Differences}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {27-26}, doi = {}, year = {2015}, } Article: models15found-foundp022-p doi:
	Rodriguez-Echeverria, Roberto	MODELS '15: "A Statistical Analysis Approach ..." A Statistical Analysis Approach to Assist Model Transformation Evolution Roberto Rodriguez-Echeverria and Fernando Macias (University of Extremadura, Spain; Bergen University College, Norway) @InProceedings{MODELS15p237, author = {Roberto Rodriguez-Echeverria and Fernando Macias}, title = {A Statistical Analysis Approach to Assist Model Transformation Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {237-236}, doi = {}, year = {2015}, } Article: models15found-foundp112-p doi:
	Roidl, Sebastian	MODELS '15: "Engineering Tagging Languages ..." Engineering Tagging Languages for DSLs Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe (RWTH Aachen University, Germany) @InProceedings{MODELS15p37, author = {Timo Greifenberg and Markus Look and Sebastian Roidl and Bernhard Rumpe}, title = {Engineering Tagging Languages for DSLs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2015}, } Article: models15found-foundp024-p doi:
	Rouvoy, Romain	MODELS '15: "Infrastructure as Runtime ..." Infrastructure as Runtime Models: Towards Model-Driven Resource Management Filip Křikava, Romain Rouvoy, and Lionel Seinturier (Czech Technical University, Czech Republic; INRIA, France; University of Lille, France) @InProceedings{MODELS15p107, author = {Filip Křikava and Romain Rouvoy and Lionel Seinturier}, title = {Infrastructure as Runtime Models: Towards Model-Driven Resource Management}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2015}, } Article: models15found-foundp049-p doi:
	Rumpe, Bernhard	MODELS '15: "Systematically Deriving Domain-Specific ..." Systematically Deriving Domain-Specific Transformation Languages Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller (RWTH Aachen University, Germany) @InProceedings{MODELS15p147, author = {Katrin Hölldobler and Bernhard Rumpe and Ingo Weisemöller}, title = {Systematically Deriving Domain-Specific Transformation Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {147-146}, doi = {}, year = {2015}, } Article: models15found-foundp066-p doi: MODELS '15: "Engineering Tagging Languages ..." Engineering Tagging Languages for DSLs Timo Greifenberg, Markus Look, Sebastian Roidl, and Bernhard Rumpe (RWTH Aachen University, Germany) @InProceedings{MODELS15p37, author = {Timo Greifenberg and Markus Look and Sebastian Roidl and Bernhard Rumpe}, title = {Engineering Tagging Languages for DSLs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {37-36}, doi = {}, year = {2015}, } Article: models15found-foundp024-p doi:
	S, Ramesh	MODELS '15: "Automobile: Aircraft or Smartphone? ..." Automobile: Aircraft or Smartphone? Modeling Challenges and Opportunities in Automotive Systems (Keynote) Ramesh S (General Motors, USA) @InProceedings{MODELS15p5, author = {Ramesh S}, title = {Automobile: Aircraft or Smartphone? Modeling Challenges and Opportunities in Automotive Systems (Keynote)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {5-4}, doi = {}, year = {2015}, } Article: models15keynotes-key3-p doi:
	Sabetzadeh, Mehrdad	MODELS '15: "A Model-Based Framework for ..." A Model-Based Framework for Probabilistic Simulation of Legal Policies Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p77, author = {Ghanem Soltana and Nicolas Sannier and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {A Model-Based Framework for Probabilistic Simulation of Legal Policies}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {77-76}, doi = {}, year = {2015}, } Article: models15found-foundp040-p doi:
	Salay, Rick	MODELS '15: "Enriching Megamodel Management ..." Enriching Megamodel Management with Collection-Based Operators Rick Salay, Sahar Kokaly, Alessio Di Sandro, and Marsha Chechik (University of Toronto, Canada; McMaster University, Canada) @InProceedings{MODELS15p247, author = {Rick Salay and Sahar Kokaly and Alessio Di Sandro and Marsha Chechik}, title = {Enriching Megamodel Management with Collection-Based Operators}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {247-246}, doi = {}, year = {2015}, } Article: models15found-foundp116-p doi:
	Sánchez Cuadrado, Jesús	MODELS '15: "Quick Fixing ATL Model Transformations ..." Quick Fixing ATL Model Transformations Jesús Sánchez Cuadrado, Esther Guerra, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p157, author = {Jesús Sánchez Cuadrado and Esther Guerra and Juan de Lara}, title = {Quick Fixing ATL Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {157-156}, doi = {}, year = {2015}, } Article: models15found-foundp077-p doi: MODELS '15: "A-posteriori Typing for Model-Driven ..." A-posteriori Typing for Model-Driven Engineering Juan de Lara, Esther Guerra, and Jesús Sánchez Cuadrado (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p167, author = {Juan de Lara and Esther Guerra and Jesús Sánchez Cuadrado}, title = {A-posteriori Typing for Model-Driven Engineering}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {167-166}, doi = {}, year = {2015}, } Article: models15found-foundp080-p doi: MODELS '15: "Pattern-Based Development ..." Pattern-Based Development of Domain-Specific Modelling Languages Ana Pescador, Antonio Garmendia, Esther Guerra, Jesús Sánchez Cuadrado, and Juan de Lara (Autonomous University of Madrid, Spain) @InProceedings{MODELS15p177, author = {Ana Pescador and Antonio Garmendia and Esther Guerra and Jesús Sánchez Cuadrado and Juan de Lara}, title = {Pattern-Based Development of Domain-Specific Modelling Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {177-176}, doi = {}, year = {2015}, } Article: models15found-foundp081-p doi:
	Sanden, Bram van der	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Sannier, Nicolas	MODELS '15: "A Model-Based Framework for ..." A Model-Based Framework for Probabilistic Simulation of Legal Policies Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p77, author = {Ghanem Soltana and Nicolas Sannier and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {A Model-Based Framework for Probabilistic Simulation of Legal Policies}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {77-76}, doi = {}, year = {2015}, } Article: models15found-foundp040-p doi:
	Scandariato, Riccardo	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi:
	Schaefer, Ina	MODELS '15: "Modeling User Intentions for ..." Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer (Volkswagen, Germany; TU Braunschweig, Germany) @InProceedings{MODELS15p397, author = {Daniel Lüddecke and Christoph Seidl and Jens Schneider and Ina Schaefer}, title = {Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {397-396}, doi = {}, year = {2015}, } Article: models15meip-meipp014-p doi:
	Schiffelers, Ramon	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Schneider, Jens	MODELS '15: "Modeling User Intentions for ..." Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer (Volkswagen, Germany; TU Braunschweig, Germany) @InProceedings{MODELS15p397, author = {Daniel Lüddecke and Christoph Seidl and Jens Schneider and Ina Schaefer}, title = {Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {397-396}, doi = {}, year = {2015}, } Article: models15meip-meipp014-p doi:
	Schönböck, Johannes	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Schöttle, Matthias	MODELS '15: "Concern-Oriented Interfaces ..." Concern-Oriented Interfaces for Model-Based Reuse of APIs Matthias Schöttle and Jörg Kienzle (McGill University, Canada) @InProceedings{MODELS15p297, author = {Matthias Schöttle and Jörg Kienzle}, title = {Concern-Oriented Interfaces for Model-Based Reuse of APIs}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {297-296}, doi = {}, year = {2015}, } Article: models15found-foundp141-p doi:
	Schweda, Christian M.	MODELS '15: "A Situational Method for Semi-automated ..." A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract) Matthias Farwick, Christian M. Schweda, Ruth Breu, and Inge Hanschke (University of Innsbruck, Austria; Reutlingen University, Germany; Lean 42, Germany) @InProceedings{MODELS15p487, author = {Matthias Farwick and Christian M. Schweda and Ruth Breu and Inge Hanschke}, title = {A Situational Method for Semi-automated Enterprise Architecture Documentation (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {487-486}, doi = {}, year = {2015}, } Article: models15sosym-j3-p doi:
	Schwinger, Wieland	MODELS '15: "Consistent Co-Evolution of ..." Consistent Co-Evolution of Models and Transformations Angelika Kusel, Jürgen Etzlstorfer, Elisabeth Kapsammer, Werner Retschitzegger, Wieland Schwinger, and Johannes Schönböck (JKU Linz, Austria; University of Applied Sciences Upper Austria at Hagenberg, Austria) @InProceedings{MODELS15p127, author = {Angelika Kusel and Jürgen Etzlstorfer and Elisabeth Kapsammer and Werner Retschitzegger and Wieland Schwinger and Johannes Schönböck}, title = {Consistent Co-Evolution of Models and Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {127-126}, doi = {}, year = {2015}, } Article: models15found-foundp060-p doi:
	Segall, Itai	MODELS '15: "Synthesizing Tests for Combinatorial ..." Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications Valerio Panzica La Manna, Itai Segall, and Joel Greenyer (Massachusetts Institute of Technology, USA; Bell Labs, Israel; Alcatel-Lucent, Israel; Leibniz Universität Hannover, Germany) @InProceedings{MODELS15p137, author = {Valerio Panzica La Manna and Itai Segall and Joel Greenyer}, title = {Synthesizing Tests for Combinatorial Coverage of Modal Scenario Specifications}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {137-136}, doi = {}, year = {2015}, } Article: models15found-foundp064-p doi:
	Seidl, Christoph	MODELS '15: "Modeling User Intentions for ..." Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks Daniel Lüddecke, Christoph Seidl, Jens Schneider, and Ina Schaefer (Volkswagen, Germany; TU Braunschweig, Germany) @InProceedings{MODELS15p397, author = {Daniel Lüddecke and Christoph Seidl and Jens Schneider and Ina Schaefer}, title = {Modeling User Intentions for In-Car Infotainment Systems using Bayesian Networks}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {397-396}, doi = {}, year = {2015}, } Article: models15meip-meipp014-p doi:
	Seinturier, Lionel	MODELS '15: "Infrastructure as Runtime ..." Infrastructure as Runtime Models: Towards Model-Driven Resource Management Filip Křikava, Romain Rouvoy, and Lionel Seinturier (Czech Technical University, Czech Republic; INRIA, France; University of Lille, France) @InProceedings{MODELS15p107, author = {Filip Křikava and Romain Rouvoy and Lionel Seinturier}, title = {Infrastructure as Runtime Models: Towards Model-Driven Resource Management}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {107-106}, doi = {}, year = {2015}, } Article: models15found-foundp049-p doi:
	Silvestre, Luis	MODELS '15: "A Megamodel for Software Process ..." A Megamodel for Software Process Line Modeling and Evolution Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre (University of Chile, Chile) @InProceedings{MODELS15p427, author = {Jocelyn Simmonds and Daniel Perovich and María Cecilia Bastarrica and Luis Silvestre}, title = {A Megamodel for Software Process Line Modeling and Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {427-426}, doi = {}, year = {2015}, } Article: models15meip-meipp035-p doi:
	Simmonds, Jocelyn	MODELS '15: "A Megamodel for Software Process ..." A Megamodel for Software Process Line Modeling and Evolution Jocelyn Simmonds, Daniel Perovich, María Cecilia Bastarrica, and Luis Silvestre (University of Chile, Chile) @InProceedings{MODELS15p427, author = {Jocelyn Simmonds and Daniel Perovich and María Cecilia Bastarrica and Luis Silvestre}, title = {A Megamodel for Software Process Line Modeling and Evolution}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {427-426}, doi = {}, year = {2015}, } Article: models15meip-meipp035-p doi:
	Soltana, Ghanem	MODELS '15: "A Model-Based Framework for ..." A Model-Based Framework for Probabilistic Simulation of Legal Policies Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, and Lionel C. Briand (University of Luxembourg, Luxembourg) @InProceedings{MODELS15p77, author = {Ghanem Soltana and Nicolas Sannier and Mehrdad Sabetzadeh and Lionel C. Briand}, title = {A Model-Based Framework for Probabilistic Simulation of Legal Policies}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {77-76}, doi = {}, year = {2015}, } Article: models15found-foundp040-p doi:
	Stephan, Matthew	MODELS '15: "Identification of Simulink ..." Identification of Simulink Model Antipattern Instances using Model Clone Detection Matthew Stephan and James R. Cordy (Miami University, USA; Queen's University, Canada) @InProceedings{MODELS15p287, author = {Matthew Stephan and James R. Cordy}, title = {Identification of Simulink Model Antipattern Instances using Model Clone Detection}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {287-286}, doi = {}, year = {2015}, } Article: models15found-foundp137-p doi:
	Stephany, Thierry	MODELS '15: "Applying Product Line Use ..." Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach Ines Hajri, Arda Goknil, Lionel C. Briand, and Thierry Stephany (University of Luxembourg, Luxembourg; IEE, Luxembourg) @InProceedings{MODELS15p357, author = {Ines Hajri and Arda Goknil and Lionel C. Briand and Thierry Stephany}, title = {Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {357-356}, doi = {}, year = {2015}, } Article: models15meip-meipp003-p doi:
	Stolf, Patricia	MODELS '15: "Enhanced Graph Rewriting Systems ..." Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract) Cédric Eichler, Thierry Monteil, Patricia Stolf, Alfredo Grieco, and Khalil Drira (CNRS, France; IRIT, France; University of Toulouse, France; Politecnico di Bari, Italy) @InProceedings{MODELS15p477, author = {Cédric Eichler and Thierry Monteil and Patricia Stolf and Alfredo Grieco and Khalil Drira}, title = {Enhanced Graph Rewriting Systems for Complex Software Domains (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {477-476}, doi = {}, year = {2015}, } Article: models15sosym-j2-p doi:
	Sun, Jun	MODELS '15: "Formalizing and Verifying ..." Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract) Yang Liu, Mikhail Auguston, Jun Sun, Jin Song Dong, and Tieming Chen (Nanyang Technological University, Singapore; Naval Postgraduate School, USA; Singapore University of Technology and Design, Singapore; National University of Singapore, Singapore; Zhejiang University of Technology, China) @InProceedings{MODELS15p497, author = {Yang Liu and Mikhail Auguston and Jun Sun and Jin Song Dong and Tieming Chen}, title = {Formalizing and Verifying Stochastic System Architectures Using Monterey Phoenix (SoSyM Abstract)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {497-496}, doi = {}, year = {2015}, } Article: models15sosym-j4-p doi:
	Sunkle, Sagar	MODELS '15: "Model-Driven Regulatory Compliance: ..." Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations Sagar Sunkle, Deepali Kholkar, and Vinay Kulkarni (Tata Consultancy Services, India) @InProceedings{MODELS15p457, author = {Sagar Sunkle and Deepali Kholkar and Vinay Kulkarni}, title = {Model-Driven Regulatory Compliance: A Case Study of "Know Your Customer" Regulations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {457-456}, doi = {}, year = {2015}, } Article: models15meip-meipp047-p doi:
	Szvetits, Michael	MODELS '15: "Reusable Event Types for Models ..." Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena Michael Szvetits and Uwe Zdun (University of Applied Sciences Wiener Neustadt, Austria; University of Vienna, Austria) @InProceedings{MODELS15p7, author = {Michael Szvetits and Uwe Zdun}, title = {Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2015}, } Article: models15found-foundp018-p doi:
	Troya, Javier	MODELS '15: "Fully Verifying Transformation ..." Fully Verifying Transformation Contracts for Declarative ATL Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer (McGill University, Canada; Vienna University of Technology, Austria) @InProceedings{MODELS15p267, author = {Bentley James Oakes and Javier Troya and Levi Lúcio and Manuel Wimmer}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2015}, } Article: models15found-foundp119-p doi:
	Valentim, Natasha M. Costa	MODELS '15: "A Controlled Experiment with ..." A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques Natasha M. Costa Valentim, Jacilane Rabelo, Ana Carolina Oran, Tayana Conte, and Sabrina Marczak (Federal University of Amazonas, Brazil; PUCRS, Brazil) @InProceedings{MODELS15p217, author = {Natasha M. Costa Valentim and Jacilane Rabelo and Ana Carolina Oran and Tayana Conte and Sabrina Marczak}, title = {A Controlled Experiment with Usability Inspection Techniques Applied to Use Case Specifications: Comparing the MIT 1 and the UCE Techniques}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {217-216}, doi = {}, year = {2015}, } Article: models15found-foundp105-p doi:
	Vallecillo, Antonio	MODELS '15: "Employing Classifying Terms ..." Employing Classifying Terms for Testing Model Transformations Martin Gogolla, Antonio Vallecillo, Loli Burgueño, and Frank Hilken (University of Bremen, Germany; University of Málaga, Spain) @InProceedings{MODELS15p327, author = {Martin Gogolla and Antonio Vallecillo and Loli Burgueño and Frank Hilken}, title = {Employing Classifying Terms for Testing Model Transformations}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {327-326}, doi = {}, year = {2015}, } Article: models15found-foundp153-p doi:
	Vallejo, Paola	MODELS '15: "Improving Reuse by means of ..." Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study Paola Vallejo, Mickaël Kerboeuf, Kevin J. M. Martin, and Jean-Philippe Babau (University Bretagne-Occidentale, France; CNRS, France; University Bretagne-Sud, France) @InProceedings{MODELS15p377, author = {Paola Vallejo and Mickaël Kerboeuf and Kevin J. M. Martin and Jean-Philippe Babau}, title = {Improving Reuse by means of Asymmetrical Model Migrations: An Application to the Orcc Case Study}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {377-376}, doi = {}, year = {2015}, } Article: models15meip-meipp010-p doi:
	Vara Larsen, Matias Ezequiel	MODELS '15: "A Behavioral Coordination ..." A Behavioral Coordination Operator Language (BCOoL) Matias Ezequiel Vara Larsen, Julien DeAntoni, Benoit Combemale, and Frédéric Mallet (University of Nice Sophia Antipolis, France; INRIA, France; University of Rennes 1, France) @InProceedings{MODELS15p197, author = {Matias Ezequiel Vara Larsen and Julien DeAntoni and Benoit Combemale and Frédéric Mallet}, title = {A Behavioral Coordination Operator Language (BCOoL)}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {197-196}, doi = {}, year = {2015}, } Article: models15found-foundp099-p doi:
	Voeten, Jeroen	MODELS '15: "Modular Model-Based Supervisory ..." Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines Bram van der Sanden, Michel Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, and Ramon Schiffelers (Eindhoven University of Technology, Netherlands; TNO Embedded Systems Innovation, Netherlands; ASML, Netherlands) @InProceedings{MODELS15p437, author = {Bram van der Sanden and Michel Reniers and Marc Geilen and Twan Basten and Johan Jacobs and Jeroen Voeten and Ramon Schiffelers}, title = {Modular Model-Based Supervisory Controller Design for Wafer Logistics in Lithography Machines}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {437-436}, doi = {}, year = {2015}, } Article: models15meip-meipp036-p doi:
	Weisemöller, Ingo	MODELS '15: "Systematically Deriving Domain-Specific ..." Systematically Deriving Domain-Specific Transformation Languages Katrin Hölldobler, Bernhard Rumpe, and Ingo Weisemöller (RWTH Aachen University, Germany) @InProceedings{MODELS15p147, author = {Katrin Hölldobler and Bernhard Rumpe and Ingo Weisemöller}, title = {Systematically Deriving Domain-Specific Transformation Languages}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {147-146}, doi = {}, year = {2015}, } Article: models15found-foundp066-p doi:
	Wille, Robert	MODELS '15: "Checking Concurrent Behavior ..." Checking Concurrent Behavior in UML/OCL Models Nils Przigoda, Christoph Hilken, Robert Wille, Jan Peleska, and Rolf Drechsler (University of Bremen, Germany; DFKI, Germany) @InProceedings{MODELS15p187, author = {Nils Przigoda and Christoph Hilken and Robert Wille and Jan Peleska and Rolf Drechsler}, title = {Checking Concurrent Behavior in UML/OCL Models}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {187-186}, doi = {}, year = {2015}, } Article: models15found-foundp092-p doi: MODELS '15: "Extracting Frame Conditions ..." Extracting Frame Conditions from Operation Contracts Philipp Niemann, Frank Hilken, Martin Gogolla, and Robert Wille (University of Bremen, Germany) @InProceedings{MODELS15p277, author = {Philipp Niemann and Frank Hilken and Martin Gogolla and Robert Wille}, title = {Extracting Frame Conditions from Operation Contracts}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {277-276}, doi = {}, year = {2015}, } Article: models15found-foundp120-p doi:
	Wimmer, Manuel	MODELS '15: "Fully Verifying Transformation ..." Fully Verifying Transformation Contracts for Declarative ATL Bentley James Oakes, Javier Troya, Levi Lúcio, and Manuel Wimmer (McGill University, Canada; Vienna University of Technology, Austria) @InProceedings{MODELS15p267, author = {Bentley James Oakes and Javier Troya and Levi Lúcio and Manuel Wimmer}, title = {Fully Verifying Transformation Contracts for Declarative ATL}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {267-266}, doi = {}, year = {2015}, } Article: models15found-foundp119-p doi:
	Yskout, Koen	MODELS '15: "SoSPa: A System of Security ..." SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems Phu H. Nguyen, Koen Yskout, Thomas Heyman, Jacques Klein, Riccardo Scandariato, and Yves Le Traon (University of Luxembourg, Luxembourg; Simula Research Laboratory, Norway; KU Leuven, Belgium; Chalmers University of Technology, Sweden; University of Gothenburg, Sweden) @InProceedings{MODELS15p257, author = {Phu H. Nguyen and Koen Yskout and Thomas Heyman and Jacques Klein and Riccardo Scandariato and Yves Le Traon}, title = {SoSPa: A System of Security Design Patterns for Systematically Engineering Secure Systems}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {257-256}, doi = {}, year = {2015}, } Article: models15found-foundp117-p doi:
	Yue, Tao	MODELS '15: "Formalizing the ISO/IEC/IEEE ..." Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard Shaukat Ali and Tao Yue (Simula Research Laboratory, Norway; University of Oslo, Norway) @InProceedings{MODELS15p417, author = {Shaukat Ali and Tao Yue}, title = {Formalizing the ISO/IEC/IEEE 29119 Software Testing Standard}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {417-416}, doi = {}, year = {2015}, } Article: models15meip-meipp030-p doi:
	Zdun, Uwe	MODELS '15: "Reusable Event Types for Models ..." Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena Michael Szvetits and Uwe Zdun (University of Applied Sciences Wiener Neustadt, Austria; University of Vienna, Austria) @InProceedings{MODELS15p7, author = {Michael Szvetits and Uwe Zdun}, title = {Reusable Event Types for Models at Runtime to Support the Examination of Runtime Phenomena}, booktitle = {Proc.\ MODELS}, publisher = {IEEE}, pages = {7-6}, doi = {}, year = {2015}, } Article: models15found-foundp018-p doi:

191 authors

proc time: 0.11