default search action
BibTeX 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 Ferreira da Silva 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 = {Fri, 02 Aug 2024 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 Ferreira da Silva 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 = {Fri, 02 Aug 2024 01:00:00 +0200}, 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} }
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.