Martin Hiller

According to our database, Martin Hiller authored at least 23 papers between 1998 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Observations on Fine-Grained Locking in XML DBMSs.

Martin Hiller, Caetano Sauer, Theo Härder

Proceedings of the Advances in Databases and Information Systems, 2014

2013

A Controlled Experiment on Component Fault Trees.

Jessica Jung, Andreas Jedlitschka, Kai Höfig, Dominik Domis, Martin Hiller

Proceedings of the Computer Safety, Reliability, and Security, 2013

Experimental Comparison of Two Safety Analysis Methods and Its Replication.

Jessica Jung, Kai Höfig, Dominik Domis, Andreas Jedlitschka, Martin Hiller

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

2012

Requirements from the Application Domains.

Ottmar Bender, Martin Hiller, Bastian Tenbergen, Thorsten Weyer

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

Application and Evaluation in the Avionics Domain.

Ottmar Bender, Martin Hiller, Maurice Girod, Carsten Strobel, Martin Waßmuth, Laurent Dieudonné

Proceedings of the Model-Based Engineering of Embedded Systems, The SPES 2020 Methodology, 2012

2011

Präfixkomprimierte Speicherung von DeweyID-adressierten XML-Daten.

Martin Hiller

Proceedings of the Proceedings BTW 2011, 2011

2010

A software integration approach for designing and assessing dependable embedded systems.

Neeraj Suri, Arshad Jhumka, Martin Hiller, András Pataricza, Shariful Islam, Constantin Sârbu

J. Syst. Softw., 2010

2007

Application of Software Watchdog as a Dependability Software Service for Automotive Safety Relevant Systems.

Xi Chen, Juejing Feng, Martin Hiller, Vera Lauer

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2005

Putting Detectors in Their Place.

Arshad Jhumka, Martin Hiller

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

2004

EPIC: Profiling the Propagation and Effect of Data Errors in Software.

Martin Hiller, Arshad Jhumka, Neeraj Suri

IEEE Trans. Computers, 2004

An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems.

Arshad Jhumka, Martin Hiller, Neeraj Suri

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.

Arshad Jhumka, Neeraj Suri, Martin Hiller

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003

2002

A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems.

Örjan Askerdal, Magnus Gäfvert, Martin Hiller, Neeraj Suri

Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

On systematic design of globally consistent executable assertions in embedded software.

Arshad Jhumka, Martin Hiller, Vilgot Claesson, Neeraj Suri

Proceedings of the 2002 Joint Conference on Languages, 2002

PROPANE: an environment for examining the propagation of errors in software.

Martin Hiller, Arshad Jhumka, Neeraj Suri

Proceedings of the International Symposium on Software Testing and Analysis, 2002

An Approach to Specify and Test Component-Based Dependable Software.

Arshad Jhumka, Martin Hiller, Neeraj Suri

Proceedings of the 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 2002

Component-Based Synthesis of Dependable Embedded Software.

Arshad Jhumka, Martin Hiller, Neeraj Suri

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

On the Placement of Software Mechanisms for Detection of Data Errors.

Martin Hiller, Arshad Jhumka, Neeraj Suri

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

2001

Assessing Inter-Modular Error Propagation in Distributed Software.

Arshad Jhumka, Martin Hiller, Neeraj Suri

Proceedings of the 20th Symposium on Reliable Distributed Systems (SRDS 2001), 2001

An Approach for Analysing the Propagation of Data Errors in Software.

Martin Hiller, Arshad Jhumka, Neeraj Suri

Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN 2001) (formerly: FTCS), 2001

2000

Executable Assertions for Detecting Data Errors in Embedded Control Systems.

Martin Hiller

Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

1999

Error Recovery using Forced Validity Assisted by Executable Assertions for Error Detection: An Experimental Evaluation.

Martin Hiller

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

An experimental comparison of fault and error injection.

Jörgen Christmansson, Martin Hiller, Marcus Rimén

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998