Login / Signup
Judith Thyssen
Publication Activity (10 Years)
Years Active: 2009-2013
Publications (10 Years): 0
Top Topics
Database
Petri Net
Reactive Systems
Temporal Logic
Top Venues
Softw. Syst. Model.
</>
Publications
</>
Judith Thyssen
,
Benjamin Hummel
Behavioral specification of reactive systems using stream-based I/O tables.
Softw. Syst. Model.
12 (2) (2013)
Judith Thyssen
,
Daniel Ratiu
,
Wolfgang Schwitzer
,
Alexander Harhurin
,
Martin Feilkas
,
Eike Thaden
A System for Seamless Abstraction Layers for Model-based Development of Embedded Software.
Software Engineering (Workshops)
(2010)
Markus Herrmannsdoerfer
,
Thomas Kofler
,
Stefano Merenda
,
Daniel Ratiu
,
Judith Thyssen
Model-based Development Tools for Embedded Systems in the Industry - Results from an Empirical Investigation.
Software Engineering (Workshops)
(2010)
Benjamin Hummel
,
Judith Thyssen
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables.
SEFM
(2009)