Systems Modelling and Management: First International Conference, ICSMM 2020, Bergen, Norway, June 25–26, 2020, Proceedings

[1]  Heiko Koziolek,et al.  A classification framework for automated control code generation in industrial automation , 2020, J. Syst. Softw..

[2]  Heiko Koziolek,et al.  Rule-based Code Generation in Industrial Automation: Four Large-scale Case Studies applying the CAYENNE Method , 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP).

[3]  Taylor T. Johnson,et al.  SLEMI: Equivalence Modulo Input (EMI) Based Mutation of CPS Models for Finding Compiler Bugs in Simulink , 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).

[4]  Jörg Kienzle,et al.  Toward model-driven sustainability evaluation , 2020, Commun. ACM.

[5]  Samia Jenkal,et al.  A low cost controller of PV system based on Arduino board and INC algorithm , 2020 .

[6]  Tine Nordgreen,et al.  Reusable Data Visualization Patterns for Clinical Practice , 2020, ICSMM.

[7]  Hans Vangheluwe,et al.  FTG+PM: Describing Engineering Processes in Multi-Paradigm Modelling , 2020, Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems.

[8]  Neal R Haddaway,et al.  Which academic search systems are suitable for systematic reviews or meta‐analyses? Evaluating retrieval qualities of Google Scholar, PubMed, and 26 other resources , 2020, Research synthesis methods.

[9]  Sayf Rashid.  Automatic Classification of UML Sequence Diagrams from Images , 2019 .

[10]  Yngve Lamo,et al.  A Visual Analytics Dashboard to support iCBT Therapists , 2019 .

[11]  Kamal Al-Haddad,et al.  Improved Restricted Control Set Model Predictive Control (iRCS-MPC) Based Maximum Power Point Tracking of Photovoltaic Module , 2019, IEEE Access.

[12]  Aitor Arrieta,et al.  Pareto efficient multi-objective black-box test case selection for simulation-based testing , 2019, Inf. Softw. Technol..

[13]  Richard F. Paige,et al.  On-the-Fly Translation and Execution of OCL-Like Queries on Simulink Models , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

[14]  Tom Schrijvers,et al.  CONDEnSe: Contract Based Design Synthesis , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS).

[15]  Lionel C. Briand,et al.  Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior , 2019, IEEE Transactions on Software Engineering.

[16]  Antonio Cicchetti,et al.  Impediments to Introducing Continuous Integration for Model-Based Development in Industry , 2019, 2019 45th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).

[17]  Antonio Vallecillo,et al.  Contents for a Model-Based Software Engineering Body of Knowledge , 2019, Software and Systems Modeling.

[18]  Andy Schürr,et al.  Incremental Bidirectional Model Transformation with eMoflon: : IBeX , 2019, Bx@PLW.

[19]  Birgit Vogel-Heuser,et al.  Managing inter-model inconsistencies in model-based systems engineering: Application in automated production systems engineering , 2019, J. Syst. Softw..

[20]  Takashi Tomita,et al.  A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models , 2019, 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE).

[21]  Lionel C. Briand,et al.  Evaluating model testing and model checking for finding requirements violations in Simulink models , 2019, ESEC/SIGSOFT FSE.

[22]  Amy M. Sitapati,et al.  Virtual Care 2.0—a Vision for the Future of Data-Driven Technology-Enabled Healthcare , 2019, Current Treatment Options in Cardiovascular Medicine.

[23]  Joachim Denil,et al.  Valid (Re-)Use of Models-of-the-Physics in Cyber-Physical Systems Using Validity Frames , 2019, 2019 Spring Simulation Conference (SpringSim).

[24]  Nikolaos Papakonstantinou,et al.  ENPRO Data Integration: Extending DEXPI Towards the Asset Lifecycle , 2019, Chemie Ingenieur Technik.

[25]  Gregor Engels,et al.  Modular Construction of Context-Specific Test Case Migration Methods , 2019, MODELSWARD.

[26]  Colin Atkinson,et al.  Single Underlying Models for Projectional, Multi-View Environments , 2019, MODELSWARD.

[27]  Federico Ciccozzi,et al.  Multi-view approaches for software and system modelling: a systematic literature review , 2019, Software and Systems Modeling.

[28]  Azad M. Madni,et al.  Leveraging Digital Twin Technology in Model-Based Systems Engineering , 2019, Syst..

[29]  Nelly Bencomo,et al.  Models@run.time: a guided tour of the state of the art and research challenges , 2018, Software & Systems Modeling.

[30]  Alexander Egyed,et al.  An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing , 2019, J. Object Technol..

[31]  Federico Ciccozzi,et al.  Lightweight Consistency Checking for Agile Model-Based Development in Practice , 2019, J. Object Technol..

[32]  Jordi Cabot,et al.  TemporalEMF: A Temporal Metamodeling Framework , 2018, ER.

[33]  Benoît Combemale,et al.  Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling , 2018, MODELS Workshops.

[34]  Antonio Vallecillo,et al.  Extending Complex Event Processing to Graph-structured Information , 2018, MoDELS.

[35]  Birgit Vogel-Heuser,et al.  Automated Generation of Modular PLC Control Software from P&ID Diagrams in Process Industry , 2018, 2018 IEEE International Systems Engineering Symposium (ISSE).

[36]  Christoph Seidl,et al.  Improving custom-tailored variability mining using outlier and cluster detection , 2018, Sci. Comput. Program..

[37]  Stijn Derammelaere,et al.  Energy-efficient sensorless load angle control of a BLDC motor using sinusoidal currents , 2018 .

[38]  Thomas H. Bradley,et al.  Effective Model-Based Systems Engineering , 2018 .

[39]  Salem Hasnaoui,et al.  A Simulink-Based Rapid Prototyping Workflow for Optimizing Software/Hardware Programming , 2018, 2018 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM).

[40]  Rainer Drath,et al.  Digitalization of the IEC PAS 63131 Standard with AutomationML , 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

[41]  Douglas Thain,et al.  Reproducibility in Scientific Computing , 2018, ACM Comput. Surv..

[42]  Aitor Arrieta,et al.  Multi-objective black-box test case selection for cost-effectively testing simulation models , 2018, GECCO.

[43]  Antonio Vallecillo,et al.  Expressing Measurement Uncertainty in OCL/UML Datatypes , 2018, ECMFA.

[44]  Taylor T. Johnson,et al.  A Curated Corpus of Simulink Models for Model-Based Empirical Studies , 2018, 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS).

[45]  Shafiul Azam Chowdhury.  Understanding and Improving Cyber-Physical System Models and Development Tools , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[46]  Gregor Engels,et al.  Poster: CrossEcore: An Extendible Framework to Use Ecore and OCL Across Platforms , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

[47]  Taylor T. Johnson,et al.  Automatically Finding Bugs in a Commercial Cyber-Physical System Development Tool Chain With SLforge , 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

[48]  Dirk Draheim,et al.  Supporting the Model-Driven Organization Vision through Deep, Orthographic Modeling , 2018, Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model..

[49]  Bart Meyers,et al.  Enabling design-space exploration for domain-specific modelling , 2018, SpringSim.

[50]  Othman Nasri,et al.  Artificial Neural Network-based Fault Detection , 2018, 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT).

[51]  Alberto L. Sangiovanni-Vincentelli,et al.  Contracts for System Design , 2018, Found. Trends Electron. Des. Autom..

[52]  Arsénio Reis,et al.  Using Online Artificial Vision Services to Assist the Blind - an Assessment of Microsoft Cognitive Services and Google Cloud Vision , 2018, WorldCIST.

[53]  Enes Yigitbas,et al.  Who Guards the Guards? On the Validation of Test Case Migration , 2018 .

[54]  Katharina Stark,et al.  State-based control of process services within modular process plants , 2018 .

[55]  Colin Atkinson,et al.  Multi-level modeling with MELANEE , 2018, MODELS Workshops.

[56]  Uwe Assmann,et al.  Model Synchronization with the Role-oriented Single Underlying Model , 2018, MoDELS.

[57]  Joachim Denil,et al.  Generation of test strategies for Model-based Functional Safety testing using an Artifact-centric approach , 2018, MODELS Workshops.

[58]  Andreas Winter,et al.  Model Consistency ensured by Metamodel Integration , 2018, MODELS Workshops.

[59]  Bernhard Rumpe,et al.  Fast Simulation Preorder Algorithm , 2018, MODELSWARD.

[60]  Dejan Nickovic,et al.  Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications , 2018, Lectures on Runtime Verification.

[61]  Özgür Üstün,et al.  High performance position control of double sided air core linear brushless DC motor , 2017, 2017 10th International Conference on Electrical and Electronics Engineering (ELECO).

[62]  Colin Atkinson,et al.  A Deep View-Point Language for Projective Modeling , 2017, 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC).

[63]  Bernhard Rumpe,et al.  Component and Connector Views in Practice: An Experience Report , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[64]  Georg Schitter,et al.  Ontology-based framework for the generation of interlock code with redundancy elimination , 2017, 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

[65]  Nelly Bencomo.  The Role of models@run.time in Autonomic Systems: Keynote , 2017, 2017 IEEE International Conference on Autonomic Computing (ICAC).

[66]  Xiao Wu,et al.  Optimal Test Case Generation for Simulink Models Using Slicing , 2017, 2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).

[67]  Ernesto Damiani,et al.  A Model-Driven Methodology for Big Data Analytics-as-a-Service , 2017, 2017 IEEE International Congress on Big Data (BigData Congress).

[68]  A. Raouf,et al.  Mutation Testing Based Evaluation of Formal Verification Tools , 2017, 2017 International Conference on Dependable Systems and Their Applications (DSA).

[69]  Sebastian Herold,et al.  Architecture consistency: State of the practice, challenges and requirements , 2017, Empirical Software Engineering.

[70]  Antonio Vallecillo,et al.  The experiment model and validity frame in M&S , 2017, SpringSim.

[71]  Wil M. P. van der Aalst,et al.  RapidProM: Mine Your Processes and Not Just Your Data , 2017, ArXiv.

[72]  M. C. Parikh,et al.  A Review on Optical Character Recognition Techniques , 2017 .

[73]  C. Adams,et al.  Factors Associated With Dropout During Recruitment and Follow-Up Periods of a mHealth-Based Randomized Controlled Trial for Mobile.Net to Encourage Treatment Adherence for People With Serious Mental Health Problems , 2017, Journal of medical Internet research.

[74]  Stefano Bistarelli,et al.  PrOnto: an Ontology Driven Business Process Mining Tool , 2017, KES.

[75]  Danny Weyns,et al.  Software Engineering of Self-Adaptive Systems: An Organised Tour and Future Challenges , 2017 .

[76]  Rick Salay,et al.  Modeling Frames , 2017, MODELS.

[77]  Ralph Gerbig,et al.  Deep, Seamless, Multi-format, Multi-notation Definition and Use of Domain-specific Languages , 2017 .

[78]  Frâncila Weidt,et al.  Systematic Literature Review in Computer Science - A Practical Guide , 2016 .

[79]  Benoît Combemale,et al.  Execution framework of the GEMOC studio (tool demo) , 2016, SLE.

[80]  Gregorio Robles,et al.  The quest for open source projects that use UML: mining GitHub , 2016, MoDELS.

[81]  Erik Duval,et al.  Creating Effective Learning Analytics Dashboards: Lessons Learnt , 2016, EC-TEL.

[82]  Alexander Fay,et al.  Automatic derivation of qualitative plant simulation models from legacy piping and instrumentation diagrams , 2016, Comput. Chem. Eng..

[83]  Yu Jiang,et al.  Verifying Simulink Stateflow model: Timed automata approach , 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).

[84]  Thorsten Pawletta,et al.  Model-based testing methodology using system entity structures for MATLAB/Simulink models , 2016, Simul..

[85]  Leon Urbas,et al.  Concept for the detection of virtual functional modules in existing plant topologies , 2016, 2016 IEEE 14th International Conference on Industrial Informatics (INDIN).

[86]  Valentin Moreno,et al.  Automatic classification of web images as UML diagrams , 2016, CERI.

[87]  Gauthier Picard,et al.  Continuous graph pattern matching over knowledge graph streams , 2016, DEBS.

[88]  Kurt Rothermel,et al.  GraphCEP: real-time data analytics using parallel complex event and graph processing , 2016, DEBS.

[89]  Andrey Brito,et al.  Real-time social network graph analysis using StreamMine3G , 2016, DEBS.

[90]  Vincenzo Gulisano,et al.  The DEBS 2016 grand challenge , 2016, DEBS.

[91]  Srinath Perera,et al.  Continuous analytics on graph data streams using WSO2 complex event processor , 2016, DEBS.

[92]  Jorge Munoz-Gama,et al.  Process mining in healthcare: A literature review , 2016, J. Biomed. Informatics.

[93]  Jennifer Davis,et al.  Effective DevOps: Building a Culture of Collaboration, Affinity, and Tooling at Scale , 2016 .

[94]  Dániel Varró,et al.  Foundations for Streaming Model Transformations by Complex Event Processing , 2016, Software & Systems Modeling.

[95]  Lionel C. Briand,et al.  Automated Test Suite Generation for Time-Continuous Simulink Models , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

[96]  Ákos Horváth,et al.  Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework , 2016, Software & Systems Modeling.

[97]  Fevzi Belli,et al.  Model-based mutation testing - Approach and case studies , 2016, Sci. Comput. Program..

[98]  Aloysius K. Mok,et al.  Stability and Performance Analysis of Time-Delayed Actuator Control Systems , 2016 .

[99]  Alexander Pretschner,et al.  Profiting from Unit Tests for Integration Testing , 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[100]  Stefan Kowalewski,et al.  Flow Sensitive Slicing for MATLAB/Simulink Models , 2016, 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA).

[101]  Erik Schultes,et al.  The FAIR Guiding Principles for scientific data management and stewardship , 2016, Scientific Data.

[102]  Myungryun Yoo,et al.  A Simulink to UML model transformation tool for embedded control software development , 2016, 2016 IEEE International Conference on Industrial Technology (ICIT).

[103]  G. Andersson,et al.  Internet-supported versus face-to-face cognitive behavior therapy for depression , 2016, Expert review of neurotherapeutics.

[104]  Arne Lange,et al.  dACL: the deep constraint and action language for static and dynamic semantic definition in Melanee , 2016 .

[105]  Hans Vangheluwe,et al.  Engineering Process Transformation to Manage (In)consistency , 2016, COMMitMDE@MoDELS.

[106]  Antonio Cicchetti,et al.  Semantic-based Model Matching with EMFCompare , 2016, ME@MODELS.

[107]  Jens Oehlerking,et al.  Verifying Properties of an Electro-Mechanical Braking System , 2015, ARCH@CPSWeek.

[108]  Valeriy Vyatkin,et al.  Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems , 2015, 2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS).

[109]  Birgit Vogel-Heuser,et al.  Evolution of software in automated production systems: Challenges and research directions , 2015, J. Syst. Softw..

[110]  Anand Natarajan,et al.  Assessment of wind turbine drive-train fatigue loads under torsional excitation ☆ , 2015 .

[111]  Alexander Fay,et al.  Virtual plants for brown-field projects , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[112]  Muhammad Rashid,et al.  Toward the tools selection in model based system engineering for embedded systems - A systematic literature review , 2015, J. Syst. Softw..

[113]  Dr. S. Vijayarani,et al.  Performance Comparison of OCR Tools , 2015, International Journal of UbiComp.

[114]  Sander J. J. Leemans,et al.  Scalable Process Discovery with Guarantees , 2015, BMMDS/EMMSAD.

[115]  James R. Cordy,et al.  Identifying Instances of Model Design Patterns and Antipatterns Using Model Clone Detection , 2015, 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering.

[116]  Linda Corrin,et al.  Loop: A learning analytics tool to provide teachers with useful data visualisations , 2015 .

[117]  David D. Walden,et al.  Systems engineering handbook : a guide for system life cycle processes and activities , 2015 .

[118]  Michel R. V. Chaudron,et al.  Automatic Classification of UML Class Diagrams from Images , 2014, 2014 21st Asia-Pacific Software Engineering Conference.

[119]  Jean-Marc Jézéquel,et al.  On the Globalization of Domain-Specific Languages , 2014, Globalizing Domain-Specific Languages.

[120]  Alexander Fay,et al.  Integrating plant and process information as a basis for automated plant diagnosis tasks , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[121]  Ulrich Epple,et al.  Rule-based engineering using declarative graph database queries , 2014, 2014 12th IEEE International Conference on Industrial Informatics (INDIN).

[122]  Alexander Egyed,et al.  Towards Model-and-Code Consistency Checking , 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.

[123]  Agus Budiyono,et al.  Reconfigurable Intelligent Control Architecture of a Small-Scale Unmanned Helicopter , 2014 .

[124]  Jean-Marc Jézéquel,et al.  Globalizing Modeling Languages , 2014 .

[125]  Thomas Tauchnitz,et al.  Schnittstellen für das integrierte Engineering , 2014, atp magazin.

[126]  Adelinde M. Uhrmacher,et al.  SESSL , 2014, ACM Trans. Model. Comput. Simul..

[127]  Ahsan Qamar,et al.  An Approach to Identifying Inconsistencies in Model-based Systems Engineering , 2014, CSER.

[128]  Arquimedes Canedo,et al.  Architectural Design Space Exploration of Cyber-physical Systems Using the Functional Modeling Compiler☆ , 2014 .

[129]  Gerti Kappel,et al.  On the Usage of UML: Initial Results of Analyzing Open UML Models , 2014, Modellierung.

[130]  Colin Atkinson,et al.  Enhancing classic transformation languages to support multi-level modeling , 2013, Software & Systems Modeling.

[131]  Holger Giese,et al.  On the Complex Nature of MDE Evolution , 2013, MoDELS.

[132]  Håkan Burden,et al.  Industrial Adoption of Model-Driven Engineering: Are the Tools Really the Problem? , 2013, MoDELS.

[133]  Michel R. V. Chaudron,et al.  Img2UML: A System for Extracting UML Models from Images , 2013, 2013 39th Euromicro Conference on Software Engineering and Advanced Applications.

[134]  Frank Elberzhager,et al.  Analysis and testing of matlab simulink models: a systematic mapping study , 2013, JAMAICA 2013.

[135]  Damien Foures,et al.  Simulation validation using the compatibility between simulation model and experimental frame , 2013, SummerSim.

[136]  Nina F. Thornhill,et al.  A combined analysis of plant connectivity and alarm logs to reduce the number of alerts in an automation system , 2013 .

[137]  Max E. Kramer,et al.  View-centric engineering with synchronized heterogeneous models , 2013 .

[138]  Gergely Varró,et al.  A Rete Network Construction Algorithm for Incremental Pattern Matching , 2013, ICMT.

[139]  Erik Burger,et al.  Flexible views for view-based model-driven development , 2013, WCOP '13.

[140]  G. Andersson,et al.  Guided Internet-Based CBT for Common Mental Disorders , 2013, Journal of Contemporary Psychotherapy.

[141]  Michel R. V. Chaudron,et al.  Extracting UML models from images , 2013, 2013 5th International Conference on Computer Science and Information Technology.

[142]  M. Provencher,et al.  Behavioural activation for depression: efficacy, effectiveness and dissemination. , 2013, Journal of affective disorders.

[143]  Alexander Fay,et al.  Automated generation of simulation models for control code tests , 2013 .

[144]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[145]  Herman Van der Auweraer,et al.  Virtual engineering at work: the challenges for designing mechatronic products , 2012, Engineering with Computers.

[146]  Valérie Issarny,et al.  The role of models@run.time in supporting on-the-fly interoperability , 2013, Computing.

[147]  Christiaan J. J. Paredis,et al.  Dependency Modeling and Model Management in Mechatronic Design , 2012, J. Comput. Inf. Sci. Eng..

[148]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[149]  Alice T. Sawyer,et al.  The Efficacy of Cognitive Behavioral Therapy: A Review of Meta-analyses , 2012, Cognitive Therapy and Research.

[150]  Hans Vangheluwe,et al.  The FTG+PM framework for multi-paradigm modelling: an automotive case study , 2012, MPM '12.

[151]  Jeffrey G. Gray,et al.  A model-driven approach to support engineering changes in industrial robotics software , 2012, MODELS'12.

[152]  Colin Atkinson,et al.  Melanie: multi-level modeling and ontology engineering environment , 2012, MW '12.

[153]  Udo Kelter,et al.  Understanding model evolution through semantically lifting model differences with SiLift , 2012, 2012 28th IEEE International Conference on Software Maintenance (ICSM).

[154]  Wil M. P. van der Aalst,et al.  Process Mining in Healthcare: Data Challenges When Answering Frequently Posed Questions , 2012, ProHealth/KR4HC.

[155]  Udo Kelter,et al.  Adaptability of model comparison tools , 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

[156]  Alois Zoitl,et al.  Automated code generation for programmable logic controllers based on knowledge acquisition from engineering artifacts: Concept and case study , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[157]  Bran Selic,et al.  What will it take? A view on adoption of model-based methods in practice , 2012, Software & Systems Modeling.

[158]  Efrén Gorrostieta Hurtado,et al.  A Fully Sensorized Cooperative Robotic System for Surgical Interventions , 2012, Sensors.

[159]  Antonio García Cabot,et al.  Performing systematic literature review in software engineering , 2012 .

[160]  Colin Atkinson,et al.  Towards Multi-level Aware Model Transformations , 2012, ICMT@TOOLS.

[161]  J. Kanter,et al.  Behavioural activation: history, evidence and promise. , 2012, The British journal of psychiatry : the journal of mental science.

[162]  Bastian Kennel,et al.  A unified framework for multi-level modeling , 2012 .

[163]  Jaume Barceló,et al.  Model-Based Systems Engineering: An Emerging Approach for Modern Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[164]  Ulrich Epple,et al.  An IEC-61131-based rule system for integrated automation engineering: Concept and case study , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[165]  Leon Urbas,et al.  autoHMI: a model driven software engineering approach for HMIs in process industries , 2011, 2011 IEEE International Conference on Computer Science and Automation Engineering.

[166]  Wil M. P. van der Aalst,et al.  Process Mining - Discovery, Conformance and Enhancement of Business Processes , 2011 .

[167]  Richard F. Paige,et al.  Rigorous identification and encoding of trace-links in model-driven engineering , 2010, Software & Systems Modeling.

[168]  Pearl Brereton,et al.  Systematic literature reviews in software engineering - A tertiary study , 2010, Inf. Softw. Technol..

[169]  Colin Atkinson.  Orthographic Software Modelling: A Novel Approach to View-Based Software Engineering , 2010, ECMFA.

[170]  Rainer Draht,et al.  Datenaustausch in der Anlagenplanung mit AutomationML , 2010 .

[171]  Gordon S. Blair,et al.  Models@ run.time , 2009, Computer.

[172]  Andreas Zeller,et al.  Javalanche: efficient mutation testing for Java , 2009, ESEC/SIGSOFT FSE.

[173]  Paul Klint,et al.  EASY Meta-programming with Rascal , 2009, GTTSE.

[174]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[175]  Richard F. Paige,et al.  Different models for model matching: An analysis of approaches to support model differencing , 2009, 2009 ICSE Workshop on Comparison and Versioning of Software Models.

[176]  Colin Atkinson,et al.  Orthographic Software Modeling: A Practical Approach to View-Based Development , 2009, ENASE.

[177]  Peter Liggesmeyer,et al.  Trends in Embedded Software Engineering , 2009, IEEE Software.

[178]  Nina F. Thornhill,et al.  Cause-and-effect analysis in chemical processes utilizing XML, plant connectivity and quantitative process history , 2009, Comput. Chem. Eng..

[179]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[180]  Wil M. P. van der Aalst,et al.  Process Mining towards Semantics , 2008, Advances in Web Semantics I.

[181]  Petra Kaufmann,et al.  We can work it out: Collaborative Conflict Resolution in Model Versioning , 2009, ECSCW.

[182]  Nina F. Thornhill,et al.  A practical method for identifying the propagation path of plant-wide disturbances , 2008 .

[183]  Bernhard Rumpe,et al.  MontiCore: Modular Development of Textual Domain Specific Languages , 2008, TOOLS.

[184]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[185]  Richard F. Paige,et al.  Detecting and Repairing Inconsistencies across Heterogeneous Models , 2008, 2008 1st International Conference on Software Testing, Verification, and Validation.

[186]  Charles M. Eastman,et al.  BIM Handbook: A Guide to Building Information Modeling for Owners, Managers, Designers, Engineers and Contractors , 2008 .

[187]  Genny Tortora,et al.  Recovering traceability links in software artifact management systems using information retrieval methods , 2007, TSEM.

[188]  Jonathan I. Maletic,et al.  Mining software repositories for traceability links , 2007, 15th IEEE International Conference on Program Comprehension (ICPC '07).

[189]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[190]  Wolfgang Marquardt,et al.  OntoCAPE - A large-scale ontology for chemical process engineering , 2007, Eng. Appl. Artif. Intell..

[191]  A. Fay,et al.  Computer-aided design and implementation of interlock control code , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[192]  Richard F. Paige,et al.  The Epsilon Object Language (EOL) , 2006, ECMDA-FA.

[193]  Jean Bézivin,et al.  Global Model Management in Eclipse GMT/AM3 , 2006 .

[194]  Julia Rubin,et al.  Model traceability , 2006, IBM Syst. J..

[195]  Marin Litoiu,et al.  An Architecture to Support Model Driven Software Visualization , 2006, 14th IEEE International Conference on Program Comprehension (ICPC'06).

[196]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[197]  Markus Völter,et al.  Model-Driven Software Development: Technology, Engineering, Management , 2006 .

[198]  Mamadou Kaba Traoré,et al.  Capturing the dual relationship between simulation models and their context , 2006, Simul. Model. Pract. Theory.

[199]  Boudewijn F. van Dongen,et al.  The ProM Framework: A New Era in Process Mining Tool Support , 2005, ICATPN.

[200]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[201]  Jean-Marie Favre,et al.  Towards a Basic Theory to Model Model Driven Engineering , 2004 .

[202]  Mary Shaw,et al.  What makes good research in software engineering? , 2002, International Journal on Software Tools for Technology Transfer.

[203]  Javier Larrosa,et al.  Constraint satisfaction algorithms for graph pattern matching , 2002, Mathematical Structures in Computer Science.

[204]  Licia Capra,et al.  xlinkit: a consistency checking and smart link generation service , 2002, TOIT.

[205]  Robert G. Sargent,et al.  Experimental frames in a modern modeling and simulation system , 2001 .

[206]  Colin Atkinson,et al.  Component-Based Software Engineering : The KobrA Approach , 2000 .

[207]  Magnus C. Ohlsson,et al.  Experimentation in Software Engineering , 2000, The Kluwer International Series in Software Engineering.

[208]  C. Mello,et al.  A Comparative Study on OCR Tools , 1999 .

[209]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[210]  Peter Fritzson,et al.  Modelica - A Unified Object-Oriented Language for System Modelling and Simulation , 1998, ECOOP.

[211]  Jan L. Top,et al.  Libraries of Reusable Models: Theory and Application , 1998, Simul..

[212]  Y. Benjamini,et al.  Controlling the false discovery rate: a practical and powerful approach to multiple testing , 1995 .

[213]  Albert Zündorf,et al.  Graph Pattern Matching in PROGRES , 1994, TAGT.

[214]  Andy Schürr,et al.  Specification of Graph Translators with Triple Graph Grammars , 1994, WG.

[215]  Jerzy W. Rozenblit,et al.  Please Scroll down for Article International Journal of General Systems Experimental Frame Specification Methodology for Hierarchical Simulation Modeling Experimental Frame Specification Methodology for Hierarchical Simulation Modeling , 2022 .

[216]  Charles L. Forgy,et al.  Rete: a fast algorithm for the many pattern/many object pattern match problem , 1991 .

[217]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[218]  Bernard P. Zeigler,et al.  The DEVS formalism: hierarchical, modular systems specification in an object oriented framework , 1987, WSC '87.

[219]  Richard J. Lipton,et al.  Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.

[220]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[221]  Jacob Cohen.  A Coefficient of Agreement for Nominal Scales , 1960 .

[222]  Justin Schwartz.  Engineering , 1929, Nature.