Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Martin Hiller
@inproceedings{DBLP:conf/adbis/HillerSH14,
author = {Martin Hiller and
Caetano Sauer and
Theo H{\"{a}}rder},
editor = {Yannis Manolopoulos and
Goce Trajcevski and
Margita Kon{-}Popovska},
title = {Observations on Fine-Grained Locking in {XML} DBMSs},
booktitle = {Advances in Databases and Information Systems - 18th East European
Conference, {ADBIS} 2014, Ohrid, Macedonia, September 7-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8716},
pages = {337--351},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10933-6\_25},
doi = {10.1007/978-3-319-10933-6\_25},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/adbis/HillerSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/JungHDJH13,
author = {Jessica Jung and
Kai H{\"{o}}fig and
Dominik Domis and
Andreas Jedlitschka and
Martin Hiller},
title = {Experimental Comparison of Two Safety Analysis Methods and Its Replication},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.59},
doi = {10.1109/ESEM.2013.59},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/JungHDJH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/JungJHDH13,
author = {Jessica Jung and
Andreas Jedlitschka and
Kai H{\"{o}}fig and
Dominik Domis and
Martin Hiller},
editor = {Friedemann Bitsch and
J{\'{e}}r{\'{e}}mie Guiochet and
Mohamed Ka{\^{a}}niche},
title = {A Controlled Experiment on Component Fault Trees},
booktitle = {Computer Safety, Reliability, and Security - 32nd International Conference,
{SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8153},
pages = {285--292},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40793-2\_26},
doi = {10.1007/978-3-642-40793-2\_26},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/safecomp/JungJHDH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/BenderHTW12,
author = {Ottmar Bender and
Martin Hiller and
Bastian Tenbergen and
Thorsten Weyer},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Requirements from the Application Domains},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {15--28},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_2},
doi = {10.1007/978-3-642-34614-9\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/BenderHTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/Pohl2012/BenderHGSWD12,
author = {Ottmar Bender and
Martin Hiller and
Maurice Girod and
Carsten Strobel and
Martin Wa{\ss}muth and
Laurent Dieudonn{\'{e}}},
editor = {Klaus Pohl and
Harald H{\"{o}}nninger and
Reinhold Achatz and
Manfred Broy},
title = {Application and Evaluation in the Avionics Domain},
booktitle = {Model-Based Engineering of Embedded Systems, The {SPES} 2020 Methodology},
pages = {177--196},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34614-9\_13},
doi = {10.1007/978-3-642-34614-9\_13},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Pohl2012/BenderHGSWD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/btw/Hiller11,
author = {Martin Hiller},
editor = {Peter M. Fischer and
Hagen H{\"{o}}pfner and
Joachim Klein and
Daniela Nicklas and
Bernhard Seeger and
Tobias Umblia and
Matthias Virgin},
title = {Pr{\"{a}}fixkomprimierte Speicherung von DeweyID-adressierten
XML-Daten},
booktitle = {Proceedings {BTW} 2011 - Workshops und Studierendenprogramm, 1. M{\"{a}}rz
2011, Kaiserslautern, Germany},
pages = {99--103},
publisher = {Technische Universit{\"{a}}t Kaiserslautern},
year = {2011},
timestamp = {Wed, 22 Jul 2015 16:37:33 +0200},
biburl = {https://dblp.org/rec/conf/btw/Hiller11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SuriJHPIS10,
author = {Neeraj Suri and
Arshad Jhumka and
Martin Hiller and
Andr{\'{a}}s Pataricza and
Shariful Islam and
Constantin S{\^{a}}rbu},
title = {A software integration approach for designing and assessing dependable
embedded systems},
journal = {J. Syst. Softw.},
volume = {83},
number = {10},
pages = {1780--1800},
year = {2010},
url = {https://doi.org/10.1016/j.jss.2010.04.063},
doi = {10.1016/J.JSS.2010.04.063},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/SuriJHPIS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/ChenFHL07,
author = {Xi Chen and
Juejing Feng and
Martin Hiller and
Vera Lauer},
title = {Application of Software Watchdog as a Dependability Software Service
for Automotive Safety Relevant Systems},
booktitle = {The 37th Annual {IEEE/IFIP} International Conference on Dependable
Systems and Networks, {DSN} 2007, 25-28 June 2007, Edinburgh, UK,
Proceedings},
pages = {618--624},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DSN.2007.14},
doi = {10.1109/DSN.2007.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/ChenFHL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/JhumkaH05,
author = {Arshad Jhumka and
Martin Hiller},
editor = {Bernhard K. Aichernig and
Bernhard Beckert},
title = {Putting Detectors in Their Place},
booktitle = {Third {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2005), 7-9 September 2005, Koblenz, Germany},
pages = {33--43},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/SEFM.2005.38},
doi = {10.1109/SEFM.2005.38},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/JhumkaH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/HillerJS04,
author = {Martin Hiller and
Arshad Jhumka and
Neeraj Suri},
title = {{EPIC:} Profiling the Propagation and Effect of Data Errors in Software},
journal = {{IEEE} Trans. Computers},
volume = {53},
number = {5},
pages = {512--530},
year = {2004},
url = {https://doi.org/10.1109/TC.2004.1275294},
doi = {10.1109/TC.2004.1275294},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tc/HillerJS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JhumkaHS04,
author = {Arshad Jhumka and
Martin Hiller and
Neeraj Suri},
title = {An Approach for Designing and Assessing Detectors for Dependable Component-Based
Systems},
booktitle = {8th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2004), 25-26 March 2004, Tampa, FL, {USA}},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HASE.2004.1281731},
doi = {10.1109/HASE.2004.1281731},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JhumkaHS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scopes/JhumkaSH03,
author = {Arshad Jhumka and
Neeraj Suri and
Martin Hiller},
editor = {Andreas Krall},
title = {A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant
Programs},
booktitle = {Software and Compilers for Embedded Systems, 7th International Workshop,
{SCOPES} 2003, Vienna, Austria, September 24-26, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2826},
pages = {182--197},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39920-9\_13},
doi = {10.1007/978-3-540-39920-9\_13},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/scopes/JhumkaSH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HillerJS02,
author = {Martin Hiller and
Arshad Jhumka and
Neeraj Suri},
title = {On the Placement of Software Mechanisms for Detection of Data Errors},
booktitle = {2002 International Conference on Dependable Systems and Networks {(DSN}
2002), 23-26 June 2002, Bethesda, MD, USA, Proceedings},
pages = {135--144},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/DSN.2002.1028894},
doi = {10.1109/DSN.2002.1028894},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HillerJS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftrtft/JhumkaHS02,
author = {Arshad Jhumka and
Martin Hiller and
Neeraj Suri},
editor = {Werner Damm and
Ernst{-}R{\"{u}}diger Olderog},
title = {Component-Based Synthesis of Dependable Embedded Software},
booktitle = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
Germany, September 9-12, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2469},
pages = {111--128},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45739-9\_9},
doi = {10.1007/3-540-45739-9\_9},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/ftrtft/JhumkaHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/JhumkaHS02,
author = {Arshad Jhumka and
Martin Hiller and
Neeraj Suri},
title = {An Approach to Specify and Test Component-Based Dependable Software},
booktitle = {7th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2002), 23-25 October 2002, Tokyo, Japan},
pages = {211--220},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/HASE.2002.1173125},
doi = {10.1109/HASE.2002.1173125},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/JhumkaHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/HillerJS02,
author = {Martin Hiller and
Arshad Jhumka and
Neeraj Suri},
editor = {Phyllis G. Frankl},
title = {{PROPANE:} an environment for examining the propagation of errors
in software},
booktitle = {Proceedings of the International Symposium on Software Testing and
Analysis, {ISSTA} 2002, Roma, Italy, July 22-24, 2002},
pages = {81--85},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/566172.566184},
doi = {10.1145/566172.566184},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/HillerJS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/JhumkaHCS02,
author = {Arshad Jhumka and
Martin Hiller and
Vilgot Claesson and
Neeraj Suri},
editor = {Peter Marwedel and
Srinivas Devadas},
title = {On systematic design of globally consistent executable assertions
in embedded software},
booktitle = {Proceedings of the 2002 Joint Conference on Languages, Compilers,
and Tools for Embedded Systems {\&} Software and Compilers for
Embedded Systems (LCTES'02-SCOPES'02), Berlin, Germany, 19-21 June
2002},
pages = {75--84},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/513829.513843},
doi = {10.1145/513829.513843},
timestamp = {Wed, 07 Jul 2021 17:30:33 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/JhumkaHCS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prdc/AskerdalGHS02,
author = {{\"{O}}rjan Askerdal and
Magnus G{\"{a}}fvert and
Martin Hiller and
Neeraj Suri},
title = {A Control Theory Approach for Analyzing the Effects of Data Errors
in Safety-Critical Control Systems},
booktitle = {9th Pacific Rim International Symposium on Dependable Computing {(PRDC}
2002), 16-18 December 2002, Tsukuba-City, Ibarski, Japan},
pages = {105--116},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/PRDC.2002.1185625},
doi = {10.1109/PRDC.2002.1185625},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prdc/AskerdalGHS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/HillerJS01,
author = {Martin Hiller and
Arshad Jhumka and
Neeraj Suri},
title = {An Approach for Analysing the Propagation of Data Errors in Software},
booktitle = {2001 International Conference on Dependable Systems and Networks {(DSN}
2001) (formerly: FTCS), 1-4 July 2001, G{\"{o}}teborg, Sweden,
Proceedings},
pages = {161--172},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DSN.2001.941402},
doi = {10.1109/DSN.2001.941402},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/HillerJS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/JhumkaHS01,
author = {Arshad Jhumka and
Martin Hiller and
Neeraj Suri},
title = {Assessing Inter-Modular Error Propagation in Distributed Software},
booktitle = {20th Symposium on Reliable Distributed Systems {(SRDS} 2001), 28-31
October 2001, New Orleans, LA, {USA}},
pages = {152--161},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RELDIS.2001.969769},
doi = {10.1109/RELDIS.2001.969769},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/JhumkaHS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Hiller00,
author = {Martin Hiller},
title = {Executable Assertions for Detecting Data Errors in Embedded Control
Systems},
booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
NY, {USA}},
pages = {24--33},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICDSN.2000.857510},
doi = {10.1109/ICDSN.2000.857510},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/Hiller00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/Hiller99,
author = {Martin Hiller},
title = {Error Recovery using Forced Validity Assisted by Executable Assertions
for Error Detection: An Experimental Evaluation},
booktitle = {25th {EUROMICRO} '99 Conference, Informatics: Theory and Practice
for the New Millenium, 8-10 September 1999, Milan, Italy},
pages = {2105--2112},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/EURMIC.1999.794768},
doi = {10.1109/EURMIC.1999.794768},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/Hiller99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/ChristmanssonHR98,
author = {J{\"{o}}rgen Christmansson and
Martin Hiller and
Marcus Rim{\'{e}}n},
title = {An experimental comparison of fault and error injection},
booktitle = {Ninth International Symposium on Software Reliability Engineering,
{ISSRE} 1998, Paderborn, Germany, November 4-7, 1998},
pages = {369--378},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISSRE.1998.730903},
doi = {10.1109/ISSRE.1998.730903},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/ChristmanssonHR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:07 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
