Martin Hiller

23 papers A 7B 3C 3Journal 2Unranked 6
YearRankTypeTitle / Venue / Authors
2014 C conf
Observations on Fine-Grained Locking in XML DBMSs.
ADBIS
Martin Hiller, Caetano Sauer, Theo Härder
2013 B conf
A Controlled Experiment on Component Fault Trees.
SAFECOMP
Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller
2013 A conf
Experimental Comparison of Two Safety Analysis Methods and Its Replication.
ESEM
Jessica Jung, Kai Höfig, Dominik Domis, Andreas Jedlitschka, Martin Hiller
2012 — ch.
Application and Evaluation in the Avionics Domain.
Model-Based Engineering of Embedded Systems
Ottmar Bender, Martin Hiller, Maurice Girod, Carsten Strobel, Martin Waßmuth, Laurent Dieudonné
2012 — ch.
Requirements from the Application Domains.
Model-Based Engineering of Embedded Systems
Ottmar Bender, Martin Hiller, Bastian Tenbergen, Thorsten Weyer
2011 — conf
Präfixkomprimierte Speicherung von DeweyID-adressierten XML-Daten.
BTW Workshops
Martin Hiller
2010 J jnl
A software integration approach for designing and assessing dependable embedded systems.
J. Syst. Softw.
Neeraj Suri, Arshad Jhumka, Martin Hiller, András Pataricza, Shariful Islam, Constantin Sârbu
2007 A conf
Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems.
DSN
Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer
2005 B conf
Putting Detectors in Their Place.
SEFM
Arshad Jhumka, Martin Hiller
2004 — conf
An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.
HASE
Arshad Jhumka, Martin Hiller, Neeraj Suri
2004 J jnl
EPIC: Profiling the Propagation and Effect of Data Errors in Software.
IEEE Trans. Computers
Martin Hiller, Arshad Jhumka, Neeraj Suri
2003 C conf
A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.
SCOPES
Arshad Jhumka, Neeraj Suri, Martin Hiller
2002 C conf
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems.
PRDC
Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri
2002 — conf
An Approach to Specify and Test Component-Based Dependable Software.
HASE
Arshad Jhumka, Martin Hiller, Neeraj Suri
2002 — conf
Component-Based Synthesis of Dependable Embedded Software.
FTRTFT
Arshad Jhumka, Martin Hiller, Neeraj Suri
2002 — conf
On systematic design of globally consistent executable assertions in embedded software.
LCTES-SCOPES
Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri
2002 A conf
On the Placement of Software Mechanisms for Detection of Data Errors.
DSN
Martin Hiller, Arshad Jhumka, Neeraj Suri
2002 A conf
PROPANE: an environment for examining the propagation of errors in software.
ISSTA
Martin Hiller, Arshad Jhumka, Neeraj Suri
2001 A conf
An Approach for Analysing the Propagation of Data Errors in Software.
DSN
Martin Hiller, Arshad Jhumka, Neeraj Suri
2001 B conf
Assessing Inter-Modular Error Propagation in Distributed Software.
SRDS
Arshad Jhumka, Martin Hiller, Neeraj Suri
2000 A conf
Executable Assertions for Detecting Data Errors in Embedded Control Systems.
DSN
Martin Hiller
1999 — conf
Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.
EUROMICRO
Martin Hiller
1998 A conf
An experimental comparison of fault and error injection.
ISSRE
Jörgen Christmansson, Martin Hiller, Marcus Rimén