197 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- R. Wille2 profiles28 · h 51
- Lukas Burgholzer20 · h 21
- Rudolf Ramler2 profiles11 · h 23
- Flavio Ferrarotti3 profiles10 · h 10
- Robert Wille4 profiles9 · h 12
- S. Hillmich9 · h 16
- B. Moser2 profiles8 · h 14
- Jorge Martinez-Gil4 profiles8 · h 8
- Nils Quetschlich8 · h 12
- J. Martinez-Gil7 · h 11
- K. Schewe7 · h 27
- Lucas Berent6 · h 9
- Johannes Kepler University of LinzAT33 papers
- Technical University of MunichDE30 papers
- Universität InnsbruckAT5 papers
- University of TartuEE5 papers
- Australian National UniversityAU4 papers
- Freie Universität BerlinDE4 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE4 papers
- IBM Research - TokyoJP3 papers
- Basque Center for Applied MathematicsES2 papers
- Chalmers University of TechnologySE2 papers
- IkerbasqueES2 papers
- Munich Center for Quantum Science and TechnologyDE2 papers
9 papers · 1 filter
Robust Unsupervised Domain Adaptation for Neural Networks via Moment Alignment
Werner Zellinger, Bernhard A. Moser, Thomas Grubinger +3
A novel approach for unsupervised domain adaptation for neural networks is proposed. It relies on metric-based regularization of the learning process. The metric-based regularizati…
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…
Exploring Code Clones in Programmable Logic Controller Software
Hannes Thaller, Rudolf Ramler, Josef Pichler +1
The reuse of code fragments by copying and pasting is widely practiced in software development and results in code clones. Cloning is considered an anti-pattern as it negatively af…
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…
Accurate and Efficient Profile Matching in Knowledge Bases
Jorge Martinez-Gil, Alejandra Lorena Paoletti, Gábor Rácz +2
A profile describes a set of properties, e.g. a set of skills a person may have, a set of skills required for a particular job, or a set of abilities a football player may have wit…
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…
Shift-Coupling of Random Rooted Graphs and Networks
Ali Khezeli
In this paper, we present a result similar to the shift-coupling result of Thorisson (1996) in the context of random graphs and networks. The result is that a given random rooted n…