Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Kropf
@inproceedings{DBLP:conf/itsc/LaufenbergK023,
author = {Jo Laufenberg and
Thomas Kropf and
Oliver Bringmann},
title = {{CAN} Simulation Framework - From Classic {CAN} to {CAN} {XL}},
booktitle = {25th {IEEE} International Conference on Intelligent Transportation
Systems, {ITSC} 2022, Macau, China, October 8-12, 2022},
pages = {3343--3348},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ITSC57777.2023.10422342},
doi = {10.1109/ITSC57777.2023.10422342},
timestamp = {Thu, 22 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itsc/LaufenbergK023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/LaufenbergTKB23,
author = {Jo Laufenberg and
Susanne Throner and
Thomas Kropf and
Oliver Bringmann},
title = {Attack Simulation and Adaptation in {CAN} for Training and Evaluation
of {IDS}},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2023, Anchorage, AK, USA,
June 4-7, 2023},
pages = {1--6},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/IV55152.2023.10186799},
doi = {10.1109/IV55152.2023.10186799},
timestamp = {Tue, 08 Aug 2023 10:24:13 +0200},
biburl = {https://dblp.org/rec/conf/ivs/LaufenbergTKB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/LaufenbergK022,
author = {Jo Laufenberg and
Thomas Kropf and
Oliver Bringmann},
title = {A Framework for {CAN} Communication and Attack Simulation},
booktitle = {95th {IEEE} Vehicular Technology Conference, {VTC} Spring 2022, Helsinki,
Finland, June 19-22, 2022},
pages = {1--7},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/VTC2022-Spring54318.2022.9860568},
doi = {10.1109/VTC2022-SPRING54318.2022.9860568},
timestamp = {Wed, 25 Jan 2023 10:28:23 +0100},
biburl = {https://dblp.org/rec/conf/vtc/LaufenbergK022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ets/LaufenbergK020,
author = {Jo Laufenberg and
Thomas Kropf and
Oliver Bringmann},
title = {Automated Graph-Based Fault Injection Into Virtual Prototypes for
Robustness Evaluation},
booktitle = {{IEEE} European Test Symposium, {ETS} 2020, Tallinn, Estonia, May
25-29, 2020},
pages = {1--2},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ETS48528.2020.9131573},
doi = {10.1109/ETS48528.2020.9131573},
timestamp = {Wed, 15 Jul 2020 13:23:41 +0200},
biburl = {https://dblp.org/rec/conf/ets/LaufenbergK020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/MensCHK17,
author = {Kim Mens and
Rafael Capilla and
Herman Hartmann and
Thomas Kropf},
title = {Modeling and Managing Context-Aware Systems' Variability},
journal = {{IEEE} Softw.},
volume = {34},
number = {6},
pages = {58--63},
year = {2017},
url = {https://doi.org/10.1109/MS.2017.4121225},
doi = {10.1109/MS.2017.4121225},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/MensCHK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HusterSRKR17,
author = {Stefan Huster and
Jonas Str{\"{o}}bele and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Nina Yevtushenko and
Ana Rosa Cavalli and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Using Robustness Testing to Handle Incomplete Verification Results
When Combining Verification and Testing Techniques},
booktitle = {Testing Software and Systems - 29th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2017, St. Petersburg, Russia, October 9-11, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10533},
pages = {54--70},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67549-7\_4},
doi = {10.1007/978-3-319-67549-7\_4},
timestamp = {Tue, 15 Feb 2022 08:52:40 +0100},
biburl = {https://dblp.org/rec/conf/pts/HusterSRKR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LaufenbergRVBKR16,
author = {Jo Laufenberg and
Sebastian Reiter and
Alexander Viehl and
Oliver Bringmann and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Combining graph-based guidance with error effect simulation for efficient
safety analysis},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {1132--1135},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459479/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/LaufenbergRVBKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/BehrendLGRKR15,
author = {J{\"{o}}rg Behrend and
Djones Lettnin and
Alexander Gr{\"{u}}nhage and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Scalable and Optimized Hybrid Verification of Embedded Software},
journal = {J. Electron. Test.},
volume = {31},
number = {2},
pages = {151--166},
year = {2015},
url = {https://doi.org/10.1007/s10836-015-5518-4},
doi = {10.1007/S10836-015-5518-4},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/BehrendLGRKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/MerzSPGK15,
author = {Florian Merz and
Carsten Sinz and
Hendrik Post and
Thomas Gorges and
Thomas Kropf},
title = {Bridging the gap between test cases and requirements by abstract testing},
journal = {Innov. Syst. Softw. Eng.},
volume = {11},
number = {4},
pages = {233--242},
year = {2015},
url = {https://doi.org/10.1007/s11334-015-0245-7},
doi = {10.1007/S11334-015-0245-7},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/MerzSPGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/EichelbergerKRG15,
author = {Hanno Eichelberger and
Thomas Kropf and
J{\"{u}}rgen Ruf and
Thomas Greiner and
Wolfgang Rosenstiel},
title = {Efficient Fault Localization During Replay of Embedded Software},
booktitle = {41st Euromicro Conference on Software Engineering and Advanced Applications,
{EUROMICRO-SEAA} 2015, Madeira, Portugal, August 26-28, 2015},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/SEAA.2015.55},
doi = {10.1109/SEAA.2015.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/EichelbergerKRG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HusterBELRKR15,
author = {Stefan Huster and
Sebastian Burg and
Hanno Eichelberger and
Jo Laufenberg and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Radu Calinescu and
Bernhard Rumpe},
title = {Efficient Testing of Different Loop Paths},
booktitle = {Software Engineering and Formal Methods - 13th International Conference,
{SEFM} 2015, York, UK, September 7-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9276},
pages = {117--131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22969-0\_9},
doi = {10.1007/978-3-319-22969-0\_9},
timestamp = {Sat, 30 Sep 2023 09:56:03 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HusterBELRKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/EichelbergerRKGR14,
author = {Hanno Eichelberger and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Thomas Greiner and
Wolfgang Rosenstiel},
editor = {Beniamino Murgante and
Sanjay Misra and
Ana Maria A. C. Rocha and
Carmelo Maria Torre and
Jorge Gustavo Rocha and
Maria Irene Falc{\~{a}}o and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {Debugger-Based Record Replay and Dynamic Analysis for In-Vehicle Infotainment},
booktitle = {Computational Science and Its Applications - {ICCSA} 2014 - 14th International
Conference, Guimar{\~{a}}es, Portugal, June 30 - July 3, 2014, Proceedings,
Part {V}},
series = {Lecture Notes in Computer Science},
volume = {8583},
pages = {387--401},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-09156-3\_28},
doi = {10.1007/978-3-319-09156-3\_28},
timestamp = {Mon, 05 Feb 2024 20:32:23 +0100},
biburl = {https://dblp.org/rec/conf/iccsa/EichelbergerRKGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latw/BehrendGSLRKR14,
author = {J{\"{o}}rg Behrend and
Alexander Gr{\"{u}}nhage and
Douglas Schroeder and
Djones Lettnin and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Optimized hybrid verification of embedded software},
booktitle = {15th Latin American Test Workshop - {LATW} 2014, Fortaleza, Brazil,
March 12-15, 2014},
pages = {1--6},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/LATW.2014.6841906},
doi = {10.1109/LATW.2014.6841906},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/latw/BehrendGSLRKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/EichelbergerHRHBKRG14,
author = {Hanno Eichelberger and
Patrick Heckeler and
J{\"{u}}rgen Ruf and
Stefan Huster and
Sebastian Burg and
Thomas Kropf and
Wolfgang Rosenstiel and
Thomas Greiner},
editor = {J{\"{u}}rgen Ruf and
Dirk Allmendinger and
Matteo Michel},
title = {Erkennen von Speicherverletzungen im Testbetrieb von eingebetteter
Software},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
pages = {61--70},
publisher = {Cuvillier},
year = {2014},
timestamp = {Thu, 13 Mar 2014 18:26:03 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/EichelbergerHRHBKRG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HusterMBEHRKR14,
author = {Stefan Huster and
Merdin Macic and
Sebastian Burg and
Hanno Eichelberger and
Patrick Heckeler and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {J{\"{u}}rgen Ruf and
Dirk Allmendinger and
Matteo Michel},
title = {Increasing Software Reliability by Integrating Formal Verification
and Robustness Testing},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
pages = {125--136},
publisher = {Cuvillier},
year = {2014},
timestamp = {Thu, 13 Mar 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/HusterMBEHRKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BurgHHEBRKB14,
author = {Sebastian Burg and
Patrick Heckeler and
Stefan Huster and
Hanno Eichelberger and
J{\"{o}}rg Behrend and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Oliver Bringmann},
editor = {J{\"{u}}rgen Ruf and
Dirk Allmendinger and
Matteo Michel},
title = {LoCEG: Local Preprocessing in SAT-Solving through Counter-Example
Generation},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen, {MBMV} 2014, B{\"{o}}blingen, Germany},
pages = {193--196},
publisher = {Cuvillier},
year = {2014},
timestamp = {Fri, 29 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/BurgHHEBRKB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/HusterHERBKR14,
author = {Stefan Huster and
Patrick Heckeler and
Hanno Eichelberger and
J{\"{u}}rgen Ruf and
Sebastian Burg and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {More Flexible Object Invariants with Less Specification Overhead},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {302--316},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_25},
doi = {10.1007/978-3-319-10431-7\_25},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/HusterHERBKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/BraeuchleFRK13,
author = {Christian Br{\"{a}}uchle and
Folko Flehmig and
Wolfgang Rosenstiel and
Thomas Kropf},
title = {Maneuver decision for active pedestrian protection under uncertainty},
booktitle = {16th International {IEEE} Conference on Intelligent Transportation
Systems, {ITSC} 2013, The Hague, The Netherlands, October 6-9, 2013},
pages = {646--651},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ITSC.2013.6728304},
doi = {10.1109/ITSC.2013.6728304},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/itsc/BraeuchleFRK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/EichelbergerHHBRKRS13,
author = {Hanno Eichelberger and
Patrick Heckeler and
Stefan Huster and
Sebastian Burg and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel and
Bastian Schlich},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {Beschleunigte Robustheitstests f{\"{u}}r verhaltensbeschreibende
Zustandsmaschinen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {161--170},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Mon, 18 Mar 2013 20:33:43 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/EichelbergerHHBRKRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/HusterHRBKR13,
author = {Stefan Huster and
Patrick Heckeler and
J{\"{u}}rgen Ruf and
Sebastian Burg and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Christian Haubelt and
Dirk Timmermann},
title = {A Software Testing Framework to Integrate Formal Verification Results},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Warnem{\"{u}}nde, Germany,
March 12-14, 2013},
pages = {183--192},
publisher = {Institut f{\"{u}}r Angewandte Mikroelektronik und Datentechnik,
Fakult{\"{a}}t f{\"{u}}r Informatik und Elektrotechnik,
Universit{\"{a}}t Rostock},
year = {2013},
timestamp = {Mon, 18 Mar 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mbmv/HusterHRBKR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/HeckelerSK13,
author = {Patrick Heckeler and
Bastian Schlich and
Thomas Kropf},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {Accelerated robustness testing of state-based components using reverse
execution},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1188--1195},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480587},
doi = {10.1145/2480362.2480587},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/HeckelerSK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/GrunhageBHRKRL12,
author = {Alexander Gr{\"{u}}nhage and
J{\"{o}}rg Behrend and
Patrick Heckeler and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel and
Djones Lettnin},
editor = {Jens Brandt and
Klaus Schneider},
title = {Optimized Static Parameter Assignment for Semiformal Software Verification},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March
5-7, 2012},
series = {Forschungsergebnisse zur Informatik},
volume = {68},
pages = {25--35},
publisher = {Verlag Dr. Kovac},
year = {2012},
timestamp = {Tue, 19 May 2020 12:57:43 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/GrunhageBHRKRL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stt/HeckelerBRKRW11,
author = {Patrick Heckeler and
J{\"{o}}rg Behrend and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel and
Roland Weiss},
title = {DWARF-driven Equivalence Checking of {UML} Statecharts and Software
Components},
journal = {Softwaretechnik-Trends},
volume = {31},
number = {3},
year = {2011},
url = {http://pi.informatik.uni-siegen.de/stt/31\_3/03\_Technische\_Beitraege/heckeler.pdf},
timestamp = {Tue, 23 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stt/HeckelerBRKRW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/BehrendLHRKR11,
author = {J{\"{o}}rg Behrend and
Djones Lettnin and
Patrick Heckeler and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Scalable hybrid verification for embedded software},
booktitle = {Design, Automation and Test in Europe, {DATE} 2011, Grenoble, France,
March 14-18, 2011},
pages = {179--184},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/DATE.2011.5763039},
doi = {10.1109/DATE.2011.5763039},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/BehrendLHRKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/BehrendHHLRKR11,
author = {J{\"{o}}rg Behrend and
Patrick Heckeler and
Stefan Huster and
Djones Lettnin and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Frank Oppenheimer},
title = {Scalable and Extendable Hybrid Verification Platform},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February
21-23, 2011},
pages = {259--268},
publisher = {OFFIS-Institut f{\"{u}}r Informatik},
year = {2011},
timestamp = {Wed, 27 Jun 2012 22:40:36 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/BehrendHHLRKR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LammermannRKRVJH10,
author = {Stefan L{\"{a}}mmermann and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel and
Alexander Viehl and
Alexander Jesser and
Lars Hedrich},
editor = {Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller and
Enrico Macii},
title = {Towards assertion-based verification of heterogeneous system designs},
booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany,
March 8-12, 2010},
pages = {1171--1176},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/DATE.2010.5456985},
doi = {10.1109/DATE.2010.5456985},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/LammermannRKRVJH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmam/HeckelerBKRRW10,
author = {Patrick Heckeler and
J{\"{o}}rg Behrend and
Thomas Kropf and
J{\"{u}}rgen Ruf and
Wolfgang Rosenstiel and
Roland J. Weiss},
editor = {Stefan Gruner and
Bernhard Rumpe},
title = {State-based Analysis and UML-driven Equivalence Checking for {C++}
State Machines},
booktitle = {{FM+AM} 2010 - Second International Workshop on Formal Methods and
Agile Methods, 17 September 2010, Pisa (Italy)},
series = {{LNI}},
volume = {{P-179}},
pages = {49--62},
publisher = {{GI}},
year = {2010},
url = {https://dl.gi.de/handle/20.500.12116/19659},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmam/HeckelerBKRRW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/quatic/MerzSPGK10,
author = {Florian Merz and
Carsten Sinz and
Hendrik Post and
Thomas Gorges and
Thomas Kropf},
editor = {Fernando Brito e Abreu and
Jo{\~{a}}o Pascoal Faria and
Ricardo Jorge Machado},
title = {Abstract Testing: Connecting Source Code Verification with Requirements},
booktitle = {Quality of Information and Communications Technology, 7th International
Conference on the Quality of Information and Communications Technology,
{QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
pages = {89--96},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/QUATIC.2010.14},
doi = {10.1109/QUATIC.2010.14},
timestamp = {Wed, 09 Aug 2023 08:39:51 +0200},
biburl = {https://dblp.org/rec/conf/quatic/MerzSPGK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LettninNBRGKRSR09,
author = {Djones Lettnin and
Pradeep Kumar Nalla and
J{\"{o}}rg Behrend and
J{\"{u}}rgen Ruf and
Joachim Gerlach and
Thomas Kropf and
Wolfgang Rosenstiel and
Volker Sch{\"{o}}nknecht and
Stephan Reitemeyer},
editor = {Luca Benini and
Giovanni De Micheli and
Bashir M. Al{-}Hashimi and
Wolfgang M{\"{u}}ller},
title = {Semiformal verification of temporal properties in automotive hardware
dependent software},
booktitle = {Design, Automation and Test in Europe, {DATE} 2009, Nice, France,
April 20-24, 2009},
pages = {1214--1217},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/DATE.2009.5090847},
doi = {10.1109/DATE.2009.5090847},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/date/LettninNBRGKRSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/PostSMGK09,
author = {Hendrik Post and
Carsten Sinz and
Florian Merz and
Thomas Gorges and
Thomas Kropf},
title = {Linking Functional Requirements and Software Verification},
booktitle = {{RE} 2009, 17th {IEEE} International Requirements Engineering Conference,
Atlanta, Georgia, USA, August 31 - September 4, 2009},
pages = {295--302},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/RE.2009.43},
doi = {10.1109/RE.2009.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/PostSMGK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/JesserLPWRHFKR08,
author = {Alexander Jesser and
Stefan L{\"{a}}mmermann and
Alexander Pacholik and
Roland Weiss and
J{\"{u}}rgen Ruf and
Lars Hedrich and
Wolfgang Fengler and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Advanced Assertion-Based Design for Mixed-Signal Verification},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {91-A},
number = {12},
pages = {3548--3555},
year = {2008},
url = {https://doi.org/10.1093/ietfec/e91-a.12.3548},
doi = {10.1093/IETFEC/E91-A.12.3548},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/JesserLPWRHFKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/LettninNRKRKSR08,
author = {Djones Lettnin and
Pradeep Kumar Nalla and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel and
Tobias Kirsten and
Volker Sch{\"{o}}nknecht and
Stephan Reitemeyer},
editor = {Donatella Sciuto},
title = {Verification of Temporal Properties in Automotive Embedded Software},
booktitle = {Design, Automation and Test in Europe, {DATE} 2008, Munich, Germany,
March 10-14, 2008},
pages = {164--169},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1109/DATE.2008.4484680},
doi = {10.1109/DATE.2008.4484680},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/LettninNRKRKSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Kropf07,
author = {Thomas Kropf},
editor = {Werner Damm and
Holger Hermanns},
title = {Software Bugs Seen from an Industrial Perspective or Can Formal Methods
Help on Automotive Software Development?},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {3},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_3},
doi = {10.1007/978-3-540-73368-3\_3},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/Kropf07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/NallaBPRKR07,
author = {Pradeep Kumar Nalla and
J{\"{o}}rg Behrend and
Prakash Mohan Peranandam and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Grid Based Fast Falsification For Bounded Property Checking},
booktitle = {Forum on specification and Design Languages, {FDL} 2007, September
18-20, 2007, Barcelona, Spain, Proceedings},
pages = {299--304},
publisher = {{ECSI}},
year = {2007},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=286},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/NallaBPRKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isvlsi/LettninWBGRKR07,
author = {Djones Lettnin and
Markus Winterholer and
Axel G. Braun and
Joachim Gerlach and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Coverage Driven Verification applied to Embedded Software},
booktitle = {2007 {IEEE} Computer Society Annual Symposium on {VLSI} {(ISVLSI}
2007), May 9-11, 2007, Porto Alegre, Brazil},
pages = {159--164},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ISVLSI.2007.33},
doi = {10.1109/ISVLSI.2007.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isvlsi/LettninWBGRKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/LettninNRWBGKR07,
author = {Djones Lettnin and
Pradeep Kumar Nalla and
J{\"{u}}rgen Ruf and
Roland J. Weiss and
Axel G. Braun and
Joachim Gerlach and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Christian Haubelt and
J{\"{u}}rgen Teich},
title = {Semiformal Verification of Temporal Properties in Embedded Software},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
2007},
series = {Berichte aus der Informatik},
pages = {19--28},
publisher = {Shaker},
year = {2007},
timestamp = {Thu, 11 Jul 2019 13:18:08 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/LettninNRWBGKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/LammermannBWRKR07,
author = {Stefan L{\"{a}}mmermann and
J{\"{o}}rg Behrend and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Christian Haubelt and
J{\"{u}}rgen Teich},
title = {UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften
f{\"{u}}r verschiedene Abstraktionsebenen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7,
2007},
series = {Berichte aus der Informatik},
pages = {29--38},
publisher = {Shaker},
year = {2007},
timestamp = {Thu, 28 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/LammermannBWRKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/PeranandamNRWKR06,
author = {Prakash Mohan Peranandam and
Pradeep Kumar Nalla and
J{\"{u}}rgen Ruf and
Roland J. Weiss and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Ellen Sentovich},
title = {Fast falsification based on symbolic bounded property checking},
booktitle = {Proceedings of the 43rd Design Automation Conference, {DAC} 2006,
San Francisco, CA, USA, July 24-28, 2006},
pages = {1077--1082},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1146909.1147181},
doi = {10.1145/1146909.1147181},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/PeranandamNRWKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/DuplysWRKR06,
author = {Paul Duplys and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Bernd Straube and
Martin Freibothe},
title = {Monitoring-based Formal Hardware Verification},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
2006},
pages = {217--221},
publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
year = {2006},
timestamp = {Thu, 28 Jun 2012 09:12:11 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/DuplysWRKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/LammermannWRKR06,
author = {Stefan L{\"{a}}mmermann and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Bernd Straube and
Martin Freibothe},
title = {Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22,
2006},
pages = {222--226},
publisher = {Fraunhofer Institut f{\"{u}}r Integrierte Schaltungen},
year = {2006},
timestamp = {Thu, 28 Jun 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/LammermannWRKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/WeissRKR05,
author = {Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Efficient and Customizable Integration of Temporal Properties},
booktitle = {Forum on specification and Design Languages, {FDL} 2005, September
27-30, 2005, Lausanne, Switzerland, Proceedings},
pages = {385--397},
publisher = {{ECSI}},
year = {2005},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=494},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/WeissRKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/PeranandamNWRKR05,
author = {Prakash Mohan Peranandam and
Pradeep Kumar Nalla and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Overlap reduction in symbolic system traversal},
booktitle = {Tenth {IEEE} International High-Level Design Validation and Test Workshop
2005, Napa Valley, CA, USA, November 30 - December 2, 2005},
pages = {145--152},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/HLDVT.2005.1568829},
doi = {10.1109/HLDVT.2005.1568829},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/PeranandamNWRKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NallaWPRKR06,
author = {Pradeep Kumar Nalla and
Roland J. Weiss and
Prakash Mohan Peranandam and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Martin Leucker and
Jaco van de Pol},
title = {Distributed Symbolic Bounded Property Checking},
booktitle = {Proceedings of the 4th International Workshop on Parallel and Distributed
Methods in Verification, PDMC@ICALP 2005, Lisbon, Portugal, July 10,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {135},
number = {2},
pages = {47--63},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.10.018},
doi = {10.1016/J.ENTCS.2005.10.018},
timestamp = {Thu, 15 Dec 2022 14:06:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NallaWPRKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/RufWKR04,
author = {J{\"{u}}rgen Ruf and
Roland J. Weiss and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Hartmut Ehrig and
Werner Damm and
J{\"{o}}rg Desel and
Martin Gro{\ss}e{-}Rhode and
Wolfgang Reif and
Eckehard Schnieder and
Engelbert Westk{\"{a}}mper},
title = {Modeling and Formal Verification of Production Automation Systems},
booktitle = {Integration of Software Specification Techniques for Applications
in Engineering, Priority Program SoftSpez of the German Research Foundation
(DFG), Final Report},
series = {Lecture Notes in Computer Science},
volume = {3147},
pages = {541--566},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27863-4\_29},
doi = {10.1007/978-3-540-27863-4\_29},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/RufWKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/PeranandamWRKR04,
author = {Prakash Mohan Peranandam and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Dynamic guiding of bounded property checking},
booktitle = {Ninth {IEEE} International High-Level Design Validation and Test Workshop
2004, Sonoma Valley, CA, USA, November 10-12, 2004},
pages = {15--18},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HLDVT.2004.1431223},
doi = {10.1109/HLDVT.2004.1431223},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/PeranandamWRKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/PeranandamWRK04,
author = {Prakash Mohan Peranandam and
Roland J. Weiss and
J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Dominik Stoffel and
Wolfgang Kunz},
title = {Transactional Level Verification and Coverage Metrics by Means of
Symbolic Simulation},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February
24-25, 2004},
pages = {260--269},
publisher = {Shaker},
year = {2004},
timestamp = {Thu, 28 Jun 2012 09:44:44 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/PeranandamWRK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RufK03,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
title = {Symbolic Verification and Analysis of Discrete Timed Systems},
journal = {Formal Methods Syst. Des.},
volume = {23},
number = {1},
pages = {67--108},
year = {2003},
url = {https://doi.org/10.1023/A:1024437214071},
doi = {10.1023/A:1024437214071},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/RufK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fdl/RufPKR03,
author = {J{\"{u}}rgen Ruf and
Prakash Mohan Peranandam and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Using Symbolic Simulation for Bounded Property Checking},
booktitle = {Forum on specification and Design Languages, {FDL} 2003, September
23-26, 2003, Frankfurt, Germany, Proceedings},
pages = {374--385},
publisher = {{ECSI}},
year = {2003},
url = {http://www.ecsi-association.org/ecsi/main.asp?l1=library\&\#38;fn=def\&\#38;id=818},
timestamp = {Thu, 03 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fdl/RufPKR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/RufK02,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
title = {Formal Data Analysis of Timed Finite State Systems},
booktitle = {14th Euromicro Conference on Real-Time Systems {(ECRTS} 2002), 19-21
June 2002, Vienna, Austria, Proceedings},
pages = {257},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/EMRTS.2002.1019206},
doi = {10.1109/EMRTS.2002.1019206},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecrts/RufK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss/RufKK02,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf and
Jochen Klose},
editor = {El Mostapha Aboulhamid and
Yukihiro Nakamura},
title = {A Visual Approach to Validating System Level Designs},
booktitle = {Proceedings of the 15th International Symposium on System Synthesis
{(ISSS} 2002), October 2-4, 2002, Kyoto, Japan},
pages = {186--191},
publisher = {{ACM} / {IEEE} Computer Society},
year = {2002},
url = {https://doi.ieeecomputersociety.org/10.1109/ISSS.2002.1227175},
doi = {10.1109/ISSS.2002.1227175},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isss/RufKK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RufK02,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {J{\"{u}}rgen Ruf},
title = {Combination of Simulation and Formal Verification},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), T{\"{u}}bingen, Germany,
February 25-27, 2002},
pages = {134--143},
publisher = {Shaker},
year = {2002},
timestamp = {Thu, 28 Jun 2012 12:33:04 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/RufK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/RufK01,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
title = {Formale Verifikation diskreter Echtzeitsysteme (Formal Verification
of Discrete Real-Time Systems)},
journal = {Informationstechnik Tech. Inform.},
volume = {43},
number = {1},
pages = {39--46},
year = {2001},
url = {https://doi.org/10.1524/itit.2001.43.1.39},
doi = {10.1524/ITIT.2001.43.1.39},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/RufK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RufHGKRM01,
author = {J{\"{u}}rgen Ruf and
Dirk W. Hoffmann and
Joachim Gerlach and
Thomas Kropf and
Wolfgang Rosenstiel and
Wolfgang M{\"{u}}ller},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {The simulation semantics of systemC},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {64--70},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915002},
doi = {10.1109/DATE.2001.915002},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RufHGKRM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RufHKR01,
author = {J{\"{u}}rgen Ruf and
Dirk W. Hoffmann and
Thomas Kropf and
Wolfgang Rosenstiel},
editor = {Wolfgang Nebel and
Ahmed Jerraya},
title = {Simulation-guided property checking based on a multi-valued AR-automata},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe,
{DATE} 2001, Munich, Germany, March 12-16, 2001},
pages = {742--748},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/DATE.2001.915111},
doi = {10.1109/DATE.2001.915111},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RufHKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RufK00,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Ivo Bolsens},
title = {Analyzing Real-Time Systems},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {243--248},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840046},
doi = {10.1109/DATE.2000.840046},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/RufK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HoffmannK00,
author = {Dirk W. Hoffmann and
Thomas Kropf},
editor = {Ivo Bolsens},
title = {Exploiting Hierarchy for Multiple Error Correction in Combinational
Circuits},
booktitle = {2000 Design, Automation and Test in Europe {(DATE} 2000), 27-30 March
2000, Paris, France},
pages = {758},
publisher = {{IEEE} Computer Society / {ACM}},
year = {2000},
url = {https://doi.org/10.1109/DATE.2000.840891},
doi = {10.1109/DATE.2000.840891},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HoffmannK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/HoffmannK00,
author = {Dirk W. Hoffmann and
Thomas Kropf},
title = {Can Automatic Design Error Correction be Applied to Large Circuits?},
booktitle = {26th {EUROMICRO} 2000 Conference, Informatics: Inventing the Future,
5-7 September 2000, Maastricht, The Netherlands},
pages = {1114--1121},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EURMIC.2000.874623},
doi = {10.1109/EURMIC.2000.874623},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/HoffmannK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/HoffmannRKR00,
author = {Dirk W. Hoffmann and
J{\"{u}}rgen Ruf and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Simulation Meets Verification: Checking Temporal Properties in SystemC},
booktitle = {26th {EUROMICRO} 2000 Conference, Informatics: Inventing the Future,
5-7 September 2000, Maastricht, The Netherlands},
pages = {1435},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/EURMIC.2000.874664},
doi = {10.1109/EURMIC.2000.874664},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/HoffmannRKR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/RufHKR00,
author = {J{\"{u}}rgen Ruf and
Dirk W. Hoffmann and
Thomas Kropf and
Wolfgang Rosenstiel},
title = {Checking temporal properties under simulation of executable system
descriptions},
booktitle = {Proceedings of the {IEEE} International High-Level Design Validation
and Test Workshop 2000, Berkeley, California, USA, November 8-10,
2000},
pages = {161--166},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/HLDVT.2000.889578},
doi = {10.1109/HLDVT.2000.889578},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/RufHKR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/HoffmannK00,
author = {Dirk W. Hoffmann and
Thomas Kropf},
title = {Efficient Design Error Correction of Digital Circuits},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design:
{VLSI} In Computers {\&} Processors, {ICCD} '00, Austin, Texas,
USA, September 17-20, 2000},
pages = {465--472},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICCD.2000.878324},
doi = {10.1109/ICCD.2000.878324},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/HoffmannK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0000016,
author = {Thomas Kropf},
title = {Introduction to Formal Hardware Verification},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-662-03809-3},
doi = {10.1007/978-3-662-03809-3},
isbn = {978-3-540-65445-2},
timestamp = {Thu, 01 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0000016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/KropfGHK99,
author = {Thomas Kropf and
Joachim Gerlach and
J{\"{u}}rgen Haufe and
Mathias Kortke},
title = {Methodischer HW/SW-Entwurf des {GSM} Sprachtranscodec-Algorithmus},
journal = {Informationstechnik Tech. Inform.},
volume = {41},
number = {2},
pages = {46--50},
year = {1999},
url = {https://doi.org/10.1524/itit.1999.41.2.46},
doi = {10.1524/ITIT.1999.41.2.46},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/KropfGHK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/HoffmannK99,
author = {Dirk W. Hoffmann and
Thomas Kropf},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Automatic Error Correction of Large Circuits Using Boolean Decomposition
and Abstraction},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {157--171},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_13},
doi = {10.1007/3-540-48153-2\_13},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/HoffmannK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RufK99,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Laurence Pierre and
Thomas Kropf},
title = {Modleing and Checking Networks of Communicating Real-Time Process},
booktitle = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
pages = {265--279},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2\_20},
doi = {10.1007/3-540-48153-2\_20},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/RufK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/HuhnSKL99,
author = {Michaela Huhn and
Klaus Schneider and
Thomas Kropf and
George Logothetis},
title = {Verifying Imprecisely Working Arithmetic Circuits},
booktitle = {1999 Design, Automation and Test in Europe {(DATE} '99), 9-12 March
1999, Munich, Germany},
pages = {65},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1999},
url = {https://doi.org/10.1109/DATE.1999.761098},
doi = {10.1109/DATE.1999.761098},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/HuhnSKL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccd/HoffmannK99,
author = {Dirk W. Hoffmann and
Thomas Kropf},
title = {Automatic Error Correction of Tri-State Circuits},
booktitle = {Proceedings of the {IEEE} International Conference On Computer Design,
{VLSI} in Computers and Processors, {ICCD} '99, Austin, Texas, USA,
October 10-13, 1999},
pages = {51},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICCD.1999.808379},
doi = {10.1109/ICCD.1999.808379},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccd/HoffmannK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/RufK99,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Matthias Mutz and
Nikolaus Lange},
title = {Modeling Real-Time Systems with I/O-Interval Structures},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February
22-24, 1999},
pages = {91--100},
publisher = {Shaker},
year = {1999},
timestamp = {Thu, 28 Jun 2012 13:08:25 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/RufK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/Kropf99,
author = {Thomas Kropf},
editor = {Yves Bertot and
Gilles Dowek and
Andr{\'{e}} Hirschowitz and
Christine Paulin{-}Mohring and
Laurent Th{\'{e}}ry},
title = {Recent Advancements in Hardware Verification - How to Make Theorem
Proving Fit for an Industrial Usage},
booktitle = {Theorem Proving in Higher Order Logics, 12th International Conference,
TPHOLs'99, Nice, France, September, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1690},
pages = {1--4},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48256-3\_1},
doi = {10.1007/3-540-48256-3\_1},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/Kropf99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/charme/1999,
editor = {Laurence Pierre and
Thomas Kropf},
title = {Correct Hardware Design and Verification Methods, 10th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} '99, Bad Herrenalb,
Germany, September 27-29, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1703},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48153-2},
doi = {10.1007/3-540-48153-2},
isbn = {3-540-66559-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/charme/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/it/GrassKM98,
author = {Werner Grass and
Thomas Kropf and
Matthias Mutz},
title = {Formale Methoden bei der Spezifikation von Hardware},
journal = {Informationstechnik Tech. Inform.},
volume = {40},
number = {3},
pages = {13--17},
year = {1998},
url = {https://doi.org/10.1524/itit.1998.40.3.13},
doi = {10.1524/ITIT.1998.40.3.13},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/it/GrassKM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/ReetzSK98,
author = {Ralf Reetz and
Klaus Schneider and
Thomas Kropf},
editor = {Patrick M. Dewilde and
Franz J. Rammig and
Gerry Musgrave},
title = {Formal Specification in {VHDL} for Hardware Verification},
booktitle = {1998 Design, Automation and Test in Europe {(DATE} '98), February
23-26, 1998, Le Palais des Congr{\`{e}}s de Paris, Paris, France},
pages = {257--263},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/DATE.1998.655865},
doi = {10.1109/DATE.1998.655865},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/date/ReetzSK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/RufK98,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Ganesh Gopalakrishnan and
Phillip J. Windley},
title = {Using MTBDDs for Compostion and Model Checking of Real-Time Systems},
booktitle = {Formal Methods in Computer-Aided Design, Second International Conference,
{FMCAD} '98, Palo Alto, California, USA, November 4-6, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1522},
pages = {185--202},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49519-3\_13},
doi = {10.1007/3-540-49519-3\_13},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/RufK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mbmv/KropfRSW98,
author = {Thomas Kropf and
J{\"{u}}rgen Ruf and
Klaus Schneider and
Markus Wild},
editor = {Franz{-}Josef Rammig and
Wolfgang M{\"{u}}ller},
title = {A Synchronous Language for Modeling and Verifying Real Time and Embedded
Systems},
booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation
von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11,
1998},
pages = {11--20},
publisher = {HNI-Verlagsschriften},
year = {1998},
timestamp = {Thu, 02 Apr 2015 19:44:47 +0200},
biburl = {https://dblp.org/rec/conf/mbmv/KropfRSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RufK97,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Hon Fung Li and
David K. Probst},
title = {Symbolic model checking for a discrete clocked temporal logic with
intervals},
booktitle = {Advances in Hardware Design and Verification, {IFIP} {WG} 10.5 International
Conference on Correct Hardware Design and Verification Methods, 16-18
October 1997, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {105},
pages = {146--163},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/RufK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/KropfR97,
author = {Thomas Kropf and
J{\"{u}}rgen Ruf},
title = {Using MTBDDs for discrete timed symbolic model checking},
booktitle = {European Design and Test Conference, ED{\&}TC '97, Paris, France,
17-20 March 1997},
pages = {182--187},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/EDTC.1997.582356},
doi = {10.1109/EDTC.1997.582356},
timestamp = {Fri, 20 May 2022 15:59:03 +0200},
biburl = {https://dblp.org/rec/conf/date/KropfR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhv/SchneiderK97,
author = {Klaus Schneider and
Thomas Kropf},
editor = {Thomas Kropf},
title = {The C@S System},
booktitle = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
pages = {248--329},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4\_6},
doi = {10.1007/3-540-63475-4\_6},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/fhv/SchneiderK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhv/Kropf97,
author = {Thomas Kropf},
editor = {Thomas Kropf},
title = {Appendix: The Common Book Examples},
booktitle = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
pages = {330--367},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4\_7},
doi = {10.1007/3-540-63475-4\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhv/Kropf97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RufK97,
author = {J{\"{u}}rgen Ruf and
Thomas Kropf},
editor = {Oded Maler},
title = {A New Algorithm for Discrete Timed Symbolic Model Checking},
booktitle = {Hybrid and Real-Time Systems, International Workshop. HART'97, Grenoble,
France, March 26-28, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1201},
pages = {18--32},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0014710},
doi = {10.1007/BFB0014710},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RufK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fhv/1997,
editor = {Thomas Kropf},
title = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4},
doi = {10.1007/3-540-63475-4},
isbn = {3-540-63475-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fhv/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FrosslKG96,
author = {J{\"{u}}rgen Fr{\"{o}}{\ss}l and
Thomas Kropf and
Joachim Gerlach},
title = {An Efficient Algorithm for Real-Time Symbolic Model Checking},
booktitle = {1996 European Design and Test Conference, ED{\&}TC 1996, Paris,
France, March 11-14, 1996},
pages = {15--21},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/EDTC.1996.494120},
doi = {10.1109/EDTC.1996.494120},
timestamp = {Fri, 20 May 2022 15:52:30 +0200},
biburl = {https://dblp.org/rec/conf/date/FrosslKG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/SchneiderK96,
author = {Klaus Schneider and
Thomas Kropf},
editor = {Mandayam K. Srivas and
Albert John Camilleri},
title = {A Unified Approach for Combining Different Formalisms for Hardware
Verification},
booktitle = {Formal Methods in Computer-Aided Design, First International Conference,
{FMCAD} '96, Palo Alto, California, USA, November 6-8, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1166},
pages = {202--217},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031809},
doi = {10.1007/BFB0031809},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/SchneiderK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/et/HaberlK95,
author = {Oliver F. Haberl and
Thomas Kropf},
title = {{HIST:} {A} hierarchical self test methodology for chips, boards,
and systems},
journal = {J. Electron. Test.},
volume = {6},
number = {1},
pages = {85--106},
year = {1995},
url = {https://doi.org/10.1007/BF00993132},
doi = {10.1007/BF00993132},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/et/HaberlK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/ReetzK95,
author = {Ralf Reetz and
Thomas Kropf},
title = {A Flowgraph Semantics of {VHDL:} Toward a {VHDL} Verification Workbench
in {HOL}},
journal = {Formal Methods Syst. Des.},
volume = {7},
number = {1/2},
pages = {73--99},
year = {1995},
url = {https://doi.org/10.1007/BF01383874},
doi = {10.1007/BF01383874},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/ReetzK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/FrosslK95,
author = {J{\"{u}}rgen Fr{\"{o}}{\ss}l and
Thomas Kropf},
title = {Verifying real-time properties of MOS-transistor circuits},
booktitle = {1995 European Design and Test Conference, ED{\&}TC 1995, Paris,
France, March 6-9, 1995},
pages = {314--319},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/EDTC.1995.470378},
doi = {10.1109/EDTC.1995.470378},
timestamp = {Fri, 20 May 2022 15:41:46 +0200},
biburl = {https://dblp.org/rec/conf/date/FrosslK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsid/KumarKS95,
author = {Ramayya Kumar and
Thomas Kropf and
Klaus Schneider},
title = {Formal synthesis of circuits with a simple handshake protocol},
booktitle = {8th International Conference on {VLSI} Design {(VLSI} Design 1995),
4-7 January 1995, New Delhi, India},
pages = {255--259},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/ICVD.1995.512119},
doi = {10.1109/ICVD.1995.512119},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vlsid/KumarKS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SchneiderKK94,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
title = {Accelerating Tableaux Proofs Using Compact Representations},
journal = {Formal Methods Syst. Des.},
volume = {5},
number = {1/2},
pages = {145--176},
year = {1994},
url = {https://doi.org/10.1007/BF01384237},
doi = {10.1007/BF01384237},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SchneiderKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/HaberlK94,
author = {Oliver F. Haberl and
Thomas Kropf},
editor = {Robert Werner},
title = {Self Testable Boards with Standard {IEEE} 1149.5 Module Test and Maintenance
{(MTM)} Bus Interface},
booktitle = {{EDAC} - The European Conference on Design Automation, {ETC} - European
Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
Proceedings, February 28 - March 3, 1994, Paris, France},
pages = {220--225},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/EDTC.1994.326874},
doi = {10.1109/EDTC.1994.326874},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/HaberlK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/FrosslK94,
author = {J{\"{u}}rgen Fr{\"{o}}{\ss}l and
Thomas Kropf},
editor = {Robert Werner},
title = {A New Model to Uniformly Represent the Function and Timing of {MOS}
Circuits and its Application to {VHDL} Simulation},
booktitle = {{EDAC} - The European Conference on Design Automation, {ETC} - European
Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
Proceedings, February 28 - March 3, 1994, Paris, France},
pages = {343--348},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/EDTC.1994.326854},
doi = {10.1109/EDTC.1994.326854},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/FrosslK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurodac/SchneiderKK94,
author = {Klaus Schneider and
Thomas Kropf and
Ramayya Kumar},
editor = {Robert Werner},
title = {Control Path Oriented Verification of Sequential Generic Circuits
with Control and Data Path},
booktitle = {{EDAC} - The European Conference on Design Automation, {ETC} - European
Test Conference, {EUROASIC} - The European Event in {ASIC} Design,
Proceedings, February 28 - March 3, 1994, Paris, France},
pages = {648--652},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/EDTC.1994.326809},
doi = {10.1109/EDTC.1994.326809},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eurodac/SchneiderKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/Kropf94,
author = {Thomas Kropf},
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Benchmark-Circuits for Hardware-Verification},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
pages = {1--12},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1\_39},
doi = {10.1007/3-540-59047-1\_39},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/Kropf94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tpcd/KropfSK94,
author = {Thomas Kropf and
Klaus Schneider and
Ramayya Kumar},
editor = {Ramayya Kumar and
Thomas Kropf},
title = {A Formal Framework for High Level Synthesis},
booktitle = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
pages = {223--238},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1\_51},
doi = {10.1007/3-540-59047-1\_51},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/KropfSK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ReetzK94,
author = {Ralf Reetz and
Thomas Kropf},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Simplifying Deep Embedding: {A} Formalised Code Generator},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {378--390},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_55},
doi = {10.1007/3-540-58450-1\_55},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/ReetzK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK94,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Thomas F. Melham and
Juanito Camilleri},
title = {Automating Verification by Functional Abstraction at the System Level},
booktitle = {Higher Order Logic Theorem Proving and Its Applications, 7th International
Workshop, Valletta, Malta, September 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {859},
pages = {391--406},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58450-1\_56},
doi = {10.1007/3-540-58450-1\_56},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tpcd/1994,
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, {TPCD} '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {901},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-59047-1},
doi = {10.1007/3-540-59047-1},
isbn = {3-540-59047-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tpcd/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Kropf93,
author = {Thomas Kropf},
title = {Ein einheitlicher Ansatz zur Verifikation und Testerzeugung f{\"{u}}r
digitale Schaltungen mit temporaler Logik},
school = {Karlsruhe Institute of Technology, Germany},
year = {1993},
url = {https://d-nb.info/940324733},
isbn = {978-3-18-147409-9},
timestamp = {Wed, 28 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/dnb/Kropf93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KumarSK93,
author = {Ramayya Kumar and
Klaus Schneider and
Thomas Kropf},
title = {Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving
Environment},
journal = {Formal Methods Syst. Des.},
volume = {2},
number = {2},
pages = {165--223},
year = {1993},
url = {https://doi.org/10.1007/BF01383880},
doi = {10.1007/BF01383880},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KumarSK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/KropfKS93,
author = {Thomas Kropf and
Ramayya Kumar and
Klaus Schneider},
editor = {George J. Milne and
Laurence Pierre},
title = {Embedding Hardware Verification Within a Commercial Design Framework},
booktitle = {Correct Hardware Design and Verification Methods, {IFIP} {WG} 10.5
Advanced Research Working Conference, {CHARME} '93, Arles, France,
May 24-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {683},
pages = {242--257},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0021728},
doi = {10.1007/BFB0021728},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/KropfKS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/chdl/SchneiderKK93,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {David Agnew and
Luc J. M. Claesen and
Raul Camposano},
title = {Hardware-Verification using First Order BDDs},
booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
Description Languages and their Applications - {CHDL} '93, sponsored
by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
Ontario, Canada, 26-28 April, 1993},
series = {{IFIP} Transactions},
volume = {{A-32}},
pages = {45--62},
publisher = {North-Holland},
year = {1993},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/chdl/SchneiderKK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK93,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Alternative Proof Procedures for Finite-State Machines in Higher-Order
Logic},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {213--226},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_137},
doi = {10.1007/3-540-57826-9\_137},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK93a,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Jeffrey J. Joyce and
Carl{-}Johan H. Seger},
title = {Eliminating Higher-Order Quantifiers to Obtain Decision Procedures
for Hardware Verification},
booktitle = {Higher Order Logic Theorem Proving and its Applications, 6th International
Workshop, {HUG} '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {780},
pages = {385--398},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57826-9\_150},
doi = {10.1007/3-540-57826-9\_150},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/SchneiderKK92,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Deepak Kapur},
title = {The {FAUST} - Prover},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {766--770},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_221},
doi = {10.1007/3-540-55602-8\_221},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/SchneiderKK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/glvlsi/HaberlK92,
author = {Oliver F. Haberl and
Thomas Kropf},
title = {A chip solution to hierarchical and boundary-scan compatible board
level {BIST}},
booktitle = {Proceedings of the Second Great Lakes Symposium on VLSI, Kalamazoo,
MI, USA, February 28-29, 1992},
pages = {16--21},
publisher = {{IEEE}},
year = {1992},
url = {https://doi.org/10.1109/GLSV.1992.218370},
doi = {10.1109/GLSV.1992.218370},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/glvlsi/HaberlK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/HaberlK92,
author = {Oliver F. Haberl and
Thomas Kropf},
title = {{HIST:} {A} Methodology for the Automatic Insertion of a Hierarchical
Self Test},
booktitle = {Proceedings {IEEE} International Test Conference 1992, Discover the
New World of Test and Design, Baltimore, Maryland, USA, September
20-24, 1992},
pages = {732--741},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/TEST.1992.527895},
doi = {10.1109/TEST.1992.527895},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/HaberlK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK92,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {Efficient Representation and Computation of Tableau Proofs},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {39--57},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/SchneiderKK92a,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Luc J. M. Claesen and
Michael J. C. Gordon},
title = {Modelling Generic Hardware Structures by Abstract Datatypes},
booktitle = {Higher Order Logic Theorem Proving and its Applications, Proceedings
of the {IFIP} {TC10/WG10.2} Workshop HOL'92, Leuven, Belgium, 21-24
September 1992},
series = {{IFIP} Transactions},
volume = {{A-20}},
pages = {165--175},
publisher = {North-Holland/Elsevier},
year = {1992},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/SchneiderKK92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vts/HaberlK92,
author = {Oliver F. Haberl and
Thomas Kropf},
title = {A methodology for the insertion of a hierarchical and boundary-scan
compatible self test},
booktitle = {10th {IEEE} {VLSI} Test Symposium (VTS'92), 7-9 Apr 1992, Atlantic
City, NJ, {USA}},
pages = {37--42},
publisher = {{IEEE} Computer Society},
year = {1992},
url = {https://doi.org/10.1109/VTEST.1992.232721},
doi = {10.1109/VTEST.1992.232721},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vts/HaberlK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SchneiderKK91,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Kim Guldstrand Larsen and
Arne Skou},
title = {Automating Most Parts of Hardware Proofs in {HOL}},
booktitle = {Computer Aided Verification, 3rd International Workshop, {CAV} '91,
Aalborg, Denmark, July, 1-4, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {575},
pages = {365--375},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55179-4\_35},
doi = {10.1007/3-540-55179-4\_35},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SchneiderKK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itc/KropfW91,
author = {Thomas Kropf and
Hans{-}Joachim Wunderlich},
title = {A Common Approach to Test Generation and Hardware Verification Based
on Temporal Logic},
booktitle = {Proceedings {IEEE} International Test Conference 1991, Test: Faster,
Better, Sooner, Nashville, TN, USA, October 26-30, 1991},
pages = {57--66},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/TEST.1991.519494},
doi = {10.1109/TEST.1991.519494},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itc/KropfW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KumarKS91,
author = {Ramayya Kumar and
Thomas Kropf and
Klaus Schneider},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {Integrating a First-Order Automatic Prover in the {HOL} Environment},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {170--176},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KumarKS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tphol/KumarKS91a,
author = {Ramayya Kumar and
Thomas Kropf and
Klaus Schneider},
editor = {Myla Archer and
Jeffrey J. Joyce and
Karl N. Levitt and
Phillip J. Windley},
title = {First Steps Towards Automating Hardware Proofs in {HOL}},
booktitle = {Proceedings of the 1991 International Workshop on the {HOL} Theorem
Proving System and its Applications, August 1991, Davis, California,
{USA}},
pages = {190--193},
publisher = {{IEEE} Computer Society},
year = {1991},
timestamp = {Mon, 22 Dec 2014 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tphol/KumarKS91a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vlsi/SchneiderKK91,
author = {Klaus Schneider and
Ramayya Kumar and
Thomas Kropf},
editor = {Arne Halaas and
Peter B. Denyer},
title = {Structure in Hardware Proofs: First Steps Towards Automation in a
Higher-Order Environment},
booktitle = {{VLSI} 91, Proceedings of the {IFIP} {TC10/WG} 10.5 International
Conference on Very Large Scale Integration, Edinburgh, Scotland, 20-22
August, 1991},
series = {{IFIP} Transactions},
volume = {{A-1}},
pages = {81--90},
publisher = {North-Holland},
year = {1991},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vlsi/SchneiderKK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/KropfFBG90,
author = {Thomas Kropf and
J{\"{u}}rgen Fr{\"{o}}{\ss}l and
W. Beller and
T. Giesler},
title = {A hardware implementation of a modified DES-algorithm},
journal = {Microprocessing and Microprogramming},
volume = {30},
number = {1-5},
pages = {59--65},
year = {1990},
url = {https://doi.org/10.1016/0165-6074(90)90218-X},
doi = {10.1016/0165-6074(90)90218-X},
timestamp = {Thu, 18 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/KropfFBG90.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 05:54 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:
