Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Henning Zabel
@phdthesis{DBLP:phd/de/Zabel2010,
author = {Henning Zabel},
title = {Techniken zur Simulation von eingebetteten Systemen mit abstrakten
RTOS-Modellen},
school = {University of Paderborn, Germany},
year = {2010},
url = {https://nbn-resolving.org/urn:nbn:de:101:1-201612042011},
urn = {urn:nbn:de:101:1-201612042011},
isbn = {978-3-8322-9092-4},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Zabel2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/OliveiraZ010,
author = {Marcio F. da S. Oliveira and
Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Assertion-based verification of {RTOS} properties},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {630--633},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5457130},
doi = {10.1109/DATE.2010.5457130},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/OliveiraZ010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/0003OZB10,
author = {Wolfgang M{\"{u}}ller and
Marcio F. da S. Oliveira and
Henning Zabel and
Markus Becker},
title = {Verification of real-time properties for Hardware-dependent Software},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2010, Anaheim, CA, USA, 10-12 June 2010},
pages = {154--159},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HLDVT.2010.5496644},
doi = {10.1109/HLDVT.2010.5496644},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/0003OZB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/KlobedanzDZ0Z10,
author = {Kay Klobedanz and
Gilles B. Defo and
Henning Zabel and
Wolfgang M{\"{u}}ller and
Yuan Zhi},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {Task Migration for Fault-Tolerant FlexRay Networks},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {55--65},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_7},
doi = {10.1007/978-3-642-15234-4\_7},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/KlobedanzDZ0Z10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/BeckerZ010,
author = {Markus Becker and
Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Mike Hinchey and
Bernd Kleinjohann and
Lisa Kleinjohann and
Peter A. Lindsay and
Franz J. Rammig and
Jon Timmis and
Marilyn Wolf},
title = {A Mixed Level Simulation Environment for Stepwise {RTOS} Software
Refinement},
booktitle = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
{TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {329},
pages = {145--156},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15234-4\_15},
doi = {10.1007/978-3-642-15234-4\_15},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/BeckerZ010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ZabelM09,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Increased accuracy through noise injection in abstract {RTOS} simulation},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {1632--1637},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090925},
doi = {10.1109/DATE.2009.5090925},
timestamp = {Thu, 30 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/ZabelM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BeckerZMK09,
author = {Markus Becker and
Henning Zabel and
Wolfgang M{\"{u}}ller and
Ulrich Kiffmeier},
editor = {Carsten Gremzow and
Nico Moser},
title = {Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter
automobiler E/E-Systeme},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009},
pages = {167--176},
publisher = {Universit{\"{a}}tsbibliothek Berlin, Germany},
year = {2009},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BeckerZMK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ZabelM08,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Wayne H. Wolf},
title = {An Efficient Time Annotation Technique in Abstract {RTOS} Simulations
for Multiprocessor Task Migration},
booktitle = {Distributed Embedded Systems: Design, Middleware and Resources, {IFIP}
20th World Computer Congress, {TC10} Working Conference on Distributed
and Parallel Embedded Systems {(DIPES} 2008), September 7-10, 2008,
Milano, Italy},
series = {{IFIP}},
volume = {271},
pages = {181--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09661-2\_18},
doi = {10.1007/978-0-387-09661-2\_18},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ZabelM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/Zabel008,
author = {Henning Zabel and
Wolfgang M{\"{u}}ller},
editor = {Christoph Scholl and
Stefan Disch},
title = {Pr{\"{a}}zises Interrupt Scheduling in abstrakten {RTOS} Modellen
in SystemC},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5,
2008},
pages = {31--39},
publisher = {Shaker},
year = {2008},
timestamp = {Wed, 03 Aug 2022 12:31:57 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/Zabel008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iess/ZabelRK07,
author = {Henning Zabel and
Achim Rettberg and
Alexander Krupp},
editor = {Achim Rettberg and
Mauro Cesar Zanella and
Rainer D{\"{o}}mer and
Andreas Gerstlauer and
Franz{-}Josef Rammig},
title = {Approach for a Formal Verification of a Bit-serial Pipelined Architecture},
booktitle = {Embedded System Design: Topics, Techniques and Trends, {IFIP} {TC10}
Working Conference: International Embedded Systems Symposium (IESS),
May 30 - June 1, 2007, Irvine, CA, {USA}},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {231},
pages = {47--56},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-72258-0\_5},
doi = {10.1007/978-0-387-72258-0\_5},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iess/ZabelRK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/ZabelR06,
author = {Henning Zabel and
Achim Rettberg},
editor = {Bernd Kleinjohann and
Lisa Kleinjohann and
Ricardo Jorge Machado and
Carlos Eduardo Pereira and
P. S. Thiagarajan},
title = {Prototyping an Ambient Light System - {A} Case Study},
booktitle = {From Model-Driven Design to Resource Management for Distributed Embedded
Systems, {IFIP} {TC} 10 Working Conference on Distributed and Parallel
Embedded Systems {(DIPES} 2006), October 11-13, 2006, Braga, Portugal},
series = {{IFIP}},
volume = {225},
pages = {55--64},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-0-387-39362-9\_7},
doi = {10.1007/978-0-387-39362-9\_7},
timestamp = {Wed, 09 Aug 2023 08:39:52 +0200},
biburl = {https://dblp.org/rec/conf/ifip10-3/ZabelR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvc/LietschZEWB06,
author = {Stefan Lietsch and
Henning Zabel and
Martin Eikermann and
Veit Wittenberg and
Jan Berssenbr{\"{u}}gge},
editor = {George Bebis and
Richard Boyle and
Bahram Parvin and
Darko Koracin and
Paolo Remagnino and
Ara V. Nefian and
Meenakshisundaram Gopi and
Valerio Pascucci and
Jiri Zara and
Jose Molineros and
Holger Theisel and
Thomas Malzbender},
title = {Light Simulation in a Distributed Driving Simulator},
booktitle = {Advances in Visual Computing, Second International Symposium, {ISVC}
2006, Lake Tahoe, NV, USA, November 6-8, 2006 Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {4291},
pages = {343--352},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11919476\_35},
doi = {10.1007/11919476\_35},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/isvc/LietschZEWB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/MuellerMZ01,
author = {Wolfgang M{\"{u}}ller and
Arne Meyer and
Henning Zabel},
title = {A Language for the Rapid Prototyping of Mobile Evolving Agents},
booktitle = {34th Annual Hawaii International Conference on System Sciences (HICSS-34),
January 3-6, 2001, Maui, Hawaii, {USA}},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HICSS.2001.926319},
doi = {10.1109/HICSS.2001.926319},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/MuellerMZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/MuellerMZ00,
author = {Wolfgang M{\"{u}}ller and
Arne Meyer and
Henning Zabel},
title = {A Visual Framework for the Scripting of Parallel Agents},
booktitle = {2000 {IEEE} International Symposium on Visual Languages, {VL} 2000,
Seattle, Washington, USA, September 10-13, 2000, Proceedings},
pages = {77--78},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/VL.2000.874360},
doi = {10.1109/VL.2000.874360},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/MuellerMZ00.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 2023-09-27 22:53 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:
