Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robert P. Kurshan
@incollection{DBLP:reference/mc/Kurshan18,
author = {Robert P. Kurshan},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Transfer of Model Checking to Industrial Practice},
booktitle = {Handbook of Model Checking},
pages = {763--793},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_23},
doi = {10.1007/978-3-319-10575-8\_23},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/Kurshan18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DoucetK17,
author = {Frederic Doucet and
Robert P. Kurshan},
title = {A methodology to take credit for high-level verification during {RTL}
verification},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {2},
pages = {395--418},
year = {2017},
url = {https://doi.org/10.1007/s10703-017-0299-2},
doi = {10.1007/S10703-017-0299-2},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/DoucetK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ClarkeKV10,
author = {Edmund M. Clarke and
Robert P. Kurshan and
Helmut Veith},
editor = {Zohar Manna and
Doron A. Peled},
title = {The Localization Reduction and Counterexample-Guided Abstraction Refinement},
booktitle = {Time for Verification, Essays in Memory of Amir Pnueli},
series = {Lecture Notes in Computer Science},
volume = {6200},
pages = {61--71},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13754-9\_4},
doi = {10.1007/978-3-642-13754-9\_4},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ClarkeKV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KimJRSPKS08,
author = {Hyondeuk Kim and
HoonSang Jin and
Kavita Ravi and
Petr Spacek and
John Pierce and
Robert P. Kurshan and
Fabio Somenzi},
editor = {Aarti Gupta and
Sharad Malik},
title = {Application of Formal Word-Level Analysis to Constrained Random Simulation},
booktitle = {Computer Aided Verification, 20th International Conference, {CAV}
2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5123},
pages = {487--490},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70545-1\_46},
doi = {10.1007/978-3-540-70545-1\_46},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/KimJRSPKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/Kurshan08,
author = {Robert P. Kurshan},
editor = {Orna Grumberg and
Helmut Veith},
title = {Verification Technology Transfer},
booktitle = {25 Years of Model Checking - History, Achievements, Perspectives},
series = {Lecture Notes in Computer Science},
volume = {5000},
pages = {46--64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69850-0\_3},
doi = {10.1007/978-3-540-69850-0\_3},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/Kurshan08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/Kurshan07,
author = {Robert P. Kurshan},
editor = {Karen Yorav},
title = {Scaling Commercial Verification to Larger Systems},
booktitle = {Hardware and Software: Verification and Testing, Third International
Haifa Verification Conference, {HVC} 2007, Haifa, Israel, October
23-25, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4899},
pages = {8--13},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-77966-7\_2},
doi = {10.1007/978-3-540-77966-7\_2},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hvc/Kurshan07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/AmlaDKKM05,
author = {Nina Amla and
Xiaoqun Du and
Andreas Kuehlmann and
Robert P. Kurshan and
Kenneth L. McMillan},
editor = {Dominique Borrione and
Wolfgang J. Paul},
title = {An Analysis of SAT-Based Model Checking Techniques in an Industrial
Environment},
booktitle = {Correct Hardware Design and Verification Methods, 13th {IFIP} {WG}
10.5 Advanced Research Working Conference, {CHARME} 2005, Saarbr{\"{u}}cken,
Germany, October 3-6, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3725},
pages = {254--268},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11560548\_20},
doi = {10.1007/11560548\_20},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/charme/AmlaDKKM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SharyginaBXKL04,
author = {Natasha Sharygina and
James C. Browne and
Fei Xie and
Robert P. Kurshan and
Vladimir Levin},
title = {Lessons Learned from Model Checking a {NASA} Robot Controller},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {241--270},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040029.73127.85},
doi = {10.1023/B:FORM.0000040029.73127.85},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SharyginaBXKL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FurediK04,
author = {Zolt{\'{a}}n F{\"{u}}redi and
Robert P. Kurshan},
title = {Minimal length test vectors for multiple-fault detection},
journal = {Theor. Comput. Sci.},
volume = {315},
number = {1},
pages = {191--208},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2003.11.018},
doi = {10.1016/J.TCS.2003.11.018},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FurediK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Kurshan04,
author = {Robert P. Kurshan},
editor = {Farn Wang},
title = {Evolution of Model Checking into the {EDA} Industry},
booktitle = {Automated Technology for Verification and Analysis: Second International
Conference, {ATVA} 2004, Taipei, Taiwan, ROC, October 31-November
3, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3299},
pages = {2--6},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30476-0\_2},
doi = {10.1007/978-3-540-30476-0\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Kurshan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/XieLKB04,
author = {Fei Xie and
Vladimir Levin and
Robert P. Kurshan and
James C. Browne},
editor = {Michel Wermelinger and
Tiziana Margaria},
title = {Translating Software Designs for Model Checking},
booktitle = {Fundamental Approaches to Software Engineering, 7th International
Conference, {FASE} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
March 29 - april 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2984},
pages = {324--338},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24721-0\_24},
doi = {10.1007/978-3-540-24721-0\_24},
timestamp = {Sun, 02 Jun 2019 21:17:06 +0200},
biburl = {https://dblp.org/rec/conf/fase/XieLKB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/Kurshan04,
author = {Robert P. Kurshan},
title = {Formal verification as a technology transfer problem},
booktitle = {2nd {ACM} {\&} {IEEE} International Conference on Formal Methods
and Models for Co-Design {(MEMOCODE} 2004), 23-25 June 2004, San Diego,
California, USA, Proceedings},
pages = {147--150},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/MEMCOD.2004.1459839},
doi = {10.1109/MEMCOD.2004.1459839},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/memocode/Kurshan04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/XieBK03,
author = {Fei Xie and
James C. Browne and
Robert P. Kurshan},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Translation-Based Compositional Reasoning for Software Systems},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {582--599},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_32},
doi = {10.1007/978-3-540-45236-2\_32},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/XieBK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AmlaKMM03,
author = {Nina Amla and
Robert P. Kurshan and
Kenneth L. McMillan and
Ricardo H. Medel},
editor = {Hubert Garavel and
John Hatcliff},
title = {Experimental Analysis of Different Techniques for Bounded Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
9th International Conference, {TACAS} 2003, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2003,
Warsaw, Poland, April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2619},
pages = {34--48},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36577-X\_4},
doi = {10.1007/3-540-36577-X\_4},
timestamp = {Sat, 13 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/AmlaKMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KurshanLMPY02,
author = {Robert P. Kurshan and
Vladimir Levin and
Marius Minea and
Doron A. Peled and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Combining Software and Hardware Verification Techniques},
journal = {Formal Methods Syst. Des.},
volume = {21},
number = {3},
pages = {251--280},
year = {2002},
url = {https://doi.org/10.1023/A:1020383505582},
doi = {10.1023/A:1020383505582},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KurshanLMPY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanLY02,
author = {Robert P. Kurshan and
Vladimir Levin and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Ed Brinksma and
Kim Guldstrand Larsen},
title = {Compressing Transitions for Model Checking},
booktitle = {Computer Aided Verification, 14th International Conference, {CAV}
2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2404},
pages = {569--581},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45657-0\_48},
doi = {10.1007/3-540-45657-0\_48},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanLY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sara/Kurshan02,
author = {Robert P. Kurshan},
editor = {Sven Koenig and
Robert C. Holte},
title = {Model Checking and Abstraction},
booktitle = {Abstraction, Reformulation and Approximation, 5th International Symposium,
{SARA} 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2371},
pages = {1--17},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45622-8\_1},
doi = {10.1007/3-540-45622-8\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/sara/Kurshan02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/HardinKSV01,
author = {Ronald H. Hardin and
Robert P. Kurshan and
Sandeep K. Shukla and
Moshe Y. Vardi},
title = {A New Heuristic for Bad Cycle Detection Using BDDs},
journal = {Formal Methods Syst. Des.},
volume = {18},
number = {2},
pages = {131--140},
year = {2001},
url = {https://doi.org/10.1023/A:1008727508722},
doi = {10.1023/A:1008727508722},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/HardinKSV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/GrumbergK01,
author = {Orna Grumberg and
Robert P. Kurshan},
title = {Which Branching-Time Properties are Effectively Linear?},
journal = {J. Log. Comput.},
volume = {11},
number = {2},
pages = {201--228},
year = {2001},
url = {https://doi.org/10.1093/logcom/11.2.201},
doi = {10.1093/LOGCOM/11.2.201},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/GrumbergK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/ChocklerKKV01,
author = {Hana Chockler and
Orna Kupferman and
Robert P. Kurshan and
Moshe Y. Vardi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {A Practical Approach to Coverage in Model Checking},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {66--78},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_7},
doi = {10.1007/3-540-44585-4\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/ChocklerKKV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AmlaEKN01,
author = {Nina Amla and
E. Allen Emerson and
Robert P. Kurshan and
Kedar S. Namjoshi},
editor = {G{\'{e}}rard Berry and
Hubert Comon and
Alain Finkel},
title = {Rtdt: {A} Front-End for Efficient Model Checking of Synchronous Timing
Diagrams},
booktitle = {Computer Aided Verification, 13th International Conference, {CAV}
2001, Paris, France, July 18-22, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2102},
pages = {387--390},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44585-4\_38},
doi = {10.1007/3-540-44585-4\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/AmlaEKN01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/SharyginaBK01,
author = {Natasha Sharygina and
James C. Browne and
Robert P. Kurshan},
editor = {Heinrich Hu{\ss}mann},
title = {A Formal Object-Oriented Analysis for Software Reliability: Design
for Verification},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {318--332},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_23},
doi = {10.1007/3-540-45314-8\_23},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/SharyginaBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK00,
author = {Kedar S. Namjoshi and
Robert P. Kurshan},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {Syntactic Program Transformations for Automatic Abstraction},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {435--449},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_33},
doi = {10.1007/10722167\_33},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NamjoshiK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GunterKP00,
author = {Elsa L. Gunter and
Robert P. Kurshan and
Doron A. Peled},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {{PET:} An Interactive Software Testing Tool},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {552--556},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_43},
doi = {10.1007/10722167\_43},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GunterKP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/AmlaEKN00,
author = {Nina Amla and
E. Allen Emerson and
Robert P. Kurshan and
Kedar S. Namjoshi},
editor = {Warren A. Hunt Jr. and
Steven D. Johnson},
title = {Model Checking Synchronous Timing Diagrams},
booktitle = {Formal Methods in Computer-Aided Design, Third International Conference,
{FMCAD} 2000, Austin, Texas, USA, November 1-3, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1954},
pages = {283--298},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40922-X\_18},
doi = {10.1007/3-540-40922-X\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/AmlaEKN00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/Kurshan00,
author = {Robert P. Kurshan},
editor = {Hamid R. Arabnia},
title = {The Evolution of Commercial Formal Verification},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} 2000, June 24-29,
2000, Las Vegas, Nevada, {USA}},
publisher = {{CSREA} Press},
year = {2000},
timestamp = {Mon, 08 Dec 2003 16:35:08 +0100},
biburl = {https://dblp.org/rec/conf/pdpta/Kurshan00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KurshanMOS99,
author = {Robert P. Kurshan and
Michael Merritt and
Ariel Orda and
Sonia R. Sachs},
title = {Modelling Asynchrony with a Synchronous Model},
journal = {Formal Methods Syst. Des.},
volume = {15},
number = {3},
pages = {175--199},
year = {1999},
url = {https://doi.org/10.1023/A:1008792918020},
doi = {10.1023/A:1008792918020},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KurshanMOS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/NamjoshiK99,
author = {Kedar S. Namjoshi and
Robert P. Kurshan},
editor = {Nicolas Halbwachs and
Doron A. Peled},
title = {Efficient Analysis of Cyclic Definitions},
booktitle = {Computer Aided Verification, 11th International Conference, {CAV}
'99, Trento, Italy, July 6-10, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1633},
pages = {394--405},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48683-6\_34},
doi = {10.1007/3-540-48683-6\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/NamjoshiK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/AlurKV98,
author = {Rajeev Alur and
Robert P. Kurshan and
Mahesh Viswanathan},
title = {Membership Questions for Timed and Hybrid Automata},
booktitle = {Proceedings of the 19th {IEEE} Real-Time Systems Symposium, Madrid,
Spain, December 2-4, 1998},
pages = {254--263},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/REAL.1998.739751},
doi = {10.1109/REAL.1998.739751},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/AlurKV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KurshanLMPY98,
author = {Robert P. Kurshan and
Vladimir Levin and
Marius Minea and
Doron A. Peled and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Bernhard Steffen},
title = {Static Partial Order Reduction},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {345--357},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054182},
doi = {10.1007/BFB0054182},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/KurshanLMPY98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/charme/RomanPK97,
author = {Carlos M. Roman and
Gary De Palma and
Robert P. Kurshan},
editor = {Hon Fung Li and
David K. Probst},
title = {Model checking without hardware drivers},
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 = {127},
publisher = {Chapman {\&} Hall},
year = {1997},
timestamp = {Thu, 18 Feb 2010 08:37:22 +0100},
biburl = {https://dblp.org/rec/conf/charme/RomanPK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KupfermanKY97,
author = {Orna Kupferman and
Robert P. Kurshan and
Mihalis Yannakakis},
editor = {Mogens Nielsen and
Wolfgang Thomas},
title = {Existence of Reduction Hierarchies},
booktitle = {Computer Science Logic, 11th International Workshop, {CSL} '97, Annual
Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1414},
pages = {327--340},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0028023},
doi = {10.1007/BFB0028023},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/KupfermanKY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/Kurshan97,
author = {Robert P. Kurshan},
editor = {Ellen J. Yoffa and
Giovanni De Micheli and
Jan M. Rabaey},
title = {Formal Verification in a Commercial Setting},
booktitle = {Proceedings of the 34st Conference on Design Automation, Anaheim,
California, USA, Anaheim Convention Center, June 9-13, 1997},
pages = {258--262},
publisher = {{ACM} Press},
year = {1997},
url = {https://doi.org/10.1145/266021.266089},
doi = {10.1145/266021.266089},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/Kurshan97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhv/FislerK97,
author = {Kathi Fisler and
Robert P. Kurshan},
editor = {Thomas Kropf},
title = {Verifying {VHDL} Designs with {COSPAN}},
booktitle = {Formal Hardware Verification - Methods and Systems in Comparison},
series = {Lecture Notes in Computer Science},
volume = {1287},
pages = {206--247},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63475-4\_5},
doi = {10.1007/3-540-63475-4\_5},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/fhv/FislerK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccad/KurshanLMPY97,
author = {Robert P. Kurshan and
Vladimir Levin and
Marius Minea and
Doron A. Peled and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
editor = {Ralph H. J. M. Otten and
Hiroto Yasuura},
title = {Verifying hardware in its software context},
booktitle = {Proceedings of the 1997 {IEEE/ACM} International Conference on Computer-Aided
Design, {ICCAD} 1997, San Jose, CA, USA, November 9-13, 1997},
pages = {742--749},
publisher = {{IEEE} Computer Society / {ACM}},
year = {1997},
url = {https://doi.ieeecomputersociety.org/10.1109/ICCAD.1997.10004},
doi = {10.1109/ICCAD.1997.10004},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccad/KurshanLMPY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/TasiranAKB96,
author = {Serdar Tasiran and
Rajeev Alur and
Robert P. Kurshan and
Robert K. Brayton},
editor = {Ugo Montanari and
Vladimiro Sassone},
title = {Verifying Abstractions of Timed Systems},
booktitle = {{CONCUR} '96, Concurrency Theory, 7th International Conference, Pisa,
Italy, August 26-29, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1119},
pages = {546--562},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61604-7\_75},
doi = {10.1007/3-540-61604-7\_75},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/TasiranAKB96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KurshanM95,
author = {Robert P. Kurshan and
Kenneth L. McMillan},
title = {A Structural Induction Theorem for Processes},
journal = {Inf. Comput.},
volume = {117},
number = {1},
pages = {1--11},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1024},
doi = {10.1006/INCO.1995.1024},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KurshanM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/TouatiBK95,
author = {Herv{\'{e}} J. Touati and
Robert K. Brayton and
Robert P. Kurshan},
title = {Testing Language Containment for omega-Automata Using BDD's},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {101--109},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1055},
doi = {10.1006/INCO.1995.1055},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/TouatiBK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlurIKY95,
author = {Rajeev Alur and
Alon Itai and
Robert P. Kurshan and
Mihalis Yannakakis},
title = {Timing Verification by Successive Approximation},
journal = {Inf. Comput.},
volume = {118},
number = {1},
pages = {142--157},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1059},
doi = {10.1006/INCO.1995.1059},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlurIKY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanMOS95,
author = {Robert P. Kurshan and
Michael Merritt and
Ariel Orda and
Sonia R. Sachs},
editor = {Pierre Wolper},
title = {Modelling Asynchrony with a Synchronous Model},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {339--352},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_61},
doi = {10.1007/3-540-60045-0\_61},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanMOS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/AlurK95,
author = {Rajeev Alur and
Robert P. Kurshan},
editor = {Rajeev Alur and
Thomas A. Henzinger and
Eduardo D. Sontag},
title = {Timing Analysis in {COSPAN}},
booktitle = {Hybrid Systems {III:} Verification and Control, Proceedings of the
{DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
series = {Lecture Notes in Computer Science},
volume = {1066},
pages = {220--231},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020948},
doi = {10.1007/BFB0020948},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/AlurK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/KurshanMOS94,
author = {Robert P. Kurshan and
Michael Merritt and
Ariel Orda and
Sonia R. Sachs},
title = {A Structural Linearization Principle for Processes},
journal = {Formal Methods Syst. Des.},
volume = {5},
number = {3},
pages = {227--244},
year = {1994},
url = {https://doi.org/10.1007/BF01383832},
doi = {10.1007/BF01383832},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/KurshanMOS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/Kurshan94,
author = {Robert P. Kurshan},
editor = {David L. Dill},
title = {Models Whose Checks Don't Explode},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {222--233},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_57},
doi = {10.1007/3-540-58179-0\_57},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/Kurshan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/GrumbergK94,
author = {Orna Grumberg and
Robert P. Kurshan},
editor = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach},
title = {How Linear Can Branching-Time Be?},
booktitle = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
Germany, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {827},
pages = {180--194},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0013988},
doi = {10.1007/BFB0013988},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ictl/GrumbergK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/Kurshan94,
author = {Robert P. Kurshan},
editor = {Frank Thomson Leighton and
Michael T. Goodrich},
title = {The complexity of verification},
booktitle = {Proceedings of the Twenty-Sixth Annual {ACM} Symposium on Theory of
Computing, 23-25 May 1994, Montr{\'{e}}al, Qu{\'{e}}bec,
Canada},
pages = {365--371},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/195058.195194},
doi = {10.1145/195058.195194},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/Kurshan94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/ClarkeDK93,
author = {Edmund M. Clarke and
I. A. Draghicescu and
Robert P. Kurshan},
title = {A Unified Approch for Showing Language Inclusion and Equivalence Between
Various Types of omega-Automata},
journal = {Inf. Process. Lett.},
volume = {46},
number = {6},
pages = {301--308},
year = {1993},
url = {https://doi.org/10.1016/0020-0190(93)90069-L},
doi = {10.1016/0020-0190(93)90069-L},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/ClarkeDK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HojatiBK93,
author = {Ramin Hojati and
Robert K. Brayton and
Robert P. Kurshan},
editor = {Costas Courcoubetis},
title = {BDD-Based Debugging Of Design Using Language Containment and Fair
{CTL}},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {41--58},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_5},
doi = {10.1007/3-540-56922-7\_5},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HojatiBK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanL93,
author = {Robert P. Kurshan and
Leslie Lamport},
editor = {Costas Courcoubetis},
title = {Verification of a Multiplier: 64 Bits and Beyond},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {166--179},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_14},
doi = {10.1007/3-540-56922-7\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KurshanMOS93,
author = {Robert P. Kurshan and
Michael Merritt and
Ariel Orda and
Sonia R. Sachs},
editor = {Costas Courcoubetis},
title = {A Structural Linearization Principle for Processes},
booktitle = {Computer Aided Verification, 5th International Conference, {CAV} '93,
Elounda, Greece, June 28 - July 1, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {697},
pages = {491--504},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56922-7\_40},
doi = {10.1007/3-540-56922-7\_40},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KurshanMOS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/HojatiSBK93,
author = {Ramin Hojati and
Thomas R. Shiple and
Robert K. Brayton and
Robert P. Kurshan},
editor = {Alfred E. Dunlop},
title = {A Unified Approach to Language Containment and Fair {CTL} Model Checking},
booktitle = {Proceedings of the 30th Design Automation Conference. Dallas, Texas,
USA, June 14-18, 1993},
pages = {475--481},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/157485.164985},
doi = {10.1145/157485.164985},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/HojatiSBK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ClarkeGK92,
author = {Edmund M. Clarke and
Orna Grumberg and
Robert P. Kurshan},
title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
Systems},
journal = {J. Log. Comput.},
volume = {2},
number = {5},
pages = {605--618},
year = {1992},
url = {https://doi.org/10.1093/logcom/2.5.605},
doi = {10.1093/LOGCOM/2.5.605},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ClarkeGK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlurIKY92,
author = {Rajeev Alur and
Alon Itai and
Robert P. Kurshan and
Mihalis Yannakakis},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Timing Verification by Successive Approximation},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {137--150},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_12},
doi = {10.1007/3-540-56496-9\_12},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlurIKY92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HojatiTKB92,
author = {Ramin Hojati and
Herv{\'{e}} J. Touati and
Robert P. Kurshan and
Robert K. Brayton},
editor = {Gregor von Bochmann and
David K. Probst},
title = {Efficient \emph{omega}-Regular Language Containment},
booktitle = {Computer Aided Verification, Fourth International Workshop, {CAV}
'92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {663},
pages = {396--409},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-56496-9\_31},
doi = {10.1007/3-540-56496-9\_31},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/HojatiTKB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/KurshanM91,
author = {Robert P. Kurshan and
Kenneth L. McMillan},
title = {Analysis of digital circuits through symbolic reduction},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {10},
number = {11},
pages = {1356--1371},
year = {1991},
url = {https://doi.org/10.1109/43.97615},
doi = {10.1109/43.97615},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/KurshanM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/1990,
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0023712},
doi = {10.1007/BFB0023712},
isbn = {3-540-54477-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dimacs/1990a,
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
publisher = {{DIMACS/AMS}},
year = {1991},
url = {https://doi.org/10.1090/dimacs/003},
doi = {10.1090/DIMACS/003},
isbn = {978-0-8218-6594-1},
timestamp = {Mon, 22 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/1990a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/ClarkeBK90,
author = {Edmund M. Clarke and
Anca Browne and
Robert P. Kurshan},
editor = {Andr{\'{e}} Arnold},
title = {A Unified Approach For Showing Language Containment And Equivalence
Between Various Types Of Omega-Automata},
booktitle = {{CAAP} '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen,
Denmark, May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {431},
pages = {103--116},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52590-4\_43},
doi = {10.1007/3-540-52590-4\_43},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/ClarkeBK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GolaszewskiK90,
author = {Christian H. Golaszewski and
Robert P. Kurshan},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Task-Driven Supervisory Control of Discrete Event Systems},
booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90,
New Brunswick, NJ, USA, June 18-21, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {531},
pages = {282--291},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0023742},
doi = {10.1007/BFB0023742},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GolaszewskiK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/ClarkeK90,
author = {Edmund M. Clarke and
Robert P. Kurshan},
editor = {Edmund M. Clarke and
Robert P. Kurshan},
title = {Preface},
booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990,
New Brunswick, New Jersey, USA, June 18-21, 1990},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {3},
pages = {xi},
publisher = {{DIMACS/AMS}},
year = {1990},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/ClarkeK90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/ClarkeGK89,
author = {Edmund M. Clarke and
Orna Grumberg and
Robert P. Kurshan},
editor = {Albert R. Meyer and
Michael A. Taitslin},
title = {A Synthesis of Two Approaches for Verifying Finite State Concurrent
Systems},
booktitle = {Logic at Botik '89, Symposium on Logical Foundations of Computer Science,
Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {363},
pages = {81--90},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-51237-3\_7},
doi = {10.1007/3-540-51237-3\_7},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ershov/ClarkeGK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KurshanM89,
author = {Robert P. Kurshan and
Kenneth L. McMillan},
editor = {Piotr Rudnicki},
title = {A Structural Induction Theorem for Processes},
booktitle = {Proceedings of the Eighth Annual {ACM} Symposium on Principles of
Distributed Computing, Edmonton, Alberta, Canada, August 14-16, 1989},
pages = {239--247},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/72981.72998},
doi = {10.1145/72981.72998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KurshanM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/KurshanPS89,
author = {Robert P. Kurshan and
Shlomit S. Pinter and
Baruch Solomon},
editor = {Ed Brinksma and
Giuseppe Scollo and
Chris A. Vissers},
title = {Extensions of Temporal Logic for Counting with Applications to Model
Verification},
booktitle = {Protocol Specification, Testing and Verification IX, Proceedings of
the {IFIP} {WG6.1} Ninth International Symposium on Protocol Specification,
Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989},
pages = {373--386},
publisher = {North-Holland},
year = {1989},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/KurshanPS89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/Kurshan89,
author = {Robert P. Kurshan},
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Analysis of Discrete Event Coordination},
booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness,
{REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {430},
pages = {414--453},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-52559-9\_74},
doi = {10.1007/3-540-52559-9\_74},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/rex/Kurshan89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Kurshan87,
author = {Robert P. Kurshan},
title = {Complementing Deterministic B{\"{u}}chi Automata in Polynomial
Time},
journal = {J. Comput. Syst. Sci.},
volume = {35},
number = {1},
pages = {59--71},
year = {1987},
url = {https://doi.org/10.1016/0022-0000(87)90036-5},
doi = {10.1016/0022-0000(87)90036-5},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/Kurshan87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/Kurshan85,
author = {Robert P. Kurshan},
title = {Proposed specification of {BX.25} link layer protocol},
journal = {AT{\&}T Tech. J.},
volume = {64},
number = {2},
pages = {559--596},
year = {1985},
url = {https://doi.org/10.1002/j.1538-7305.1985.tb00362.x},
doi = {10.1002/J.1538-7305.1985.TB00362.X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/Kurshan85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/HertzKMP85,
author = {David Hertz and
Robert P. Kurshan and
David Malah and
John T. Peoples},
title = {Tone location by cyclotomic filters},
journal = {AT{\&}T Tech. J.},
volume = {64},
number = {6},
pages = {1161--1180},
year = {1985},
url = {https://doi.org/10.1002/j.1538-7305.1985.tb00270.x},
doi = {10.1002/J.1538-7305.1985.TB00270.X},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/HertzKMP85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/AggarwalK84,
author = {S. Aggarwal and
Robert P. Kurshan},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Automated Implementation from Formal Specification},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {127--136},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
biburl = {https://dblp.org/rec/conf/pstv/AggarwalK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AggarwalKS83,
author = {Sudhir Aggarwal and
Robert P. Kurshan and
Krishan K. Sabnani},
editor = {Harry Rudin and
Colin H. West},
title = {A Calculus for Protocol Specification and Validation},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {19--34},
publisher = {North-Holland},
year = {1983},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifip/AggarwalKS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AggarwalKS83a,
author = {S. Aggarwal and
Robert P. Kurshan and
D. Sharma},
editor = {Harry Rudin and
Colin H. West},
title = {A Language for the Specification and Analysis of Protocols},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {35--50},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AggarwalKS83a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/AggarwalK83,
author = {S. Aggarwal and
Robert P. Kurshan},
editor = {Harry Rudin and
Colin H. West},
title = {Modelling Elapsed Time in Protocol Specification},
booktitle = {Protocol Specification, Testing, and Verification, III, Proceedings
of the {IFIP} {WG} 6.1 Third International Workshop on Protocol Specification,
Testing and Verification, organized by {IBM} Research, R{\"{u}}schlikon,
Switzerland, 31 May - 2 June, 1983},
pages = {51--62},
publisher = {North-Holland},
year = {1983},
timestamp = {Sun, 04 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip/AggarwalK83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/GopinathK76,
author = {B. Gopinath and
Robert P. Kurshan},
title = {A touch-tone{\textregistered} receiver-generator with digital channel
filters},
journal = {Bell Syst. Tech. J.},
volume = {55},
number = {4},
pages = {455--467},
year = {1976},
url = {https://doi.org/10.1002/j.1538-7305.1976.tb02892.x},
doi = {10.1002/J.1538-7305.1976.TB02892.X},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/GopinathK76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/KurshanG76,
author = {Robert P. Kurshan and
B. Gopinath},
title = {Digital single-tone generator-detectors},
journal = {Bell Syst. Tech. J.},
volume = {55},
number = {4},
pages = {469--496},
year = {1976},
url = {https://doi.org/10.1002/j.1538-7305.1976.tb02893.x},
doi = {10.1002/J.1538-7305.1976.TB02893.X},
timestamp = {Mon, 09 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/KurshanG76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KurshanS72,
author = {Robert P. Kurshan and
Neil J. A. Sloane},
title = {Coset Analysis of Reed Muller Codes Via Translates of Finite Vector
Spaces},
journal = {Inf. Control.},
volume = {20},
number = {5},
pages = {410--414},
year = {1972},
url = {https://doi.org/10.1016/S0019-9958(72)90832-7},
doi = {10.1016/S0019-9958(72)90832-7},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KurshanS72.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bstj/Kurshan70,
author = {Robert P. Kurshan},
title = {{B.S.T.J.} brief: All terminal bubbles programs yield the elementary
symmetric polynomials},
journal = {Bell Syst. Tech. J.},
volume = {49},
number = {8},
pages = {1991--1994},
year = {1970},
url = {https://doi.org/10.1002/j.1538-7305.1970.tb04299.x},
doi = {10.1002/J.1538-7305.1970.TB04299.X},
timestamp = {Tue, 03 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bstj/Kurshan70.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-14 23:38 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:
