Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDICSMM 2020: Bergen, Norway
- Önder Babur, Joachim Denil, Birgit Vogel-Heuser:
Systems Modelling and Management - First International Conference, ICSMM 2020, Bergen, Norway, June 25-26, 2020, Proceedings. Communications in Computer and Information Science 1262, Springer 2020, ISBN 978-3-030-58166-4
Verification and Validation
- Kathrin Land, Birgit Vogel-Heuser, Suhyun Cha:
Applying Dynamic Programming to Test Case Scheduling for Automated Production Systems. 3-20 - Ivan Jovanovikj, Nils Weidmann, Enes Yigitbas, Anthony Anjorin, Stefan Sauer, Gregor Engels:
A Model-Driven Mutation Framework for Validation of Test Case Migration. 21-29 - Robbert Jongeling
, Johan Fredriksson, Federico Ciccozzi, Antonio Cicchetti, Jan Carlson:
Towards Consistency Checking Between a System Model and Its Implementation. 30-39
Applications
- Francis Bordeleau, Benoît Combemale, Romina Eramo, Mark van den Brand, Manuel Wimmer:
Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges. 43-54 - Fazle Rabbi, Jo Dugstad Wake, Tine Nordgreen:
Reusable Data Visualization Patterns for Clinical Practice. 55-72 - Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
A Model Based Slicing Technique for Process Mining Healthcare Information. 73-81 - Bert Van Acker, Yon Vanommeslaeghe, Paul De Meulenaere, Joachim Denil:
Validity Frame Driven Computational Design Synthesis for Complex Cyber-Physical Systems. 82-90 - Heiko Koziolek, Julius Rückert, Andreas Berlet:
Industrial Plant Topology Models to Facilitate Automation Engineering. 91-108
Methods, Techniques and Tools
- Alexander Boll, Timo Kehrer:
On the Replicability of Experimental Tool Evaluations in Model-Based Development - Lessons Learnt from a Systematic Literature Review Focusing on MATLAB/Simulink. 111-130 - Simon Van Mierlo, Bentley James Oakes, Bert Van Acker, Raheleh Eslampanah, Joachim Denil, Hans Vangheluwe:
Exploring Validity Frames in Practice. 131-148 - Weslley Torres, Mark G. J. van den Brand, Alexander Serebrenik:
Suitability of Optical Character Recognition (OCR) for Multi-domain Model Management. 149-162 - Arne Lange, Colin Atkinson, Christian Tunjic:
Simplified View Generation in a Deep View-Based Modeling Environment. 163-179 - Sebastian Ehmes, Lars Fritsche, Konrad Altenhofen:
GrapeL: Combining Graph Pattern Matching and Complex Event Processing. 180-196
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-25 20:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
