Lena Lamprecht und Bernhard Steffen - Info zur Person

(1 - 20 von 23

)

SE Konferenzprogramm

www.se-konferenzen.de

Anna-Lena Lamprecht, Tiziana Margaria (Universität Göttingen), Bernhard Steffen (Universität Dortmund). State Identification and Verification using a Model ...

ETAPS 2006

www.complang.tuwien.ac.at

Anna-Lena Lamprecht, Tiziana Margaria (Univ. Göttingen, D), and Bernhard Steffen (Univ. Dortmund, D) The CGiS compiler Philipp Lucas, Nicolas Fritz, and Reinhard

Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, and Bernhard Steffen Synthesis from a practical perspective. In Leveraging ... Sven Jörges, Anna-Lena Lamprecht, Tiziana Margaria, Stefan Naujokat, and Bernhard Steffen Synthesis from a practical perspective. In Leveraging ...

PROPHETS - ContactTU Dortmund

ls5-www.cs.tu-dortmund.de

The concepts of loose programming are developed by Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen and Tiziana Margaria. Please visit their ... The concepts of loose programming are developed by Stefan Naujokat, Anna-Lena Lamprecht, Bernhard Steffen and Tiziana Margaria. Please visit their ...

BibSonomy

www.bibsonomy.org

Anna-Lena Lamprecht, Tiziana Margaria, and Bernhard Steffen. Datenflussanalyse als Modelchecking im jABC.. In Bettina Biel, Matthias Book, and Volker Gruhn ...

Compiler Construction: 15th International Conference, CC 2006, Held...

books.google.de

Data-Flow Analysis as Model Checking Within the jABC Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen The CGiS Compiler—A Tool ...

Leveraging Applications of Formal Methods, Verification, and ...google.de

books.google.de

... Lena Lamprecht. Preface. Since its initiation in ... Lena Lamprecht Symposium Chairs Tiziana Margaria Bernhard Steffen Editor Anna-Lena Lamprecht Reviewers ...

Process Design for Natural Scientists: An Agile Model-Driven ...google.de

books.google.de

... Lena Lamprecht and Tiziana Margaria Modeling and Execution of Scientific ... Lena Lamprecht, Tiziana Margaria, and Bernhard Steffen The Course's SIB ...

dblp: Bernhard Steffen

dblp.uni-trier.de

List of computer science publications by Bernhard Steffen

Search results for "EternalS@FET" – FacetedDBLP

dblp.l3s.uni-hannover.de

Anna-Lena Lamprecht, Tiziana Margaria, Ina Schaefer, Bernhard Steffen: Comparing Structure-Oriented and Behavior-Oriented Variability Modeling for Workflows.

CEUR-WS.org/Vol Semantic Web Applications and Tools for Life...

ftp.informatik.rwth-aachen.de

Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen; Structuring Mined Knowledge for the Support of Hypothesis Generation in Molecular Biology

Process Design for Natural Scientists - BookSpringer

link.springer.com

von AL Lamprecht · Zitiert von: 26 — Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. Pages The Course's SIB Libraries. Anna-Lena Lamprecht, Alexander Wickert. Pages Lessons ... von AL Lamprecht · Zitiert von: 26 — Anna-Lena Lamprecht, Tiziana Margaria, Bernhard Steffen. Pages The Course's SIB Libraries. Anna-Lena Lamprecht, Alexander Wickert. Pages Lessons ...

Call for Participation: SWAT4LS, Edinburgh, UK, 28 November

lists.w3.org

BioGateway: integrated RDF for life science queries * Anna-Lena Lamprecht, Tiziana Margaria and Bernhard Steffen. Supporting Process Development in Bio-jETI by Model