BibTeX records: Hans-Jörg Peter

download as .bib file

@inproceedings{DBLP:conf/vlsi/PlassanPMRSB16,
  author    = {Guillaume Plassan and
               Hans{-}J{\"{o}}rg Peter and
               Katell Morin{-}Allory and
               Fahim Rahim and
               Shaker Sarwary and
               Dominique Borrione},
  title     = {Conclusively verifying clock-domain crossings in very large hardware
               designs},
  booktitle = {2016 {IFIP/IEEE} International Conference on Very Large Scale Integration,
               VLSI-SoC 2016, Tallinn, Estonia, September 26-28, 2016},
  pages     = {1--6},
  publisher = {{IEEE}},
  year      = {2016},
  url       = {https://doi.org/10.1109/VLSI-SoC.2016.7753555},
  doi       = {10.1109/VLSI-SoC.2016.7753555},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/vlsi/PlassanPMRSB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/PlassanPMSB16,
  author    = {Guillaume Plassan and
               Hans{-}J{\"{o}}rg Peter and
               Katell Morin{-}Allory and
               Shaker Sarwary and
               Dominique Borrione},
  editor    = {Thomas Hollstein and
               Jaan Raik and
               Sergei Kostin and
               Anton Tsertov and
               Ian O'Connor and
               Ricardo Reis},
  title     = {Improving the Efficiency of Formal Verification: The Case of Clock-Domain
               Crossings},
  booktitle = {VLSI-SoC: System-on-Chip in the Nanoscale Era - Design, Verification
               and Reliability - 24th {IFIP} {WG} 10.5/IEEE International Conference
               on Very Large Scale Integration, VLSI-SoC 2016, Tallinn, Estonia,
               September 26-28, 2016, Revised Selected Papers},
  series    = {{IFIP} Advances in Information and Communication Technology},
  volume    = {508},
  pages     = {108--129},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-67104-8\_6},
  doi       = {10.1007/978-3-319-67104-8\_6},
  timestamp = {Tue, 22 Oct 2019 15:21:19 +0200},
  biburl    = {https://dblp.org/rec/conf/vlsi/PlassanPMSB16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Peter13,
  author    = {Hans{-}J{\"{o}}rg Peter},
  title     = {A uniform approach to the complexity and analysis of succinct systems},
  school    = {Saarland University},
  year      = {2013},
  url       = {http://scidok.sulb.uni-saarland.de/volltexte/2013/5482/},
  urn       = {urn:nbn:de:bsz:291-scidok-54825},
  timestamp = {Wed, 12 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/phd/dnb/Peter13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DammPRW13,
  author    = {Werner Damm and
               Hans{-}J{\"{o}}rg Peter and
               Jan{-}Hendrik Rakow and
               Bernd Westphal},
  title     = {Can we build it: formal synthesis of control strategies for cooperative
               driver assistance systems},
  journal   = {Math. Struct. Comput. Sci.},
  volume    = {23},
  number    = {4},
  pages     = {676--725},
  year      = {2013},
  url       = {https://doi.org/10.1017/S0960129512000230},
  doi       = {10.1017/S0960129512000230},
  timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/mscs/DammPRW13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/PeterF12,
  author    = {Hans{-}J{\"{o}}rg Peter and
               Bernd Finkbeiner},
  editor    = {Marcin Jurdzinski and
               Dejan Nickovic},
  title     = {The Complexity of Bounded Synthesis for Timed Control with Partial
               Observability},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 10th International
               Conference, {FORMATS} 2012, London, UK, September 18-20, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7595},
  pages     = {204--219},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33365-1\_15},
  doi       = {10.1007/978-3-642-33365-1\_15},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/PeterF12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itaero/0002EFP12,
  author    = {Michael Gerke and
               R{\"{u}}diger Ehlers and
               Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter},
  title     = {FlexRay for Avionics: Automatic Verification with Parametric Physical
               Layers},
  booktitle = {Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21,
               2012},
  year      = {2012},
  url       = {https://doi.org/10.2514/6.2012-2583},
  doi       = {10.2514/6.2012-2583},
  timestamp = {Fri, 05 May 2017 13:12:21 +0200},
  biburl    = {https://dblp.org/rec/conf/itaero/0002EFP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerP12,
  author    = {Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter},
  editor    = {Cormac Flanagan and
               Barbara K{\"{o}}nig},
  title     = {Template-Based Controller Synthesis for Timed Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 18th International Conference, {TACAS} 2012, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7214},
  pages     = {392--406},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28756-5\_27},
  doi       = {10.1007/978-3-642-28756-5\_27},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/FinkbeinerP12.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/PeterEM11,
  author    = {Hans{-}J{\"{o}}rg Peter and
               R{\"{u}}diger Ehlers and
               Robert Mattm{\"{u}}ller},
  editor    = {Ganesh Gopalakrishnan and
               Shaz Qadeer},
  title     = {Synthia: Verification and Synthesis for Timed Automata},
  booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
               2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6806},
  pages     = {649--655},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22110-1\_52},
  doi       = {10.1007/978-3-642-22110-1\_52},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/PeterEM11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/FinkbeinerPS10,
  author    = {Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter and
               Sven Schewe},
  title     = {Synthesising certificates in networks of timed automata},
  journal   = {{IET} Softw.},
  volume    = {4},
  number    = {3},
  pages     = {222--235},
  year      = {2010},
  url       = {https://doi.org/10.1049/iet-sen.2009.0047},
  doi       = {10.1049/iet-sen.2009.0047},
  timestamp = {Fri, 22 May 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iee/FinkbeinerPS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GerkeEFP10,
  author    = {Michael Gerke and
               R{\"{u}}diger Ehlers and
               Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter},
  editor    = {Stefan Kowalewski and
               Marco Roveri},
  title     = {Model Checking the FlexRay Physical Layer Protocol},
  booktitle = {Formal Methods for Industrial Critical Systems - 15th International
               Workshop, {FMICS} 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6371},
  pages     = {132--147},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15898-8\_9},
  doi       = {10.1007/978-3-642-15898-8\_9},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/conf/fmics/GerkeEFP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/EhlersMP10,
  author    = {R{\"{u}}diger Ehlers and
               Robert Mattm{\"{u}}ller and
               Hans{-}J{\"{o}}rg Peter},
  editor    = {Krishnendu Chatterjee and
               Thomas A. Henzinger},
  title     = {Combining Symbolic Representations for Solving Timed Games},
  booktitle = {Formal Modeling and Analysis of Timed Systems - 8th International
               Conference, {FORMATS} 2010, Klosterneuburg, Austria, September 8-10,
               2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6246},
  pages     = {107--121},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15297-9\_10},
  doi       = {10.1007/978-3-642-15297-9\_10},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/conf/formats/EhlersMP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/EhlersGP10,
  author    = {R{\"{u}}diger Ehlers and
               Michael Gerke and
               Hans{-}J{\"{o}}rg Peter},
  editor    = {Jin Song Dong and
               Huibiao Zhu},
  title     = {Making the Right Cut in Model Checking Data-Intensive Timed Systems},
  booktitle = {Formal Methods and Software Engineering - 12th International Conference
               on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
               17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6447},
  pages     = {565--580},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4\_37},
  doi       = {10.1007/978-3-642-16901-4\_37},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/conf/icfem/EhlersGP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/EhlersFGP10,
  author    = {R{\"{u}}diger Ehlers and
               Daniel Fass and
               Michael Gerke and
               Hans{-}J{\"{o}}rg Peter},
  title     = {Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams},
  booktitle = {Proceedings of the 31st {IEEE} Real-Time Systems Symposium, {RTSS}
               2010, San Diego, California, USA, November 30 - December 3, 2010},
  pages     = {360--371},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://doi.org/10.1109/RTSS.2010.36},
  doi       = {10.1109/RTSS.2010.36},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/rtss/EhlersFGP10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/PeterM09,
  author    = {Hans{-}J{\"{o}}rg Peter and
               Robert Mattm{\"{u}}ller},
  editor    = {Theodore P. Baker},
  title     = {Component-Based Abstraction Refinement for Timed Controller Synthesis},
  booktitle = {Proceedings of the 30th {IEEE} Real-Time Systems Symposium, {RTSS}
               2009, Washington, DC, USA, 1-4 December 2009},
  pages     = {364--374},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/RTSS.2009.14},
  doi       = {10.1109/RTSS.2009.14},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/rtss/PeterM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/FinkbeinerPS08,
  author    = {Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter and
               Sven Schewe},
  title     = {Synthesizing Certificates in Networks of Timed Automata},
  booktitle = {Proceedings of the 29th {IEEE} Real-Time Systems Symposium, {RTSS}
               2008, Barcelona, Spain, 30 November - 3 December 2008},
  pages     = {183--194},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {https://doi.org/10.1109/RTSS.2008.46},
  doi       = {10.1109/RTSS.2008.46},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/rtss/FinkbeinerPS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FinkbeinerPS08,
  author    = {Bernd Finkbeiner and
               Hans{-}J{\"{o}}rg Peter and
               Sven Schewe},
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {{RESY:} Requirement Synthesis for Compositional Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  pages     = {463--466},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_35},
  doi       = {10.1007/978-3-540-78800-3\_35},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/conf/tacas/FinkbeinerPS08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics