MODELS 2020 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (399)

A Mohamed AbdelrazekAbdelrazek, Mohamed Deakin University, AustraliaAustralia Towards User-Centred tooling for Modelling of Big Data Applications
Silvia AbrahãoAbrahão, Silvia Universitat Politècnica de ValènciaSpain Vice-Chair in Steering Committee for MODELS 2020 PC Chair (P&I) in Organizing Committee for MODELS 2020 Session Chair of Most Influential Papers (part of MODELS Awards) Welcome to MODELS 2020 Chair in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Mathieu AcherAcher, Mathieu Université of Rennes 1 Workshops Chair in Organizing Committee for MODELS 2020 Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Chairs within the MODELS Workshops-track
Lorenzo AddaziAddazi, Lorenzo Mälardalen University Using Benji to Systematically Evaluate Model Comparison Algorithms
Joao AguiamAguiam, Joao Towards high-level fuzzy control specifications for building automation systems
Manar H. AlalfiAlalfi, Manar H. Ryerson University Doctoral Symposium Chair in Organizing Committee for MODELS 2020 Committee Member in Chairs within the MODELS Doctoral Symposium-track
Omar AlamAlam, Omar Trent UniversityCanada Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams
Stéphane AlarieAlarie, Stéphane Hydro-QuébecCanada Model-Based Optimization Applications at Hydro-Québec
Mauricio AlferezAlferez, Mauricio Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
Shaukat AliAli, Shaukat Simula Research Lab Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Vahid AlizadehAlizadeh, Vahid DePaul University Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective Approach
Matthieu AllonAllon, Matthieu Template Based Model Engineering in UML
Camilo AlmendraAlmendra, Camilo Universidade Federal do CearáBrazil Using empirical studies to mitigate symbol overload in iStar extensions
Juliana Alves PereiraAlves Pereira, Juliana PUC-RioBrazil Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Sanaa AlwidianAlwidian, Sanaa University of MontrealCanada "Union is Power": Analyzing Families of Goal Models using Union Models
Vasco AmaralAmaral, Vasco Universidade Nova de Lisboa Towards high-level fuzzy control specifications for building automation systems
Daniel AmyotAmyot, Daniel University of OttawaCanada "Union is Power": Analyzing Families of Goal Models using Union Models
Anthony AnjorinAnjorin, Anthony Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach Variability Representations in Class Models: An Empirical Assessment Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Nicholas AnnableAnnable, Nicholas Assurance of Complex Software-Intensive Systems using WF+
Nicolas AnquetilAnquetil, Nicolas University of Lille, Lille, FranceFrance A model-driven traceability framework for software product lines
João AraújoAraújo, João Using empirical studies to mitigate symbol overload in iStar extensions
Lorena ArcegaArcega, Lorena San Jorge UniversitySpain Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Mehrnoosh AskarpourAskarpour, Mehrnoosh McMaster University, Computing and Software Department Assurance of Complex Software-Intensive Systems using WF+
Hamna AslamAslam, Hamna Papyrus for gamers, let's play modeling
Uwe AßmannAßmann, Uwe TU Dresden, Germany Connecting conceptual models using Relational Reference Attribute Grammars
Colin AtkinsonAtkinson, Colin Germany Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Joanne M. AtleeAtlee, Joanne M. University of WaterlooCanada Session Chair of A7-Safety, Security and Testing (part of MODELS Technical Track) mel - Model Extractor Language for Extracting Facts from Models Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
B Majid BabaeiBabaei, Majid Queen's UniversityCanada MReplayer: A Trace Replayer of Distributed UML-RT Models Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development
Aren BabikianBabikian, Aren McGill University Automated Generation of Consistent Models with Structural and Attribute Constraints
Omar BadreddinBadreddin, Omar University of TexasUnited States Regional publicity chair (North America) in Organizing Committee for MODELS 2020 ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories
Mojtaba BagherzadehBagherzadeh, Mojtaba Synthesis of State Machine Models MReplayer: A Trace Replayer of Distributed UML-RT Models Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development On the benefits of file-level modularity for EMF models A model-based architecture for interactive run-time monitoring Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Alessandra BagnatoBagnato, Alessandra Softeam Committee Member in Poster Committee within the MODELS Posters-track
Manas BajajBajaj, Manas Intercax Syndeia - Interdisciplinary integration and Digital thread with OpenMBEE
Mikhail BarashBarash, Mikhail University of Bergen, NorwayNorway Domain-Specific Languages with JetBrains MPS Enabling Language Engineering for the Masses
Matthias BarkowskyBarkowsky, Matthias Hasso Plattner Institute, University of Potsdam, Germany A Scalable Querying Scheme for Memory-efficient Runtime Models with History A Scalable Querying Scheme for Memory-efficient Runtime Models with History
Konstantinos BarmpisBarmpis, Konstantinos Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Angela BarrigaBarriga, Angela An extensible framework for customizable model repair
Janis BarzdinsBarzdins, Janis Metamodel specialization based DSL for DL lifecycle data management
Paulis BarzdinsBarzdins, Paulis Metamodel specialization based DSL for DL lifecycle data management
Francesco BascianiBasciani, Francesco University of L'AquilaItaly Big Data Polystore Management with TYPHON TyphonML: a Modeling Environment to Develop Hybrid Polystores
Don BatoryBatory, Don University of Texas, AustinUnited States Committee Member in Steering Committee for MODELS 2020
Benoit BaudryBaudry, Benoit KTH Royal Institute of TechnologySweden Committee Member in Steering Committee for MODELS 2020
Luis BeaucampBeaucamp, Luis An Exploratory Study on Performance Engineering in Model Transformations
Steffen BeckerBecker, Steffen University of StuttgartGermany An Exploratory Study on Performance Engineering in Model Transformations
Nelly BencomoBencomo, Nelly Aston UniversityUnited Kingdom Workshops Chair in Organizing Committee for MODELS 2020 Session Chair of A3-Systems Engineering II (part of MODELS Technical Track) Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Chairs within the MODELS Workshops-track
Yoshua BengioBengio, Yoshua Université de MontréalCanada Priors for deep learning of semantic representations
Phillipa BennettBennett, Phillipa The University of the West Indies Regional publicity chair (Central America) in Organizing Committee for MODELS 2020 Committee Member in Program Committee within the MODELS Educators Symposium-track
Luca BerardinelliBerardinelli, Luca Johannes Kepler University LinzAustria DevOpsML: Towards Modeling DevOps Processes and Platforms
Thorsten BergerBerger, Thorsten Chalmers University of Technology, Sweden / University of Gothenburg, SwedenSweden Variability Representations in Class Models: An Empirical Assessment
Gábor BergmannBergmann, Gábor Budapest University of Technology and Economics / MTA-BME Lendület Research Group on Cyber-Physical Systems, HungaryHungary Incremental Evaluation of Model Queries over EMF Models Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Joerg BerrothBerroth, Joerg Modeling Mechanical Functional Architectures in SysML
Imad BerrouyneBerrouyne, Imad CyprIoT Project - An Open Source Toolset to Model and Generate a Network of Things
Valentin BesnardBesnard, Valentin Designing, Animating, and Verifying Partial UML Models
Weiyi BianBian, Weiyi Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams
Mark BlackburnBlackburn, Mark Stevens Institute of Technologies and SERC Roadmap Concept with OpenMBEE and Cyber Ontology Example
Eric BoddenBodden, Eric Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
Daria BogdanovaBogdanova, Daria KU LeuvenBelgium Educator Symposium Chair in Organizing Committee for MODELS 2020 Welcome Committee Member in Chairs within the MODELS Educators Symposium-track
Francis BordeleauBordeleau, Francis École de Technologie Supérieure (ETS)Canada Sponsor chair in Organizing Committee for MODELS 2020 Session Chair of B1-Systems Engineering I (part of MODELS Technical Track) Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Younes BoubekeurBoubekeur, Younes McGill UniversityCanada Automatic Assessment of Students' Software Models Using a Simple Heuristic and Machine Learning Towards a Better Understanding of Interactions with a Domain Modeling Assistant
Erwan BousseBousse, Erwan University of NantesFrance Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Marco BrambillaBrambilla, Marco Politecnico di MilanoItaly Panel: Modeling in the era of data
Susanne BraunBraun, Susanne Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Thilo BraunBraun, Thilo SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles
Ruth BreuBreu, Ruth University of InnsbruckAustria Committee Member in Steering Committee for MODELS 2020 Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Lionel BriandBriand, Lionel SnT Centre/University of LuxembourgLuxembourg Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
Jean-Michel BruelBruel, Jean-Michel Université de Toulouse, FranceFrance Papyrus for gamers, let's play modeling Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Matthias BrunBrun, Matthias Designing, Animating, and Verifying Partial UML Models
Antonio BucchiaroneBucchiarone, Antonio Fondazione Bruno Kessler, Trento, ItalyItaly Papyrus for gamers, let's play modeling
Thomas BuchmannBuchmann, Thomas Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Lola BurgueñoBurgueño, Lola Open University of Catalonia & CEA LIST Session Chair of A4-Requirements (part of MODELS Technical Track) Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track Committee Member in Program Committee within the MODELS Tutorials-track
Arvid ButtingButting, Arvid Software Engineering RWTH Aachen UniversityGermany A Compositional Framework for Systematic Modeling Language Reuse
C Juan C. VidaC. Vida, Juan Towards high-level fuzzy control specifications for building automation systems
Jordi CabotCabot, Jordi ICREA - UOC Chair in Steering Committee for MODELS 2020 A model-based approach for developing event-driven architectures with AsyncAPI Papyrus for gamers, let's play modeling Committee Member in Program Board within the MODELS Technical Track-track
Simin CaiCai, Simin Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
Jan CarlsonCarlson, Jan Malardalen University Co-evolution of Simulink Models in a Model-Based Product Line
Olivier CaronCaron, Olivier Template Based Model Engineering in UML
Paulo CarreiraCarreira, Paulo Towards high-level fuzzy control specifications for building automation systems
Bernard CarréCarré, Bernard Template Based Model Engineering in UML
Jaelson CastroCastro, Jaelson Using empirical studies to mitigate symbol overload in iStar extensions
Silvia CeballosCeballos, Silvia IEEE Computer Society Committee Member in Steering Committee for MODELS 2020
Edgars CelmsCelms, Edgars Metamodel specialization based DSL for DL lifecycle data management
Carlos CetinaCetina, Carlos San Jorge University, SpainSpain Committee Member in Program Committee within the MODELS Workshops-track
Stéphanie ChallitaChallita, Stéphanie Inria, France Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Michel ChaudronChaudron, Michel Chalmers University of Technology Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Marsha ChechikChechik, Marsha University of Toronto, CanadaCanada Session Chair of B3-Model Analysis and Validation (part of MODELS Technical Track) Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Boqi ChenChen, Boqi Automated Video Game World Map Synthesis by Model-Based Techniques
Betty H.C. ChengCheng, Betty H.C. Michigan State UniversityUnited States Model-Driven Engineering for Data-Centric Autonomous Systems AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
Zheng ChengCheng, Zheng France Certifying Rule-Based Model Transformation Engines for Proof Preservation
Vincent CheutetCheutet, Vincent An improved approach on the model checking for an agent-based simulation system
Jörg Christian KirchhofChristian Kirchhof, Jörg Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
Antonio CicchettiCicchetti, Antonio Mälardalen UniversitySweden Session Chair of A6-Modeling Environments and Model Search (part of MODELS Technical Track) Using Benji to Systematically Evaluate Model Comparison Algorithms Co-evolution of Simulink Models in a Model-Based Product Line Papyrus for gamers, let's play modeling Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Federico CiccozziCiccozzi, Federico Malardalen University Co-evolution of Simulink Models in a Model-Based Product Line Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Robert ClarkClark, Robert AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
Peter ClarkeClarke, Peter Florida International University Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Workshops-track
Alessandro ColantoniColantoni, Alessandro Johannes Kepler University LinzAustria DevOpsML: Towards Modeling DevOps Processes and Platforms
Benoit CombemaleCombemale, Benoit University of Toulouse and InriaFrance Tools & Demos chairs in Organizing Committee for MODELS 2020 Session Chair of B4-Language Engineering and Modularity (part of MODELS Technical Track) Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Chairs within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Justin CooperCooper, Justin Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation
James R. CordyCordy, James R. Synthesis of State Machine Models
Steven CornfordCornford, Steven JPL / Caltech MBMA - Model Based Mission Assurance for NASA
Krzysztof CzarneckiCzarnecki, Krzysztof University of Waterloo, CanadaCanada Models in AI-enabled systems: the case of automated driving
D Bruno da Silvada Silva, Bruno California Polytechnic State UniversityUnited States What's the Grade of your Diagram? Towards a Streamlined Approach for Grading UML Diagrams
Rustem DautovDautov, Rustem Model-Based Automatic Fleet Deployment of Edge Computing Applications
Alfonso de la Vegade la Vega, Alfonso University of YorkUnited Kingdom Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation
Juan de Larade Lara, Juan Universidad Autónoma de Madrid Committee Member in Steering Committee for MODELS 2020 PC Chair (FT) in Organizing Committee for MODELS 2020 Welcome to MODELS 2020 Chair in PC - Foundations Track within the MODELS Technical Track-track
Thomas DegueuleDegueule, Thomas CNRS, LaBRIFrance Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track Committee Member in Program Committee within the MODELS Tutorials-track
Jérôme DelatourDelatour, Jérôme Designing, Animating, and Verifying Partial UML Models
Chris DelpDelp, Chris JPL / Caltech Welcome and OpenMBEE Introduction
Birgit DemuthDemuth, Birgit TU DresdenGermany Committee Member in Program Committee within the MODELS Educators Symposium-track
Joachim DenilDenil, Joachim University of Antwerp, Belgium Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Nisha DesaiDesai, Nisha Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USE
Byron DevriesDevries, Byron Grand Valley State UniversityUnited States Committee Member in Program Committee within the MODELS Workshops-track
Elisabetta Di NittoDi Nitto, Elisabetta Politecnico di MilanoItaly Committee Member in Steering Committee for MODELS 2020
Davide Di RuscioDi Ruscio, Davide University of L'AquilaItaly ACM SRC chair in Organizing Committee for MODELS 2020 Using Model Transformation Compositions in Low-Code Development Platforms Keynote by Davide Di Ruscio TyphonML: a Modeling Environment to Develop Hybrid Polystores Using the Low-code Paradigm to Support the Development of Recommender Systems Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Chairs within the MODELS ACM Student Research Competition-track
Alessio Di SandroDi Sandro, Alessio MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
Claudio Di SipioDi Sipio, Claudio University of L'AquilaItaly Using the Low-code Paradigm to Support the Development of Recommender Systems
Juergen DingelDingel, Juergen Queen's University, Kingston, Ontario Committee Member in Steering Committee for MODELS 2020 Doctoral Symposium Chair in Organizing Committee for MODELS 2020 MReplayer: A Trace Replayer of Distributed UML-RT Models Efficient Reordering and Replay of Execution Traces of Distributed Reactive Systems in the Context of Model-driven Development On the benefits of file-level modularity for EMF models A model-based architecture for interactive run-time monitoring Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Chairs within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS Tutorials-track
Zinovy DiskinDiskin, Zinovy McMaster University Assurance of Complex Software-Intensive Systems using WF+
Zinovy DiskinDiskin, Zinovy Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Herart Dominggus NurueDominggus Nurue, Herart A Model-driven Alternative to Programming in Blocks using Rule-based Transformations
Imke DraveDrave, Imke Modeling Mechanical Functional Architectures in SysML
Catherine DuboisDubois, Catherine ENSIIE Paris-Evry Committee Member in Program Committee within the MODELS Educators Symposium-track
Jens DyvikDyvik, Jens A Parametric Model For Creating Customized Fabrication Machines
Stefan DziwokDziwok, Stefan Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
E Sebastian EbertEbert, Sebastian Technische Universität DresdenGermany Connecting conceptual models using Relational Reference Attribute Grammars
Alexander EgyedEgyed, Alexander Johannes Kepler University Linz Committee Member in Steering Committee for MODELS 2020 Keynote by Alexander Egyed
Sigrid EldhEldh, Sigrid Ericsson, SwedenSweden ...everything is a model!
Gregor EngelsEngels, Gregor Paderborn UniversityGermany Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Romina EramoEramo, Romina University of L'AquilaItaly Regional publicity chair (Europe) in Organizing Committee for MODELS 2020 Benchmarking bidirectional transformations: theory, implementation, application, and assessment Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Huseyin ErginErgin, Huseyin Ball State UniversityUnited States Artifact Evaluation Chair in Organizing Committee for MODELS 2020 A Model-driven Alternative to Programming in Blocks using Rule-based Transformations Committee Member in Chairs within the MODELS Artifact Evaluation-track
F Rodrigo FalcãoFalcão, Rodrigo Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Michalis FamelisFamelis, Michalis Université de MontréalCanada Educator Symposium Chair in Organizing Committee for MODELS 2020 Publicity Chair in Organizing Committee for MODELS 2020 Welcome Committee Member in Chairs within the MODELS Educators Symposium-track Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Kleinner FariasFarias, Kleinner University of Vale do Rio dos Sinos (UNISINOS)Brazil What's the Grade of your Diagram? Towards a Streamlined Approach for Grading UML Diagrams
Nicolas FerryFerry, Nicolas Model-Based Automatic Fleet Deployment of Edge Computing Applications
Bernd FischerFischer, Bernd Stellenbosch UniversitySouth Africa Regional publicity chair (Africa) in Organizing Committee for MODELS 2020
Jonathon FleckFleck, Jonathon AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
Charles FleurentFleurent, Charles GIRO A data-intensive software application for customer-centered transit planning
Franck FleureyFleurey, Franck Model-Based Automatic Fleet Deployment of Edge Computing Applications
Marie-Saphira Flug (inactive profile)Flug (inactive profile), Marie-Saphira Big Data Polystore Management with TYPHON
Jaime FontFont, Jaime San Jorge University, Spain Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Frikk FossdalFossdal, Frikk A Parametric Model For Creating Customized Fabrication Machines
Erik FredericksFredericks, Erik Grand Valley State UniversityUnited States Committee Member in Program Committee within the MODELS Workshops-track
Lars FritscheFritsche, Lars Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach
G Charles GaleyGaley, Charles Lockheed Martin Corporation The MBEE Core Framework (MCF) a platform for OpenMBEE’s next generation
Barbara GallinaGallina, Barbara Mälardalen UniversitySweden Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
Antonio Garcia-DominguezGarcia-Dominguez, Antonio Aston UniversityUnited Kingdom Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Program Committee within the MODELS Workshops-track
Antonio GarmendiaGarmendia, Antonio Austria Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Sebastian GerardGerard, Sebastian CEA Saclay - NanoInnovFrance Papyrus for gamers, let's play modeling Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Simos GerasimouGerasimou, Simos University of York, UKUnited Kingdom Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Matthias GerbershagenGerbershagen, Matthias Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Sona GhahremaniGhahremani, Sona Hasso Plattner Institute, University of PotsdamGermany A Scalable Querying Scheme for Memory-efficient Runtime Models with History
Sudipto GhoshGhosh, Sudipto Colorado State University, USAUnited States Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Holger GieseGiese, Holger Hasso Plattner Institute, University of PotsdamGermany A Scalable Querying Scheme for Memory-efficient Runtime Models with History From classic to agile: Experiences from more than a decade of project-based modeling education
Michael W. GodfreyGodfrey, Michael W. University of Waterloo, CanadaCanada mel - Model Extractor Language for Extracting Facts from Models
Martin GogollaGogolla, Martin Enhancing Development and Consistency of UML Models and Model Executions with USE Studio Strengthening Validation of Model Behavior through Filmstrip Templates in the tool USE On Teaching Descriptive and Prescriptive Modeling Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Enyo GonçalvesGonçalves, Enyo Using empirical studies to mitigate symbol overload in iStar extensions
Miguel GoulaoGoulao, Miguel NOVA-LINCS, FCT/UNLPortugal Using empirical studies to mitigate symbol overload in iStar extensions
Bence GraicsGraics, Bence Budapest University of Technology and EconomicsHungary Mixed-semantics composition of statecharts for the component-based design of reactive systems
Mikus GrasmanisGrasmanis, Mikus Metamodel specialization based DSL for DL lifecycle data management
Jeff GrayGray, Jeff University of Alabama Committee Member in Steering Committee for MODELS 2020 Session Chair of Most Influential Papers (part of MODELS Awards) A Model-driven Alternative to Programming in Blocks using Rule-based Transformations Panel: Modeling in the era of data Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Joel GreenyerGreenyer, Joel Germany Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Raffaela GronerGroner, Raffaela A Profiler for the Matching Process of Henshin An Exploratory Study on Performance Engineering in Model Transformations Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature Review
John GrundyGrundy, John Monash UniversityAustralia Towards User-Centred tooling for Modelling of Big Data Applications
Esther GuerraGuerra, Esther Universidad Autónoma de Madrid Proceedings Chair in Organizing Committee for MODELS 2020 Committee Member in Program Committee within the MODELS Tutorials-track
Milena GuessiGuessi, Milena Ark: a constraint-based method for architectural synthesis of smart systems
Christian GuistGuist, Christian Modeling Mechanical Functional Architectures in SysML
Sophie GylstorffGylstorff, Sophie A Profiler for the Matching Process of Henshin
Abel GómezGómez, Abel Universitat Oberta de CatalunyaSpain A model-based approach for developing event-driven architectures with AsyncAPI
Sebastian GötzGötz, Sebastian Technische Universität DresdenGermany Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Stefan GötzGötz, Stefan Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature Review
Stephan GünnemannGünnemann, Stephan From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)
H Finn HacketHacket, Finn Computer Science, University of Waterloo mel - Model Extractor Language for Extracting Facts from Models
Robert HackmanHackman, Robert mel - Model Extractor Language for Extracting Facts from Models
Øystein HaugenHaugen, Øystein Østfold University College Committee Member in Steering Committee for MODELS 2020
Dylan HavelockHavelock, Dylan Automated Video Game World Map Synthesis by Model-Based Techniques
Xiao HeHe, Xiao University of Science and Technology Beijing, China Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Regina HebigHebig, Regina Chalmers University of Technology & University of GothenburgSweden Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Reiko HeckelHeckel, Reiko University of LeicesterUnited Kingdom Graph Transformation for Software Engineers
Constance HeitmeyerHeitmeyer, Constance Naval Research Laboratory, washington DCUnited States Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Rogardt HeldalHeldal, Rogardt A Parametric Model For Creating Customized Fabrication Machines
Rogardt HeldalHeldal, Rogardt An extensible framework for customizable model repair
José Antonio Hernández LópezHernández López, José Antonio MAR: A structure-based search engine for models
Michael HerzbergHerzberg, Michael University of SheffieldUnited Kingdom Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Nicolas HiliHili, Nicolas A model-based architecture for interactive run-time monitoring
Nicolas HiliHili, Nicolas IRT Saint-ExupéryFrance Committee Member in Poster Committee within the MODELS Posters-track
Georg HinkelHinkel, Georg Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Truong Ho-QuangHo-Quang, Truong Committee Member in Poster Committee within the MODELS Posters-track
Gregor HoepfnerHoepfner, Gregor Modeling Mechanical Functional Architectures in SysML
Jörg HoltmannHoltmann, Jörg Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
Jennifer HorkoffHorkoff, Jennifer Chalmers and the University of GothenburgSweden Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Fulya HorozalHorozal, Fulya Big Data Polystore Management with TYPHON
Ákos HorváthHorváth, Ákos Incremental Evaluation of Model Queries over EMF Models
John HoskingHosking, John University of AucklandNew Zealand Towards User-Centred tooling for Modelling of Big Data Applications
Joachim HotonnierHotonnier, Joachim France Certifying Rule-Based Model Transformation Engines for Proof Preservation
Zhenjiang HuHu, Zhenjiang Peking University, China Committee Member in Steering Committee for MODELS 2020 Panel chair in Organizing Committee for MODELS 2020 Session Chair of Panel (part of MODELS Panel)
Marianne HuchardHuchard, Marianne LIRMMFrance Committee Member in PC - Foundations Track within the MODELS Technical Track-track
I Markel Iglesias-UrkiaIglesias-Urkia, Markel A model-based approach for developing event-driven architectures with AsyncAPI
Emilio InsfranInsfran, Emilio Universitat Politècnica de València, SpainSpain Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Ludovico IovinoIovino, Ludovico Gran Sasso Science Institute, L'Aquila, ItalyItaly Proceedings Chair in Organizing Committee for MODELS 2020 TyphonML: a Modeling Environment to Develop Hybrid Polystores An extensible framework for customizable model repair Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Ana IvanchikjIvanchikj, Ana Software Institute, Faculty of Informatics, USI Lugano From Text to Visual BPMN Process Models: Design and Evaluation From Text to Visual BPMN Process Models: Design and Evaluation
J Georg JacobsJacobs, Georg Modeling Mechanical Functional Architectures in SysML
Karim JahedJahed, Karim Queen's University On the benefits of file-level modularity for EMF models A model-based architecture for interactive run-time monitoring
Rodi JolakJolak, Rodi Chalmers \| University of GothenburgSweden Committee Member in Poster Committee within the MODELS Posters-track
Robbert JongelingJongeling, Robbert Malardalen UniversitySweden Co-evolution of Simulink Models in a Model-Based Product Line Committee Member in Poster Committee within the MODELS Posters-track Committee Member in Poster Committee within the MODELS Posters-track
Frédéric JouaultJouault, Frédéric ERIS Team, ESEO , France Designing, Animating, and Verifying Partial UML Models Committee Member in PC - Foundations Track within the MODELS Technical Track-track
K Nafiseh KahaniKahani, Nafiseh Synthesis of State Machine Models
Elina KalninaKalnina, Elina Concrete Syntax-Based Find for Graphical DSLs
Audris KalninsKalnins, Audris Metamodel specialization based DSL for DL lifecycle data management
Robert KarbanKarban, Robert JPL / Caltech Welcome and OpenMBEE Introduction Multi-Engine Executable Modeling at the Jet Propulsion Laboratory: System Level Execution Paradigm
Olaf KathKath, Olaf Ansys Germany GmbH Keynote by Olaf Kath
Arno KesperKesper, Arno Detecting Quality Problems in Research Data: A Model-Driven Approach Detecting Quality Problems in Research Data: A Model-Driven Approach
Marouane KessentiniKessentini, Marouane University of MichiganUnited States Committee Member in Steering Committee for MODELS 2020
Wael KessentiniKessentini, Wael Interactive Metamodel/Model Co-Evolution: A Clustering-based Multi-Objective Approach
Hourieh KhalajzadehKhalajzadeh, Hourieh Monash University, Australia Towards User-Centred tooling for Modelling of Big Data Applications
Djamel Eddine KhelladiKhelladi, Djamel Eddine CNRS, FranceFrance Posters Chair in Organizing Committee for MODELS 2020 Session Chair of Posters (part of MODELS Posters) Committee Member in Chairs within the MODELS Posters-track Committee Member in Program Committee within the MODELS Workshops-track
Ferhat KhendekKhendek, Ferhat Concordia University Posters Chair in Organizing Committee for MODELS 2020 Session Chair of Posters (part of MODELS Posters) Committee Member in Chairs within the MODELS Posters-track
Jörg KienzleKienzle, Jörg McGill University, CanadaCanada Committee Member in Steering Committee for MODELS 2020 Entertainment chair in Organizing Committee for MODELS 2020 Keynote: Opportunities for Intelligent Modelling Assistants in Teaching Is Automated Grading of Models Effective? Assessing Automated Grading of Class Diagrams Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Hsiang-Shang KoKo, Hsiang-Shang Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Thorsten KochKoch, Thorsten Scenario-based Specification of Security Protocols and Transformation to Security Model Checkers
Jens KohlKohl, Jens Modeling Mechanical Functional Architectures in SysML
Sahar KokalyKokaly, Sahar General MotorsCanada MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Dimitris KolovosKolovos, Dimitris University of YorkUnited Kingdom Session Chair of B5-Models and Data (part of MODELS Technical Track) To build, or not to build: ModelFlow, a build solution for MDE projects Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Enrique KrajmalnikKrajmalnik, Enrique ZukenUnited States Keynote: The OpenMBEE Community as Industry Driver
Roland KretschmerKretschmer, Roland Johannes Kepler Universität Linz Committee Member in Poster Committee within the MODELS Posters-track
Torsten KreutzerKreutzer, Torsten Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Thomas KuehneKuehne, Thomas Victoria University of Wellington Regional publicity chair (Oceania) in Organizing Committee for MODELS 2020
Uirá KuleszaKulesza, Uirá Federal University of Rio Grande do NorteBrazil A model-driven traceability framework for software product lines
Vinay KulkarniKulkarni, Vinay Tata Consultancy Services ResearchIndia Committee Member in Steering Committee for MODELS 2020 Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Thomas KühnKühn, Thomas Karlsruhe Institute of TechnologyGermany Committee Member in Program Committee within the MODELS Workshops-track
L Louis-Edouard LafontantLafontant, Louis-Edouard Gentleman a light-weight web-based projectional editor generator
Linda LamarreLamarre, Linda Université de Montréal Finance Chair in Organizing Committee for MODELS 2020
Leen LambersLambers, Leen From classic to agile: Experiences from more than a decade of project-based modeling education Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Michael LangfordLangford, Michael Michigan State University AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
Nancy LaraméeLaramée, Nancy IVADOCanada Industry days chair in Organizing Committee for MODELS 2020
Théo Le CalvarLe Calvar, Théo University of AngersFrance Designing, Animating, and Verifying Partial UML Models Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Xavier Le PallecLe Pallec, Xavier Papyrus for gamers, let's play modeling
Charles Lesire-CabaniolsLesire-Cabaniols, Charles ONERA - The French Aerospace Lab Formal Models to Program Autonomous Robots
Timothy LethbridgeLethbridge, Timothy University of OttawaCanada Committee Member in Steering Committee for MODELS 2020 Advanced Model-Oriented Programming Using Umple Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Anqi LiLi, Anqi Automated Generation of Consistent Models with Structural and Attribute Constraints
Yinling LiuLiu, Yinling An improved approach on the model checking for an agent-based simulation system
Roberto LopezLopez, Roberto ETS Montreal, University of QuebecCanada Session Chair of Keynote by Krzysztof Czarnecki (part of MODELS Keynotes)
Levi LucioLucio, Levi Germany Committee Member in Program Committee within the MODELS Tutorials-track
M Istvan MajzikMajzik, Istvan Budapest University of Technology and EconomicsHungary Mixed-semantics composition of statecharts for the component-based design of reactive systems
Mahdi ManeshManesh, Mahdi Porsche Digital GmbHGermany Session Chair of B8-Variability and Evaluation (part of MODELS Technical Track) Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Annapaola MarconiMarconi, Annapaola Fondazione Bruno Kessler, Trento, Italy Papyrus for gamers, let's play modeling
Magnus MarthinsenMarthinsen, Magnus Norway An extensible framework for customizable model repair
Kristóf MarussyMarussy, Kristóf Automated Generation of Consistent Models with Structural and Attribute Constraints
Nicholas MatragkasMatragkas, Nicholas University of YorkUnited Kingdom Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Shane McIntoshMcIntosh, Shane Automatic Assessment of Students' Software Models Using a Simple Heuristic and Machine Learning
Philip McKinleyMcKinley, Philip AC-ROS: Assurance Case Driven Adaptation for the Robot Operating System
Loup MeuriceMeurice, Loup Rever SA Big Data Polystore Management with TYPHON
Johannes MeyMey, Johannes Technische Universität Dresden Connecting conceptual models using Relational Reference Attribute Grammars
Judith MichaelMichael, Judith RWTH Aachen UniversityGermany Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
Ralf MitschkeMitschke, Ralf Technical University of Darmstadt A model-driven traceability framework for software product lines
Bharani MohanMohan, Bharani MapleSoft MapleMBSE: Collaborative Modeling with model transformation language & Excel with OpenMBEE
Armin MoinMoin, Armin Technical University of Munich, GermanyGermany From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)
Vince MolnárMolnár, Vince Budapest University of Technology and EconomicsHungary Mixed-semantics composition of statecharts for the component-based design of reactive systems
Ana MoreiraMoreira, Ana NOVA University of Lisbon and NOVA LINCSPortugal Committee Member in Steering Committee for MODELS 2020 A model-driven traceability framework for software product lines Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Brice MorinMorin, Brice SINTEFNorway Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Sébastien MosserMosser, Sébastien Université du Québec à MontréalCanada Student Volunteers Chair in Organizing Committee for MODELS 2020 Virtual Conference Chair in Organizing Committee for MODELS 2020 Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS Workshops-track
Gunter MussbacherMussbacher, Gunter McGill University, Canada Automatic Assessment of Students' Software Models Using a Simple Heuristic and Machine Learning Towards a Better Understanding of Interactions with a Domain Modeling Assistant
N Matthias NaabNaab, Matthias Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Elisa Yumi NakagawaNakagawa, Elisa Yumi University of São Paulo, Brazil Ark: a constraint-based method for architectural synthesis of smart systems
Claudia NassNass, Claudia Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Mathieu NayrollesNayrolles, Mathieu Ubisoft MontrealCanada Going full circle: from code to models to knowledge to code
Shiva NejatiNejati, Shiva University of Ottawa, CanadaCanada Committee Member in Steering Committee for MODELS 2020 Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track
Phuong T. NguyenNguyen, Phuong T. University of L’AquilaItaly Using the Low-code Paradigm to Support the Development of Recommender Systems
Dag NyströmNyström, Dag Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
O Ileana OberOber, Ileana University of Toulouse Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Jeff OffuttOffutt, Jeff George Mason UniversityUnited States Modeling presentation layers of web applications for testing
Robin OppermannOppermann, Robin Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach
Flavio OquendoOquendo, Flavio IRISA (UMR CNRS) - Univ. Bretagne-Sud (UBS)France Ark: a constraint-based method for architectural synthesis of smart systems
P Richard PaigePaige, Richard McMaster UniversityCanada Committee Member in Steering Committee for MODELS 2020 Sponsor chair in Organizing Committee for MODELS 2020 Tutorials Chair in Organizing Committee for MODELS 2020 To build, or not to build: ModelFlow, a build solution for MDE projects Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Chairs within the MODELS Tutorials-track
Cesare PautassoPautasso, Cesare Software Institute, Faculty of Informatics, USI LuganoSwitzerland From Text to Visual BPMN Process Models: Design and Evaluation From Text to Visual BPMN Process Models: Design and Evaluation
Mirko PerilloPerillo, Mirko Papyrus for gamers, let's play modeling
kelly Garces PernettPernett, kelly Garces Universidad de los Andes Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Gilles PerrouinPerrouin, Gilles Université de Namur Committee Member in Program Committee within the MODELS Workshops-track
Rob PettitPettit, Rob Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Jerome PfeifferPfeiffer, Jerome A Compositional Framework for Systematic Modeling Language Reuse
Alfonso PierantonioPierantonio, Alfonso Università degli Studi dell'AquilaItaly Using Model Transformation Compositions in Low-Code Development Platforms TyphonML: a Modeling Environment to Develop Hybrid Polystores Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Board within the MODELS Technical Track-track
Connor PlantePlante, Connor Automated Video Game World Map Synthesis by Model-Based Techniques
Fiona PolackPolack, Fiona Keele UniversityUnited Kingdom Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Alexander PretschnerPretschner, Alexander Committee Member in Steering Committee for MODELS 2020
Aleksander PrzybyloPrzybylo, Aleksander Boeing Commercial Airplanes Enterprise-Level Scalability with OpenMBEE
Q Ahsan QamarQamar, Ahsan Ford Motor Company Making data actionable - Visual Analytics Application to Model Based System Engineering and Systems Safety
R Erick RaelijohnRaelijohn, Erick University of MontrealCanada Web Chair in Organizing Committee for MODELS 2020
Khandoker RahadRahad, Khandoker ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories
Eric RaposRapos, Eric Miami UniversityUnited States Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Istvan RathRath, Istvan Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Daniel RatiuRatiu, Daniel Siemens Corporate TechnologyGermany Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Gianna ReggioReggio, Gianna University of Genoa, Italy Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Iris Reinhartz-BergerReinhartz-Berger, Iris University of HaifaIsrael Tutorials Chair in Organizing Committee for MODELS 2020 Committee Member in Program Committee within the MODELS Doctoral Symposium-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Chairs within the MODELS Tutorials-track
Arend RensinkRensink, Arend University of Twente, The NetherlandsNetherlands Committee Member in Program Committee within the MODELS Educators Symposium-track
Sayed Mohsin RezaReza, Sayed Mohsin PhD StudentUnited States ModelMine: A Tool to Facilitate Mining Models from Open Source Repositories
Sergejs RikacovsRikacovs, Sergejs Metamodel specialization based DSL for DL lifecycle data management
Jan Oliver RingertRingert, Jan Oliver University of LeicesterUnited Kingdom Semantic Comparisons of Alloy Models Semantic Comparisons of Alloy Models Committee Member in Program Committee within the MODELS Tutorials-track
Juri Di RoccoRocco, Juri Di University of L'AquilaItaly TyphonML: a Modeling Environment to Develop Hybrid Polystores Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Noa Roy-HubaraRoy-Hubara, Noa Ben-Gurion University of the NegevIsrael Model-based Handling of Polyglot Database Applications
Jean-Claude RoyerRoyer, Jean-Claude IMT Atlantique, Nantes, FranceFrance A model-driven traceability framework for software product lines
Andreas RummlerRummler, Andreas A model-driven traceability framework for software product lines
Bernhard RumpeRumpe, Bernhard RWTH AachenGermany Session Chair of Most Influential Papers (part of MODELS Awards) Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems Modeling Mechanical Functional Architectures in SysML A Compositional Framework for Systematic Modeling Language Reuse
Adrian RutleRutle, Adrian A Parametric Model For Creating Customized Fabrication Machines
Adrian RutleRutle, Adrian Western Norway University of Applied Sciences An extensible framework for customizable model repair
István RáthRáth, István IncQuery LabsHungary Model checking and validation with OpenMBEE and the IncQuery Suite Incremental Evaluation of Model Queries over EMF Models Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Stephan RösslerRössler, Stephan From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)
S Mehrdad SabetzadehSabetzadeh, Mehrdad University of OttawaCanada Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Apurvanand SahaySahay, Apurvanand Using Model Transformation Compositions in Low-Code Development Platforms
Houari SahraouiSahraoui, Houari Université de MontréalCanada General Chair in Organizing Committee for MODELS 2020 Session Chair of Keynote by Yoshua Benjio (part of MODELS Keynotes) Welcome to MODELS 2020
Lucas SakizloglouSakizloglou, Lucas Hasso Plattner Institute, University of PotsdamGermany A Scalable Querying Scheme for Memory-efficient Runtime Models with History
Rick SalaySalay, Rick University of TorontoCanada MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
June SallouSallou, June University of Rennes 1France Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Leila Samimi-DehkordiSamimi-Dehkordi, Leila Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Beatriz SanchezSanchez, Beatriz University of YorkUnited Kingdom To build, or not to build: ModelFlow, a build solution for MDE projects
Stefan SauerSauer, Stefan Paderborn UniversityGermany Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Maxime Savary-LeblancSavary-Leblanc, Maxime Papyrus for gamers, let's play modeling
Eric SaxSax, Eric SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles
Marouane SayihSayih, Marouane From Things' Modeling Language (ThingML) to Things' Machine Learning (ThingML2)
Riccardo ScandariatoScandariato, Riccardo Automating the Early Detection of Security Design Flaws
Sebastian ScholzeScholze, Sebastian Big Data Polystore Management with TYPHON
Wolfram SchulteSchulte, Wolfram Microsoft Committee Member in Steering Committee for MODELS 2020
Markus SchweitzerSchweitzer, Markus Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Stefan SchweitzerSchweitzer, Stefan Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Marcel SchäferSchäfer, Marcel Enhancing Development and Consistency of UML Models and Model Executions with USE Studio
René SchöneSchöne, René Technische Universität DresdenGermany Connecting conceptual models using Relational Reference Attribute Grammars
Andy SchürrSchürr, Andy TU Darmstadt Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach
Barbara SchüttSchütt, Barbara SceML - A Graphical Modeling Framework for Scenario-based Testing of Autonomous Vehicles
Cristina SeceleanuSeceleanu, Cristina Mälardalen UniversitySweden Specification and Automated Verification of Atomic Concurrent Real-Time Transactions
Ed SeidewitzSeidewitz, Ed Model Driven SolutionsUnited States SysML v2: What’s the Big Deal, Anyway? Introduction to the OMG Systems Modeling Language (SysML) Version 2
Bran SelicSelic, Bran Malina Software Corporation Session Chair of B7-Run-time and Architecture (part of MODELS Technical Track) On Teaching Descriptive and Prescriptive Modeling Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Gehan SelimSelim, Gehan MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
Oszkár SemeráthSemeráth, Oszkár Budapest University of Technology and EconomicsHungary Automated Video Game World Map Synthesis by Model-Based Techniques Automated Generation of Consistent Models with Structural and Attribute Constraints
souhaila serboutserbout, souhaila Software Institute @ USISwitzerland From Text to Visual BPMN Process Models: Design and Evaluation From Text to Visual BPMN Process Models: Design and Evaluation
Wenjun ShiShi, Wenjun East China Normal University, China A Model-driven Alternative to Programming in Blocks using Rule-based Transformations
Daniel SieglSiegl, Daniel LieberLieber SoftwareAustria Lemontree - Model Versioning and Diffing with OpenMBEE
Jocelyn SimmondsSimmonds, Jocelyn University of ChileChile Regional publicity chair (South America) in Organizing Committee for MODELS 2020
Anj SimmonsSimmons, Anj Deakin University Towards User-Centred tooling for Modelling of Big Data Applications
Laurens SionSion, Laurens imec-DistriNet, KU LeuvenBelgium Automating the Early Detection of Security Design Flaws
Monique SnoeckSnoeck, Monique Katholieke Universiteit LeuvenBelgium Committee Member in Program Committee within the MODELS Educators Symposium-track
Arnor SolbergSolberg, Arnor Tellu IoT ordinary PC member PI papers Model-Based Automatic Fleet Deployment of Edge Computing Applications
Arnor SolbergSolberg, Arnor Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Hui SongSong, Hui SINTEF DigitalNorway Social Media Chair in Organizing Committee for MODELS 2020 Regional publicity chair (Asia) in Organizing Committee for MODELS 2020 Model-Based Automatic Fleet Deployment of Edge Computing Applications Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
André SousaSousa, André FCT / Universidade Nova de LisboaPortugal A model-driven traceability framework for software product lines
João SousaSousa, João Towards high-level fuzzy control specifications for building automation systems
Maria SpichkovaSpichkova, Maria RMIT University, AustraliaAustralia Committee Member in Poster Committee within the MODELS Posters-track
Arturs SprogisSprogis, Arturs Metamodel specialization based DSL for DL lifecycle data management
Kathrin SpuetzSpuetz, Kathrin Modeling Mechanical Functional Architectures in SysML
Friedrich SteimannSteimann, Friedrich Fernuniversität Committee Member in Program Board within the MODELS Technical Track-track
Matthew StephanStephan, Matthew Miami UniversityUnited States Artifact Evaluation Chair in Organizing Committee for MODELS 2020 Committee Member in Chairs within the MODELS Artifact Evaluation-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Perdita StevensStevens, Perdita University of EdinburghUnited Kingdom Panel: Modeling in the era of data Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Daniel StrüberStrüber, Daniel Radboud University NijmegenNetherlands Session Chair of B6-Verification, Testing and Execution (part of MODELS Technical Track) Variability Representations in Class Models: An Empirical Assessment Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Markus StumptnerStumptner, Markus University of South Australia Committee Member in Poster Committee within the MODELS Posters-track
Arnon SturmSturm, Arnon Ben-Gurion University of the NegevIsrael Model-based Handling of Polyglot Database Applications
Michael SukkariehSukkarieh, Michael Automated Video Game World Map Synthesis by Model-Based Techniques
Gerson SunyéSunyé, Gerson LS2N, Université de NantesFrance Committee Member in Poster Committee within the MODELS Posters-track
Eugene SyrianiSyriani, Eugene Université de MontréalCanada Committee Member in Steering Committee for MODELS 2020 General Chair in Organizing Committee for MODELS 2020 Session Chair of Keynote by Betty Cheng (part of MODELS Keynotes) Gentleman a light-weight web-based projectional editor generator Welcome to MODELS 2020
Jesús Sánchez CuadradoSánchez Cuadrado, Jesús Session Chair of B2-MDE Process Support (part of MODELS Technical Track) MAR: A structure-based search engine for models Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
T Gabriele TaentzerTaentzer, Gabriele Universität MarburgGermany Detecting Quality Problems in Research Data: A Model-Driven Approach Detecting Quality Problems in Research Data: A Model-Driven Approach Graph Transformation for Software Engineers Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tutorials-track
Ciprian TeodorovTeodorov, Ciprian ENSTA Bretagne Designing, Animating, and Verifying Partial UML Models
Matthias TichyTichy, Matthias Ulm University, Germany A Profiler for the Matching Process of Henshin
Matthias TichyTichy, Matthias An Exploratory Study on Performance Engineering in Model Transformations
Matthias TichyTichy, Matthias Ulm University, Germany Claimed Advantages and Disadvantages of (dedicated) Model Transformation languages: A Systematic Literature Review Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Massimo TisiTisi, Massimo Session Chair of A5-Behavioural Modeling (part of MODELS Technical Track) Certifying Rule-Based Model Transformation Engines for Proof Preservation Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Juha-Pekka TolvanenTolvanen, Juha-Pekka MetaCaseFinland Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track
Damiano TorreTorre, Damiano University of LuxembourgLuxembourg Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
Marcus TrappTrapp, Marcus Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Katja TumaTuma, Katja Chalmers \| University of GothenburgSweden Automating the Early Detection of Security Design Flaws
U Aitor UrbietaUrbieta, Aitor A model-based approach for developing event-driven architectures with AsyncAPI
V Antonio VallecilloVallecillo, Antonio University of Málaga, SpainSpain Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS Tutorials-track
Mark van den Brandvan den Brand, Mark Eindhoven University of TechnologyNetherlands Committee Member in PC - Foundations Track within the MODELS Technical Track-track
Tijs van der Stormvan der Storm, Tijs CWI & University of Groningen, NetherlandsNetherlands Big Data Polystore Management with TYPHON
Gilles VanwormhoudtVanwormhoudt, Gilles Template Based Model Engineering in UML
Simon VargaVarga, Simon Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems
Daniel VarroVarro, Daniel McGill University / Budapest University of Technology and EconomicsCanada Committee Member in Steering Committee for MODELS 2020 Industry days chair in Organizing Committee for MODELS 2020 Incremental Evaluation of Model Queries over EMF Models The Automated Model Generation Challenge for the Assurance of Cyber-Physical Systems Automated Video Game World Map Synthesis by Model-Based Techniques Automated Generation of Consistent Models with Structural and Attribute Constraints Mixed-semantics composition of statecharts for the component-based design of reactive systems Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Alvaro VeizagaVeizaga, Alvaro Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models
Tarun VermaVerma, Tarun Towards User-Centred tooling for Modelling of Big Data Applications
Torin VigerViger, Torin MMINT-A 2.0: Tool Support for Lifecycle of Model-Driven Safety Artifacts
Markus VölterVölter, Markus itemis/independentGermany Systems Engineering on the Web: a language-workbench perspective
András VörösVörös, András Budapest University of Technology and EconomicsHungary Mixed-semantics composition of statecharts for the component-based design of reactive systems
W tao wangwang, tao An improved approach on the model checking for an agent-based simulation system
Syed Waqee WaliWaqee Wali, Syed University of Leicester, UKUnited Kingdom Semantic Comparisons of Alloy Models Semantic Comparisons of Alloy Models
Alan WassyngWassyng, Alan McMaster University, Canada Assurance of Complex Software-Intensive Systems using WF+
Nils WeidmannWeidmann, Nils Automating Test Schedule Generation with Domain-Specific Languages: A Configurable, Model-Driven Approach
Viola WenzWenz, Viola Philipps-Universität MarburgGermany Detecting Quality Problems in Research Data: A Model-Driven Approach Detecting Quality Problems in Research Data: A Model-Driven Approach
Bernhard WestfechtelWestfechtel, Bernhard University of Bayreuth Benchmarking bidirectional transformations: theory, implementation, application, and assessment
Manuel WimmerWimmer, Manuel Johannes Kepler University LinzAustria Tools & Demos chairs in Organizing Committee for MODELS 2020 Panel: Modeling in the era of data DevOpsML: Towards Modeling DevOps Processes and Platforms Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Chairs within the MODELS Tools & Demonstrations-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Nikolaus WireWire, Nikolaus Insights Collaboration Space – A Team Collaboration App for the Design of Data-Driven Services
Sophie WoodWood, Sophie Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering
Andreas WortmannWortmann, Andreas RWTH Aachen University Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems Modeling Mechanical Functional Architectures in SysML A Compositional Framework for Systematic Modeling Language Reuse Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Ye WuWu, Ye ESI Modeling presentation layers of web applications for testing
Andrzej WąsowskiWąsowski, Andrzej IT University of Copenhagen, DenmarkDenmark Committee Member in Steering Committee for MODELS 2020
Y Koen YskoutYskout, Koen imec - DistriNet, KU LeuvenBelgium Automating the Early Detection of Security Design Flaws
Tao YueYue, Tao Simula Research LaboratoryNorway Committee Member in Steering Committee for MODELS 2020 Uncertainty in Software Systems: The Inconvenient Truth Panel: Modeling in the era of data Committee Member in Program Board within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Workshops-track Committee Member in Program Committee within the MODELS ACM Student Research Competition-track
Z Manouchehr Zadahmad JafarlouZadahmad Jafarlou, Manouchehr Université de MontréalCanada Web Chair in Organizing Committee for MODELS 2020
Vadim ZaytsevZaytsev, Vadim University of Twente, The NetherlandsNetherlands Session Chair of A1-Model Transformation (part of MODELS Technical Track) Committee Member in PC - Practice and Innovation Track within the MODELS Technical Track-track Committee Member in Artifact Evaluation Committee within the MODELS Artifact Evaluation-track
Thilo ZerwasZerwas, Thilo Modeling Mechanical Functional Architectures in SysML
Haiqing ZhangZhang, Haiqing An improved approach on the model checking for an agent-based simulation system
Athanasios ZolotasZolotas, Athanasios Big Data Polystore Management with TYPHON
Steffen ZschalerZschaler, Steffen King's College LondonUnited Kingdom Session Chair of A2-Education and Games (part of MODELS Technical Track) Committee Member in Program Committee within the MODELS Educators Symposium-track Committee Member in PC - Foundations Track within the MODELS Technical Track-track Committee Member in Program Committee within the MODELS Tools & Demonstrations-track
Christian ZöllnerZöllner, Christian Hasso Plattner Institute, University of PotsdamGermany From classic to agile: Experiences from more than a decade of project-based modeling education
Albert ZündorfZündorf, Albert Kassel University Benchmarking bidirectional transformations: theory, implementation, application, and assessment