E-LIB Suche - Ergebnisse für: Schamai, Wladimir

1

TOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION:

Schamai, Wladimir ; Albarello, Nicolas ; Helle, Philipp..
INSIGHT. 20 (2017) 1 - p. 42-48 , 2017

Link: https://doi.org/10.1002/..

2

Testing of Autonomous Systems – Challenges and Current Stat..:

Helle, Philipp ; Schamai, Wladimir ; Strobel, Carsten
INCOSE International Symposium. 26 (2016) 1 - p. 571-584 , 2016

Link: https://doi.org/10.1002/..

3

Towards the Automation of Model‐Based Design Verification:

Schamai, Wladimir ; Helle, Philipp ; Albarello, Nicolas..
INCOSE International Symposium. 26 (2016) 1 - p. 585-599 , 2016

Link: https://doi.org/10.1002/..

4

Translation of UML state machines to Modelica: Handling sem..:

Schamai, Wladimir ; Fritzson, Peter ; Paredis, Chris JJ
SIMULATION. 89 (2013) 4 - p. 498-512 , 2013

Link: https://doi.org/10.1177/..

5

ModelicaML value bindings for automated model composition:

, In: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium,

Schamai, Wladimir ; Fritzson, Peter ; Paredis, Christiaan J. J.. - p. 1-8 , 2012

Link: https://dl.acm.org/doi/1..

6

Virtual Verification of System Designs against System Requi..:

, In: Models in Software Engineering; Lecture Notes in Computer Science,

Schamai, Wladimir ; Helle, Philipp ; Fritzson, Peter. - p. 75-89 , 2011

Link: https://doi.org/10.1007/..

7

Model-Based Testing 2010: Short Abstracts:

Tretmans, Jan ; Prester, Florian ; Helle, Philipp.
Electronic Notes in Theoretical Computer Science. 264 (2010) 3 - p. 85-99 , 2010

Link: https://doi.org/10.1016/..

8

5.5.1 An Overview of the SysML‐Modelica Transformation Spec..:

Paredis, Christiaan J.J. ; Bernard, Yves ; Burkhart, Roger M...
INCOSE International Symposium. 20 (2010) 1 - p. 709-722 , 2010

Link: https://doi.org/10.1002/..

9

Virtual verification of system designs against system requi..:

, In: Proceedings of the 2010 international conference on Models in software engineering,

Schamai, Wladimir ; Helle, Philipp ; Fritzson, Peter. - p. 75-89 , 2010

Link: https://dl.acm.org/doi/1..

10

The OpenModelica Integrated Environment for Modeling, Simul..:

Fritzson, Peter ; Pop, Adrian ; Abdelhak, Karim...
info:eu-repo/semantics/altIdentifier/wos/WOS:000605964400001. , 2020

Link: http://hdl.handle.net/11..

11

The OpenModelica Integrated Environment for Modeling, Simul..:

Fritzson, Peter ; Pop, Adrian ; Abdelhak, Karim...
Modeling, Identification and Control, 0332-7353, 2020, 41:4, s. 241-295. , 2020

Link: http://urn.kb.se/resolve..

12

An Aeronautic Case Study for Requirement Formalization and ..:

Schamai, Wladimir ; Buffoni, Lena ; Albarello, Nicolas..
Linköping Electronic Conference Proceedings, 1650-3686. , 2015

Link: http://urn.kb.se/resolve..

13

An Approach to Automated Model Composition Illustrated in t..:

Schamai, Wladimir ; Buffoni, Lena ; Fritzson, Peter
Modeling, Identification and Control, 1890-1328, 2014, 35:2, s. 79-91. , 2014

Link: http://urn.kb.se/resolve..

14

Model-Based Verification of Dynamic System Behavior against..:

Schamai, Wladimir
Linköping Studies in Science and Technology. Dissertations, 0345-7524. , 2013

Link: http://urn.kb.se/resolve..

15

ModelicaML Value Bindings for Automated Model Composition:

Schamai, Wladimir ; Fritzson, Peter ; Paredis, Christian J.J.
Simulation Series, 0735-9276. , 2012

Link: http://urn.kb.se/resolve..