120 citations
- Robert Wille5 profiles10 · h 12
- Rudolf Ramler3 profiles7 · h 23
- Flavio Ferrarotti2 profiles6 · h 10
- Jorge Martinez-Gil3 profiles6 · h 8
- Daniel Dorfmeister2 profiles4 · h 3
- Bernhard Fischer2 profiles3 · h 5
- K. Schewe3 · h 27
- Lukas Burgholzer2 profiles3 · h 21
- Tom Peham2 profiles3 · h 9
- Aaron Sander2 profiles2 · h 3
- A. Mashkoor2 · h 17
- Dietmar Pfahl2 · h 39
- Technical University of MunichDE12 papers
- Johannes Kepler University of LinzAT6 papers
- Universität InnsbruckAT3 papers
- Australian National UniversityAU2 papers
- Freie Universität BerlinDE2 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE2 papers
- Munich Center for Quantum Science and TechnologyDE2 papers
- Universidad Nacional de La MatanzaAR2 papers
- University of Applied Sciences Upper AustriaAT2 papers
- University of TartuEE2 papers
- Anstalt für Verbrennungskraftmaschinen List (Austria)AT1 paper
- Artificial Intelligence Research InstituteES1 paper
5 papers · 1 filter
Model-Driven Development of High-Assurance Active Medical Devices
Atif Mashkoor
Advanced medical devices exploit the advantages of embedded software whose development is subject to compliance with stringent requirements of standardization and certification reg…
Towards the Trustworthy Development of Active Medical Devices: A Hemodialysis Case Study
Atif Mashkoor, Miklos Biro
The use of embedded software is advancing in modern medical devices, so does its capabilities and complexity. This paradigm shift brings many challenges such as an increased rate o…
Serialisable Multi-Level Transaction Control: A Specification and Verification
Egon Börger, Klaus-Dieter Schewe, Qing Wang
We define a programming language independent controller TaCtl for multi-level transactions and an operator , which when applied to concurrent programs with multi-level shared l…
A Logic for Non-Deterministic Parallel Abstract State Machines
Flavio Ferrarotti, Klaus-Dieter Schewe, Loredana Tec +1
We develop a logic which enables reasoning about single steps of non-deterministic parallel Abstract State Machines (ASMs). Our logic builds upon the unifying logic introduced by N…
Towards an ASM thesis for reflective sequential algorithms
Flavio Ferrarotti, Loredana Tec, Jose Maria Turull Torres
Starting from Gurevich's thesis for sequential algorithms (the so-called "sequential ASM thesis"), we propose a characterization of the behaviour of sequential algorithms enriched…