Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Robby
@article{DBLP:journals/jsa/BeltHRSCCMABCHH23,
author = {Jason Belt and
John Hatcliff and
Robby and
John Shackleton and
Jim Carciofini and
Todd Carpenter and
Eric Mercer and
Isaac Amundson and
Junaid Babar and
Darren D. Cofer and
David S. Hardin and
Karl Hoech and
Konrad Slind and
Ihor Kuz and
Kent McLeod},
title = {Model-driven development for the seL4 microkernel using the {HAMR}
framework},
journal = {J. Syst. Archit.},
volume = {134},
pages = {102789},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2022.102789},
doi = {10.1016/J.SYSARC.2022.102789},
timestamp = {Sat, 14 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/BeltHRSCCMABCHH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/HatcliffBRLSC23,
author = {John Hatcliff and
Jason Belt and
Robby and
Jacob Legg and
Danielle Stewart and
Todd Carpenter},
editor = {Alessandro Cimatti and
Laura Titolo},
title = {Automated Property-Based Testing from {AADL} Component Contracts},
booktitle = {Formal Methods for Industrial Critical Systems - 28th International
Conference, {FMICS} 2023, Antwerp, Belgium, September 20-22, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14290},
pages = {131--150},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43681-9\_8},
doi = {10.1007/978-3-031-43681-9\_8},
timestamp = {Wed, 20 Sep 2023 23:28:50 +0200},
biburl = {https://dblp.org/rec/conf/fmics/HatcliffBRLSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieeesp/CoferABHSAHRKLM22,
author = {Darren D. Cofer and
Isaac Amundson and
Junaid Babar and
David S. Hardin and
Konrad Slind and
Perry Alexander and
John Hatcliff and
Robby and
Gerwin Klein and
Corey Lewis and
Eric Mercer and
John Shackleton},
title = {Cyberassured Systems Engineering at Scale},
journal = {{IEEE} Secur. Priv.},
volume = {20},
number = {3},
pages = {52--64},
year = {2022},
url = {https://doi.org/10.1109/MSEC.2022.3151733},
doi = {10.1109/MSEC.2022.3151733},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieeesp/CoferABHSAHRKLM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/ThiagarajanHR22,
author = {Hariharan Thiagarajan and
John Hatcliff and
Robby},
title = {Awas: {AADL} information flow and error propagation analysis framework},
journal = {Innov. Syst. Softw. Eng.},
volume = {18},
number = {4},
pages = {485--504},
year = {2022},
url = {https://doi.org/10.1007/s11334-021-00410-w},
doi = {10.1007/S11334-021-00410-W},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/isse/ThiagarajanHR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RobbyH21,
author = {Robby and
John Hatcliff},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Slang: The Sireum Programming Language},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {253--273},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_17},
doi = {10.1007/978-3-030-89159-6\_17},
timestamp = {Thu, 14 Oct 2021 09:48:48 +0200},
biburl = {https://dblp.org/rec/conf/isola/RobbyH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HatcliffBRC21,
author = {John Hatcliff and
Jason Belt and
Robby and
Todd Carpenter},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {{HAMR:} An {AADL} Multi-platform Code Generation Toolset},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation
- 10th International Symposium on Leveraging Applications of Formal
Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13036},
pages = {274--295},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89159-6\_18},
doi = {10.1007/978-3-030-89159-6\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HatcliffBRC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/ThiagarajanHR20,
author = {Hariharan Thiagarajan and
John Hatcliff and
Robby},
editor = {Henry Muccini and
Paris Avgeriou and
Barbora Buhnova and
Javier C{\'{a}}mara and
Mauro Caporuscio and
Mirco Franzago and
Anne Koziolek and
Patrizia Scandurra and
Catia Trubiani and
Danny Weyns and
Uwe Zdun},
title = {Awas: {AADL} Information Flow and Error Propagation Analysis Framework},
booktitle = {Software Architecture - 14th European Conference, {ECSA} 2020 Tracks
and Workshops, L'Aquila, Italy, September 14-18, 2020, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1269},
pages = {294--310},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59155-7\_23},
doi = {10.1007/978-3-030-59155-7\_23},
timestamp = {Wed, 16 Sep 2020 17:54:03 +0200},
biburl = {https://dblp.org/rec/conf/ecsa/ThiagarajanHR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/WeiROR18,
author = {Fengguo Wei and
Sankardas Roy and
Xinming Ou and
Robby},
title = {Amandroid: {A} Precise and General Inter-component Data Flow Analysis
Framework for Security Vetting of Android Apps},
journal = {{ACM} Trans. Priv. Secur.},
volume = {21},
number = {3},
pages = {14:1--14:32},
year = {2018},
url = {https://doi.org/10.1145/3183575},
doi = {10.1145/3183575},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tissec/WeiROR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HatcliffLBRZ18,
author = {John Hatcliff and
Brian R. Larson and
Jason Belt and
Robby and
Yi Zhang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Unified Approach for Modeling, Developing, and Assuring Critical
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {225--245},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_14},
doi = {10.1007/978-3-030-03418-4\_14},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HatcliffLBRZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/RobbyHB18,
author = {Robby and
John Hatcliff and
Jason Belt},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Model-Based Development for High-Assurance Embedded Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus,
November 5-9, 2018, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11244},
pages = {539--545},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03418-4\_32},
doi = {10.1007/978-3-030-03418-4\_32},
timestamp = {Mon, 29 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/RobbyHB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/ZhangRHMC17,
author = {Zhi Zhang and
Robby and
John Hatcliff and
Yannick Moy and
Pierre Courtieu},
editor = {Alessandro Cimatti and
Marjan Sirjani},
title = {Focused Certification of an Industrial Compilation and Static Verification
Toolchain},
booktitle = {Software Engineering and Formal Methods - 15th International Conference,
{SEFM} 2017, Trento, Italy, September 4-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10469},
pages = {17--34},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66197-1\_2},
doi = {10.1007/978-3-319-66197-1\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/ZhangRHMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/RanganathKHR15,
author = {Venkatesh{-}Prasad Ranganath and
Yu Jin Kim and
John Hatcliff and
Robby},
title = {Communication patterns for interconnecting and composing medical systems},
booktitle = {37th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2015, Milan, Italy, August 25-29,
2015},
pages = {1711--1716},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMBC.2015.7318707},
doi = {10.1109/EMBC.2015.7318707},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/RanganathKHR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichi/KimPHRR15,
author = {Yu Jin Kim and
Sam Procter and
John Hatcliff and
Venkatesh{-}Prasad Ranganath and
Robby},
editor = {Prabhakaran Balakrishnan and
Jaideep Srivatsava and
Wai{-}Tat Fu and
Sanda M. Harabagiu and
Fei Wang},
title = {Ecosphere Principles for Medical Application Platforms},
booktitle = {2015 International Conference on Healthcare Informatics, {ICHI} 2015,
Dallas, TX, USA, October 21-23, 2015},
pages = {193--198},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICHI.2015.30},
doi = {10.1109/ICHI.2015.30},
timestamp = {Mon, 22 Apr 2024 21:24:17 +0200},
biburl = {https://dblp.org/rec/conf/ichi/KimPHRR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/WeiROR14,
author = {Fengguo Wei and
Sankardas Roy and
Xinming Ou and
Robby},
editor = {Gail{-}Joon Ahn and
Moti Yung and
Ninghui Li},
title = {Amandroid: {A} Precise and General Inter-component Data Flow Analysis
Framework for Security Vetting of Android Apps},
booktitle = {Proceedings of the 2014 {ACM} {SIGSAC} Conference on Computer and
Communications Security, Scottsdale, AZ, USA, November 3-7, 2014},
pages = {1329--1341},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2660267.2660357},
doi = {10.1145/2660267.2660357},
timestamp = {Tue, 10 Nov 2020 20:00:23 +0100},
biburl = {https://dblp.org/rec/conf/ccs/WeiROR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/ProcterHR14,
author = {Sam Procter and
John Hatcliff and
Robby},
editor = {Michaela Huhn and
Laurie A. Williams},
title = {Towards an AADL-Based Definition of App Architecture for Medical Application
Platforms},
booktitle = {Software Engineering in Health Care - 4th International Symposium,
{FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington,
DC, USA, July 17-18, 2014, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9062},
pages = {26--43},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-63194-3\_3},
doi = {10.1007/978-3-319-63194-3\_3},
timestamp = {Mon, 07 Sep 2020 10:46:59 +0200},
biburl = {https://dblp.org/rec/conf/fhies/ProcterHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/YiRDR13,
author = {Jooyong Yi and
Robby and
Xianghua Deng and
Abhik Roychoudhury},
editor = {Hidehiko Masuhara and
Shigeru Chiba and
Naoyasu Ubayashi},
title = {Past expression: encapsulating pre-states at post-conditions by means
of {AOP}},
booktitle = {Aspect-Oriented Software Development, {AOSD} '13, Fukuoka, Japan,
March 24-29, 2013},
pages = {133--144},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2451436.2451453},
doi = {10.1145/2451436.2451453},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aosd/YiRDR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HatcliffRCB13,
author = {John Hatcliff and
Robby and
Patrice Chalin and
Jason Belt},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {Explicating symbolic execution (xSymExe): an evidence-based verification
framework},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {222--231},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606568},
doi = {10.1109/ICSE.2013.6606568},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/HatcliffRCB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/CourtieuACZRBHG13,
author = {Pierre Courtieu and
Maria{-}Virginia Aponte and
Tristan Crolard and
Zhi Zhang and
Robby and
Jason Belt and
John Hatcliff and
J{\'{e}}r{\^{o}}me Guitton and
Trevor Jennings},
editor = {Jeff Boleng and
S. Tucker Taft},
title = {Towards the formalization of {SPARK} 2014 semantics with explicit
run-time checks using coq},
booktitle = {Proceedings of the 2013 {ACM} SIGAda annual conference on High integrity
language technology, {HILT} 2013, Pittsburgh, Pennsylvania, USA, November
10-14, 2013},
pages = {21--22},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2527269.2527278},
doi = {10.1145/2527269.2527278},
timestamp = {Tue, 06 Nov 2018 16:57:53 +0100},
biburl = {https://dblp.org/rec/conf/sigada/CourtieuACZRBHG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/DengLR12,
author = {Xianghua Deng and
Jooyong Lee and
Robby},
title = {Efficient and formal generalized symbolic execution},
journal = {Autom. Softw. Eng.},
volume = {19},
number = {3},
pages = {233--301},
year = {2012},
url = {https://doi.org/10.1007/s10515-011-0089-9},
doi = {10.1007/S10515-011-0089-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/DengLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BeltRCHD12,
author = {Jason Belt and
Robby and
Patrice Chalin and
John Hatcliff and
Xianghua Deng},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Efficient Symbolic Execution of Value-Based Data Structures for Critical
Systems},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {295--309},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_29},
doi = {10.1007/978-3-642-28891-3\_29},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BeltRCHD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/ThiagarajanHBR12,
author = {Hariharan Thiagarajan and
John Hatcliff and
Jason Belt and
Robby},
title = {Bakar Alir: Supporting Developers in Construction of Information Flow
Contracts in {SPARK}},
booktitle = {12th {IEEE} International Working Conference on Source Code Analysis
and Manipulation, {SCAM} 2012, Riva del Garda, Italy, September 23-24,
2012},
pages = {132--137},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SCAM.2012.25},
doi = {10.1109/SCAM.2012.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/ThiagarajanHBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BeltCHR12,
author = {Jason Belt and
Patrice Chalin and
John Hatcliff and
Robby},
editor = {Ben Brosgol and
Jeff Boleng and
S. Tucker Taft},
title = {Leading-edge Ada verification technologies: highly automated Ada contract
checking using bakar kiasan},
booktitle = {Proceedings of the 2012 {ACM} Conference on High Integrity Language
Technology, {HILT} '12, December 2-6, 2012, Boston, Massachusetts,
{USA}},
pages = {3--4},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2402676.2402679},
doi = {10.1145/2402676.2402679},
timestamp = {Fri, 25 Mar 2022 14:21:18 +0100},
biburl = {https://dblp.org/rec/conf/sigada/BeltCHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BeltHRCHD11,
author = {Jason Belt and
John Hatcliff and
Robby and
Patrice Chalin and
David S. Hardin and
Xianghua Deng},
editor = {Mihaela Gheorghiu Bobaru and
Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Bakar Kiasan: Flexible Contract Checking for Critical Systems Using
Symbolic Execution},
booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
Pasadena, CA, USA, April 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6617},
pages = {58--72},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20398-5\_6},
doi = {10.1007/978-3-642-20398-5\_6},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/BeltHRCHD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigada/BeltHRCHD11,
author = {Jason Belt and
John Hatcliff and
Robby and
Patrice Chalin and
David S. Hardin and
Xianghua Deng},
editor = {Ricky E. Sward and
Michael B. Feldman and
Dan Eilers and
Jean{-}Pierre Rosen and
Frank Singhoff and
Julien Delange and
Mark Gardinier and
Karl A. Nyberg and
Jeff Boleng},
title = {Enhancing spark's contract checking facilities using symbolic execution},
booktitle = {Proceedings of the 2011 Annual {ACM} SIGAda International Conference
on Ada, Denver, Colorado, USA, November 6-10, 2011},
pages = {47--60},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2070337.2070357},
doi = {10.1145/2070337.2070357},
timestamp = {Fri, 02 Jun 2023 17:16:28 +0200},
biburl = {https://dblp.org/rec/conf/sigada/BeltHRCHD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ChalinRJLK10,
author = {Patrice Chalin and
Robby and
Perry R. James and
Jooyong Lee and
George Karabotsos},
title = {Towards an industrial grade {IVE} for Java and next generation research
platform for {JML}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {6},
pages = {429--446},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0164-8},
doi = {10.1007/S10009-010-0164-8},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ChalinRJLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/10/AmtoftHRRHG10,
author = {Torben Amtoft and
John Hatcliff and
Edwin Rodr{\'{\i}}guez and
Robby and
Jonathan Hoag and
David A. Greve},
editor = {David S. Hardin},
title = {Specification and Checking of Software Contracts for Conditional Information
Flow},
booktitle = {Design and Verification of Microprocessor Systems for High-Assurance
Applications},
pages = {341--379},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-1539-9\_12},
doi = {10.1007/978-1-4419-1539-9\_12},
timestamp = {Fri, 17 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/10/AmtoftHRRHG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/HarmonDR09,
author = {Scott J. Harmon and
Scott A. DeLoach and
Robby},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {From abstract qualities to concrete specification using guidance policies},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {1343--1344},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558285},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/HarmonDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/Garcia-OjedaDR09,
author = {Juan C. Garc{\'{\i}}a{-}Ojeda and
Scott A. DeLoach and
Robby},
editor = {Carles Sierra and
Cristiano Castelfranchi and
Keith S. Decker and
Jaime Sim{\~{a}}o Sichman},
title = {agentTool {III:} from process definition to code generation},
booktitle = {8th International Joint Conference on Autonomous Agents and Multiagent
Systems {(AAMAS} 2009), Budapest, Hungary, May 10-15, 2009, Volume
2},
pages = {1393--1394},
publisher = {{IFAAMAS}},
year = {2009},
url = {https://dl.acm.org/citation.cfm?id=1558311},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/Garcia-OjedaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RobbyC09,
author = {Robby and
Patrice Chalin},
editor = {Anindya Banerjee},
title = {Preliminary design of a unified {JML} representation and software
infrastructure},
booktitle = {Proceedings of the 11th International Workshop on Formal Techniques
for Java-like Programs, FTfJP 2009, Genova, Italy, July 6, 2009},
pages = {5:1--5:7},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1557898.1557903},
doi = {10.1145/1557898.1557903},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/RobbyC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iat/HarmonDR09,
author = {Scott J. Harmon and
Scott A. DeLoach and
Robby},
title = {Abstract Requirement Analysis in Multiagent System Design},
booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on
Intelligent Agent Technology, {IAT} 2009, Milan, Italy, 15-18 September
2009},
pages = {86--91},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/WI-IAT.2009.133},
doi = {10.1109/WI-IAT.2009.133},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iat/HarmonDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Garcia-OjedaDR09,
author = {Juan C. Garc{\'{\i}}a{-}Ojeda and
Scott A. DeLoach and
Robby},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {agentTool process editor: supporting the design of tailored agent-based
processes},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {707--714},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529430},
doi = {10.1145/1529282.1529430},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/Garcia-OjedaDR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BeltRD09,
author = {Jason Belt and
Robby and
Xianghua Deng},
editor = {Hans van Vliet and
Val{\'{e}}rie Issarny},
title = {Sireum/Topi {LDP:} a lightweight semi-decision procedure for optimizing
symbolic execution-based analyses},
booktitle = {Proceedings of the 7th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2009, Amsterdam, The Netherlands, August
24-28, 2009},
pages = {355--364},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1595696.1595762},
doi = {10.1145/1595696.1595762},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BeltRD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmtoftHRRHG08,
author = {Torben Amtoft and
John Hatcliff and
Edwin Rodr{\'{\i}}guez and
Robby and
Jonathan Hoag and
David A. Greve},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Specification and Checking of Software Contracts for Conditional Information
Flow},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {229--245},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_17},
doi = {10.1007/978-3-540-68237-0\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmtoftHRRHG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saso/HarmonDRC08,
author = {Scott J. Harmon and
Scott A. DeLoach and
Robby and
Doina Caragea},
editor = {Sven A. Brueckner and
Paul Robertson and
Umesh Bellur},
title = {Leveraging Organizational Guidance Policies with Learning to Self-Tune
Multiagent Systems},
booktitle = {Second {IEEE} International Conference on Self-Adaptive and Self-Organizing
Systems, {SASO} 2008, 20-24 October 2008, Venice, Italy},
pages = {223--232},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SASO.2008.46},
doi = {10.1109/SASO.2008.46},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/saso/HarmonDRC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aose/Garcia-OjedaDROV07,
author = {Juan C. Garc{\'{\i}}a{-}Ojeda and
Scott A. DeLoach and
Robby and
Walamitien H. Oyenan and
Jorge L. Valenzuela},
editor = {Michael Luck and
Lin Padgham},
title = {O-MaSE: {A} Customizable Approach to Developing Multiagent Development
Processes},
booktitle = {Agent-Oriented Software Engineering VIII, 8th International Workshop,
{AOSE} 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4951},
pages = {1--15},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79488-2\_1},
doi = {10.1007/978-3-540-79488-2\_1},
timestamp = {Sun, 23 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aose/Garcia-OjedaDROV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esaw/HarmonDR07,
author = {Scott J. Harmon and
Scott A. DeLoach and
Robby},
editor = {Alexander Artikis and
Gregory M. P. O'Hare and
Kostas Stathis and
George A. Vouros},
title = {Trace-Based Specification of Law and Guidance Policies for Multi-Agent
Systems},
booktitle = {Engineering Societies in the Agents World VIII, 8th International
Workshop, {ESAW} 2007, Athens, Greece, October 22-24, 2007, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4995},
pages = {333--349},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-87654-0\_19},
doi = {10.1007/978-3-540-87654-0\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/esaw/HarmonDR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DwyerHRPV07,
author = {Matthew B. Dwyer and
John Hatcliff and
Robby and
Corina S. Pasareanu and
Willem Visser},
editor = {Lionel C. Briand and
Alexander L. Wolf},
title = {Formal Software Analysis Emerging Trends in Software Model Checking},
booktitle = {International Conference on Software Engineering, {ISCE} 2007, Workshop
on the Future of Software Engineering, {FOSE} 2007, May 23-25, 2007,
Minneapolis, MN, {USA}},
pages = {120--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/FOSE.2007.6},
doi = {10.1109/FOSE.2007.6},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DwyerHRPV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/DengRH07,
author = {Xianghua Deng and
Robby and
John Hatcliff},
title = {Towards {A} Case-Optimal Symbolic Execution Algorithm for Analyzing
Strong Properties of Object-Oriented Programs},
booktitle = {Fifth {IEEE} International Conference on Software Engineering and
Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
{UK}},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/SEFM.2007.43},
doi = {10.1109/SEFM.2007.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/DengRH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RobbyRDH06,
author = {Robby and
Edwin Rodr{\'{\i}}guez and
Matthew B. Dwyer and
John Hatcliff},
title = {Checking {JML} specifications using an extensible software model checking
framework},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {8},
number = {3},
pages = {280--299},
year = {2006},
url = {https://doi.org/10.1007/s10009-005-0218-5},
doi = {10.1007/S10009-005-0218-5},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/RobbyRDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/RobbyDK06,
author = {Robby and
Scott A. DeLoach and
Valeriy A. Kolesnikov},
editor = {Luciano Baresi and
Reiko Heckel},
title = {Using Design Metrics for Predicting System Flexibility},
booktitle = {Fundamental Approaches to Software Engineering, 9th International
Conference, {FASE} 2006, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2006, Vienna, Austria,
March 27-28, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3922},
pages = {184--198},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693017\_15},
doi = {10.1007/11693017\_15},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/RobbyDK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/DengRH06,
author = {Xianghua Deng and
Robby and
John Hatcliff},
title = {Kiasan: {A} Verification and Test-Case Generation Framework for Java
Based on Symbolic Execution},
booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
pages = {137},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ISoLA.2006.60},
doi = {10.1109/ISOLA.2006.60},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/DengRH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DengLR06,
author = {Xianghua Deng and
Jooyong Lee and
Robby},
title = {Bogor/Kiasan: {A} k-bounded Symbolic Execution for Checking Strong
Heap Properties of Open Systems},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.26},
doi = {10.1109/ASE.2006.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DengLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/RobbyDH06,
author = {Robby and
Matthew B. Dwyer and
John Hatcliff},
title = {Domain-specific Model Checking Using The Bogor Framework},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {369--370},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.34},
doi = {10.1109/ASE.2006.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/RobbyDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DwyerHHRRW06,
author = {Matthew B. Dwyer and
John Hatcliff and
Matthew Hoosier and
Venkatesh Prasad Ranganath and
Robby and
Todd Wallentine},
editor = {Holger Hermanns and
Jens Palsberg},
title = {Evaluating the Effectiveness of Slicing for Model Reduction of Concurrent
Object-Oriented Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
12th International Conference, {TACAS} 2006 Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2006,
Vienna, Austria, March 25 - April 2, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3920},
pages = {73--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691372\_5},
doi = {10.1007/11691372\_5},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DwyerHHRRW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/taicpart/RobbyDH06,
author = {Robby and
Matthew B. Dwyer and
John Hatcliff},
editor = {Phil McMinn},
title = {Bogor: {A} Flexible Framework for Creating Software Model Checkers},
booktitle = {Testing: Academia and Industry Conference - Practice And Research
Techniques {(TAIC} {PART} 2006), 29-31 August 2006, Windsor, United
Kingdom},
pages = {3--22},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/TAIC-PART.2006.5},
doi = {10.1109/TAIC-PART.2006.5},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/taicpart/RobbyDH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DwyerHHR05,
author = {Matthew B. Dwyer and
John Hatcliff and
Matthew Hoosier and
Robby},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Building Your Own Software Model Checker Using the Bogor Extensible
Model Checking Framework},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {148--152},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_15},
doi = {10.1007/11513988\_15},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/DwyerHHR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/RodriguezDFHLR05,
author = {Edwin Rodr{\'{\i}}guez and
Matthew B. Dwyer and
Cormac Flanagan and
John Hatcliff and
Gary T. Leavens and
Robby},
editor = {Andrew P. Black},
title = {Extending {JML} for Modular Specification and Verification of Multi-threaded
Programs},
booktitle = {{ECOOP} 2005 - Object-Oriented Programming, 19th European Conference,
Glasgow, UK, July 25-29, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3586},
pages = {551--576},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11531142\_24},
doi = {10.1007/11531142\_24},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/RodriguezDFHLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/DwyerHRR04,
author = {Matthew B. Dwyer and
John Hatcliff and
Robby and
Venkatesh Prasad Ranganath},
title = {Exploiting Object Escape and Locking Information in Partial-Order
Reductions for Concurrent Object-Oriented Programs},
journal = {Formal Methods Syst. Des.},
volume = {25},
number = {2-3},
pages = {199--240},
year = {2004},
url = {https://doi.org/10.1023/B:FORM.0000040028.49845.67},
doi = {10.1023/B:FORM.0000040028.49845.67},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/DwyerHRR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/RodriguezDHR04,
author = {Edwin Rodr{\'{\i}}guez and
Matthew B. Dwyer and
John Hatcliff and
Robby},
editor = {Gilles Barthe and
Lilian Burdy and
Marieke Huisman and
Jean{-}Louis Lanet and
Traian Muntean},
title = {A Flexible Framework for the Estimation of Coverage Metrics in Explicit
State Software Model Checking},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
Devices, International Workshop, {CASSIS} 2004, Marseille, France,
March 10-14, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3362},
pages = {210--228},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30569-9\_11},
doi = {10.1007/978-3-540-30569-9\_11},
timestamp = {Fri, 09 Apr 2021 18:40:44 +0200},
biburl = {https://dblp.org/rec/conf/cassis/RodriguezDHR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HoosierDRH04,
author = {Matthew Hoosier and
Matthew B. Dwyer and
Robby and
John Hatcliff},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {A Case Study in Domain-Customized Model Checking for Real-Time Component
Software},
booktitle = {Leveraging Applications of Formal Methods, First International Symposium,
ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4313},
pages = {161--180},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11925040\_11},
doi = {10.1007/11925040\_11},
timestamp = {Sun, 02 Jun 2019 21:11:27 +0200},
biburl = {https://dblp.org/rec/conf/isola/HoosierDRH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HoosierHRD04,
author = {Matthew Hoosier and
John Hatcliff and
Robby and
Matthew B. Dwyer},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {A Case Study in Domain-customized Model Checking for Real-time Component
Software},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {261--267},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/HoosierHRD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DwyerRTV04,
author = {Matthew B. Dwyer and
Robby and
Oksana Tkachuk and
Willem Visser},
title = {Analyzing Interaction Orderings with Model Checking},
booktitle = {19th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2004), 20-25 September 2004, Linz, Austria},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10067},
doi = {10.1109/ASE.2004.10067},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/DwyerRTV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RobbyRDH04,
author = {Robby and
Edwin Rodr{\'{\i}}guez and
Matthew B. Dwyer and
John Hatcliff},
editor = {Kurt Jensen and
Andreas Podelski},
title = {Checking Strong Specifications Using an Extensible Software Model
Checking Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
10th International Conference, {TACAS} 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 = {2988},
pages = {404--420},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24730-2\_31},
doi = {10.1007/978-3-540-24730-2\_31},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RobbyRDH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HatcliffRD04,
author = {John Hatcliff and
Robby and
Matthew B. Dwyer},
editor = {Bernhard Steffen and
Giorgio Levi},
title = {Verifying Atomicity Specifications for Concurrent Object-Oriented
Software Using Model-Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 5th International
Conference, {VMCAI} 2004, Venice, Italy, January 11-13, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2937},
pages = {175--190},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24622-0\_16},
doi = {10.1007/978-3-540-24622-0\_16},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/HatcliffRD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DwyerRDH03,
author = {Matthew B. Dwyer and
Robby and
Xianghua Deng and
John Hatcliff},
editor = {Rajeev Alur and
Insup Lee},
title = {Space Reductions for Model Checking Quasi-Cyclic Systems},
booktitle = {Embedded Software, Third International Conference, {EMSOFT} 2003,
Philadelphia, PA, USA, October 13-15, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2855},
pages = {173--189},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45212-6\_12},
doi = {10.1007/978-3-540-45212-6\_12},
timestamp = {Thu, 26 Jan 2023 14:05:53 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/DwyerRDH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/HatcliffDDJRR03,
author = {John Hatcliff and
William Deng and
Matthew B. Dwyer and
Georg Jung and
Venkatesh Prasad Ranganath and
Robby},
editor = {Michael Leuschel},
title = {Slicing and partial evaluation of {CORBA} component model designs
for avionics system},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {1--2},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777389},
doi = {10.1145/777388.777389},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/HatcliffDDJRR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/RobbyDH03,
author = {Robby and
Matthew B. Dwyer and
John Hatcliff},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Bogor: an extensible and highly-modular software model checking framework},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {267--276},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940107},
doi = {10.1145/940071.940107},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/RobbyDH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RobbyDHI03,
author = {Robby and
Matthew B. Dwyer and
John Hatcliff and
Radu Iosif},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Space-Reduction Strategies for Model Checking Dynamic Software},
booktitle = {2003 Workshop on Software Model Checking, SoftMC 2003, Boulder, Colorado,
USA, July 14, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {89},
number = {3},
pages = {499--517},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80009-X},
doi = {10.1016/S1571-0661(05)80009-X},
timestamp = {Thu, 08 Dec 2022 15:49:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RobbyDHI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/CorbettDH02,
author = {James C. Corbett and
Matthew B. Dwyer and
John Hatcliff and
Robby},
title = {Expressing checkable properties of dynamic systems: the Bandera Specification
Language},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {1},
pages = {34--56},
year = {2002},
url = {https://doi.org/10.1007/s100090200075},
doi = {10.1007/S100090200075},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/CorbettDH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HatcliffDPR02,
author = {John Hatcliff and
Matthew B. Dwyer and
Corina S. Pasareanu and
Robby},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {Foundations of the Bandera Abstraction Tools},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {172--203},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_9},
doi = {10.1007/3-540-36377-7\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HatcliffDPR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DengDHJRS02,
author = {Xianghua Deng and
Matthew B. Dwyer and
John Hatcliff and
Georg Jung and
Robby and
Gurdip Singh},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software},
booktitle = {Formal Methods for Components and Objects, First International Symposium,
{FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {2852},
pages = {154--181},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-39656-7\_6},
doi = {10.1007/978-3-540-39656-7\_6},
timestamp = {Sun, 02 Jun 2019 21:14:42 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DengDHJRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DwyerHJLPRZV01,
author = {Matthew B. Dwyer and
John Hatcliff and
Roby Joehanes and
Shawn Laubach and
Corina S. Pasareanu and
Robby and
Hongjun Zheng and
Willem Visser},
editor = {Hausi A. M{\"{u}}ller and
Mary Jean Harrold and
Wilhelm Sch{\"{a}}fer},
title = {Tool-Supported Program Abstraction for Finite-State Verification},
booktitle = {Proceedings of the 23rd International Conference on Software Engineering,
{ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
pages = {177--187},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ICSE.2001.919092},
doi = {10.1109/ICSE.2001.919092},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DwyerHJLPRZV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CorbettDHLPRZ00,
author = {James C. Corbett and
Matthew B. Dwyer and
John Hatcliff and
Shawn Laubach and
Corina S. Pasareanu and
Robby and
Hongjun Zheng},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Bandera: extracting finite-state models from Java source code},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {439--448},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337234},
doi = {10.1145/337180.337234},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CorbettDHLPRZ00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CorbettDHR00,
author = {James C. Corbett and
Matthew B. Dwyer and
John Hatcliff and
Robby},
editor = {Carlo Ghezzi and
Mehdi Jazayeri and
Alexander L. Wolf},
title = {Bandera: a source-level interface for model checking Java programs},
booktitle = {Proceedings of the 22nd International Conference on on Software Engineering,
{ICSE} 2000, Limerick Ireland, June 4-11, 2000},
pages = {762--765},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/337180.337625},
doi = {10.1145/337180.337625},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CorbettDHR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/CorbettDHR00,
author = {James C. Corbett and
Matthew B. Dwyer and
John Hatcliff and
Robby},
editor = {Klaus Havelund and
John Penix and
Willem Visser},
title = {A Language Framework for Expressing Checkable Properties of Dynamic
Software},
booktitle = {{SPIN} Model Checking and Software Verification, 7th International
{SPIN} Workshop, Stanford, CA, USA, August 30 - September 1, 2000,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1885},
pages = {205--223},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722468\_13},
doi = {10.1007/10722468\_13},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/CorbettDHR00.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 01:52 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:
