Stefan Lukesch und Resmerita - Info zur Person

hol-info Mailing List for HOL theorem-proving system

sourceforge.net

Model-based, mutation-driven test case generation via heuristic-guided branching search * Stefan Resmerita, Andreas Naderlinger and Stefan Lukesch. Efficient Realization of Logical Execution Times in Legacy Embedded Software * Max Scheerer, Axel Busch and Anne Koziolek. Automatic Evaluation of ...

[PDF] Poster Abstract: Towards Parallelizing Legacy Embedded Control...

www.semanticscholar.org

@article{Hennig2016PosterAT, title={Poster Abstract: Towards Parallelizing Legacy Embedded Control Software Using the LET Programming Paradigm}, author={Julien Hennig and Hermann von Hasseln and Hassan Mohammad and Stefan Resmerita and Stefan Lukesch and Andreas Naderlinger}, journal={2016 IEEE ...

dblp: Stefan Resmerita

dblp.uni-trier.de

List of computer science publications by Stefan Resmerita

Search results for "ISORC Workshops" – FacetedDBLP

dblp.l3s.de

1, Stefan Resmerita, Anton Poelzleitner, Stefan Lukesch · Addressing Non- functional Requirements for Embedded Applications with Platform Based Aspect Design. Search on Bibsonomy · ISORC Workshops The full citation details , DBLP DOI BibTeX RDF. 1, Bekim Cilku, Daniel Prokesch, Peter P. Puschner ...

Addressing Non-functional Requirements for Embedded …

www.bing.com

WebStefan Resmerita, Anton Poelzleitner, and Stefan Lukesch Department of Computer Sciences, University of Salzburg, Salzburg, Austria Email: fstefan.resmerita, …

[clean-list] MEMOCODE (Call for Participation)

www.mail-archive.com

Model-based, mutation-driven test case generation via heuristic-guided branching search * Stefan Resmerita, Andreas Naderlinger and Stefan Lukesch. Efficient Realization of Logical Execution Times in Legacy Embedded Software * Max Scheerer, Axel Busch and Anne Koziolek. Automatic Evaluation of ...

MEMOCODE (Call for Participation)

www.bing.com

Web* Stefan Resmerita, Andreas Naderlinger and Stefan Lukesch. Efficient Realization of Logical Execution Times in Legacy Embedded Software * Max Scheerer, Axel Busch and …

Modeling and Simulation of Software Execution Time in …

www.bing.com

WebResmerita, Stefan; Pölzleitner, Anton ; Lukesch, Stefan./ Modeling and Simulation of Software Execution Time in Embedded Systems.Proceedings of the 10th Annual …

Stefan Lukesch und Resmerita Person-Info

hol-info Mailing List for HOL theorem-proving system

[PDF] Poster Abstract: Towards Parallelizing Legacy Embedded Control...

dblp: Stefan Resmerita

Search results for "ISORC Workshops" – FacetedDBLP

Alle Infos zum Namen "Stefan Lukesch"

Addressing Non-functional Requirements for Embedded …

[clean-list] MEMOCODE (Call for Participation)

MEMOCODE (Call for Participation)

Modeling and Simulation of Software Execution Time in …