Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/rv/rv2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/rv/AchenbachO10,
author = {Michael Achenbach and
Klaus Ostermann},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {A Meta-Aspect Protocol for Developing Dynamic Analyses},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {153--167},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_13},
doi = {10.1007/978-3-642-16612-9\_13},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/AchenbachO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AckermannCHRSL10,
author = {Christopher Ackermann and
Rance Cleaveland and
Samuel Huang and
Arnab Ray and
Charles P. Shelton and
Elizabeth Latronico},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Automatic Requirement Extraction from Test Cases},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {1--15},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_1},
doi = {10.1007/978-3-642-16612-9\_1},
timestamp = {Wed, 28 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AckermannCHRSL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AfifiRB10,
author = {Djihed Afifi and
David E. Rydeheard and
Howard Barringer},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {{ESAT:} {A} Tool for Animating Logic-Based Specifications of Evolvable
Component Systems},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {469--474},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_36},
doi = {10.1007/978-3-642-16612-9\_36},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/AfifiRB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/AmatoPS10,
author = {Gianluca Amato and
Maurizio Parton and
Francesca Scozzari},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {A Tool Which Mines Partial Execution Traces to Improve Static Analysis},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {475--479},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_37},
doi = {10.1007/978-3-642-16612-9\_37},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/AmatoPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Artho10,
author = {Cyrille Valentin Artho},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Run-Time Verification of Networked Software},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {59--73},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_7},
doi = {10.1007/978-3-642-16612-9\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Artho10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Barnett10,
author = {Mike Barnett},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Code Contracts for .NET: Runtime Verification and So Much More},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {16--17},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_2},
doi = {10.1007/978-3-642-16612-9\_2},
timestamp = {Tue, 07 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/Barnett10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasuBBDLS10,
author = {Ananda Basu and
Saddek Bensalem and
Marius Bozga and
Beno{\^{\i}}t Delahaye and
Axel Legay and
Emmanuel Sifakis},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Verification of an {AFDX} Infrastructure Using Simulations and Probabilities},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {330--344},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_25},
doi = {10.1007/978-3-642-16612-9\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasuBBDLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BeaucampsGM10,
author = {Philippe Beaucamps and
Isabelle Gnaedig and
Jean{-}Yves Marion},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Behavior Abstraction in Malware Analysis},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {168--182},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_14},
doi = {10.1007/978-3-642-16612-9\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BeaucampsGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BoddenL10,
author = {Eric Bodden and
Patrick Lam},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Clara: Partially Evaluating Runtime Monitors at Compile Time - Tutorial
Supplement},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {74--88},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_8},
doi = {10.1007/978-3-642-16612-9\_8},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BoddenL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BoddenLH10,
author = {Eric Bodden and
Patrick Lam and
Laurie J. Hendren},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Clara: {A} Framework for Partially Evaluating Finite-State Runtime
Monitors Ahead of Time},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {183--197},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_15},
doi = {10.1007/978-3-642-16612-9\_15},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BoddenLH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/CiraciMKA10,
author = {Selim Ciraci and
Somayeh Malakuti and
Shmuel Katz and
Mehmet Aksit},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Checking the Correspondence between {UML} Models and Implementation},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {198--213},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_16},
doi = {10.1007/978-3-642-16612-9\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/CiraciMKA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboGP10,
author = {Christian Colombo and
Andrew Gauci and
Gordon J. Pace},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {LarvaStat: Monitoring of Statistical Properties},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {480--484},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_38},
doi = {10.1007/978-3-642-16612-9\_38},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboPA10,
author = {Christian Colombo and
Gordon J. Pace and
Patrick Abela},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Compensation-Aware Runtime Monitoring},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {214--228},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_17},
doi = {10.1007/978-3-642-16612-9\_17},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboPA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DemskyZM10,
author = {Brian Demsky and
Jin Zhou and
William Montaz},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Recovery Tasks: An Automated Approach to Failure Recovery},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {229--244},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_18},
doi = {10.1007/978-3-642-16612-9\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DemskyZM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DwyerPP10,
author = {Matthew B. Dwyer and
Rahul Purandare and
Suzette Person},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification in Context: Can Optimizing Error Detection Improve
Fault Diagnosis?},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {36--50},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_4},
doi = {10.1007/978-3-642-16612-9\_4},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DwyerPP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Falcone10,
author = {Yli{\`{e}}s Falcone},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {You Should Better Enforce Than Verify},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {89--105},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_9},
doi = {10.1007/978-3-642-16612-9\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Falcone10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FeiginM10,
author = {Boris Feigin and
Alan Mycroft},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Formally Efficient Program Instrumentation},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {245--252},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_19},
doi = {10.1007/978-3-642-16612-9\_19},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FeiginM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GanaiW10,
author = {Malay K. Ganai and
Chao Wang},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Interval Analysis for Concurrent Trace Programs Using Transaction
Sequence Graphs},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {253--269},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_20},
doi = {10.1007/978-3-642-16612-9\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GanaiW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GosslerMR10,
author = {Gregor G{\"{o}}{\ss}ler and
Daniel Le M{\'{e}}tayer and
Jean{-}Baptiste Raclet},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Causality Analysis in Contract Violation},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {270--284},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_21},
doi = {10.1007/978-3-642-16612-9\_21},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GosslerMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HalleV10,
author = {Sylvain Hall{\'{e}} and
Roger Villemaire},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification for the Web - {A} Tutorial Introduction to Interface
Contracts in Web Applications},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {106--121},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_10},
doi = {10.1007/978-3-642-16612-9\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/HalleV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KimBBK10,
author = {Chang Hwan Peter Kim and
Eric Bodden and
Don S. Batory and
Sarfraz Khurshid},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Reducing Configurations to Monitor in a Software Product Line},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {285--299},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_22},
doi = {10.1007/978-3-642-16612-9\_22},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KimBBK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KneussSK10,
author = {Etienne Kneuss and
Philippe Suter and
Viktor Kuncak},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Instrumentation for Precise Flow-Sensitive Type Analysis},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {300--314},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_23},
doi = {10.1007/978-3-642-16612-9\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KneussSK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KraftWK10,
author = {Johan Kraft and
Anders Wall and
Holger M. Kienle},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Trace Recording for Embedded Systems: Lessons Learned from Five Industrial
Projects},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {315--329},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_24},
doi = {10.1007/978-3-642-16612-9\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KraftWK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LegayDB10,
author = {Axel Legay and
Beno{\^{\i}}t Delahaye and
Saddek Bensalem},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Statistical Model Checking: An Overview},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {122--135},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_11},
doi = {10.1007/978-3-642-16612-9\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/LegayDB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MeredithR10,
author = {Patrick O'Neil Meredith and
Grigore Rosu},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification with the {RV} System},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {136--152},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_12},
doi = {10.1007/978-3-642-16612-9\_12},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/MeredithR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Odersky10,
author = {Martin Odersky},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Contracts for Scala},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {51--57},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_5},
doi = {10.1007/978-3-642-16612-9\_5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Odersky10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PauwLGAFPS10,
author = {Wim De Pauw and
Mihai Letia and
Bugra Gedik and
Henrique Andrade and
Andy Frenkiel and
Michael Pfeifer and
Daby M. Sow},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Visual Debugging for Stream Processing Applications},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {18--35},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_3},
doi = {10.1007/978-3-642-16612-9\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/PauwLGAFPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PikeGMN10,
author = {Lee Pike and
Alwyn Goodloe and
Robin Morisset and
Sebastian Niller},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Copilot: {A} Hard Real-Time Runtime Monitor},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {345--359},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_26},
doi = {10.1007/978-3-642-16612-9\_26},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/PikeGMN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RahmanCC10,
author = {Musfiq Rahman and
Bruce R. Childers and
Sangyeun Cho},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {StealthWorks: Emulating Memory Errors},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {360--367},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_27},
doi = {10.1007/978-3-642-16612-9\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/RahmanCC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/RamanZSVY10,
author = {Raghavan Raman and
Jisheng Zhao and
Vivek Sarkar and
Martin T. Vechev and
Eran Yahav},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Efficient Data Race Detection for Async-Finish Parallelism},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {368--383},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_28},
doi = {10.1007/978-3-642-16612-9\_28},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/RamanZSVY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SchumannSM10,
author = {Johann Schumann and
Ashok N. Srivastava and
Ole J. Mengshoel},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Who Guards the Guardians? - Toward V{\&}V of Health Management
Software - (Short Paper)},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {399--404},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_30},
doi = {10.1007/978-3-642-16612-9\_30},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SchumannSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Sekar10,
author = {R. Sekar},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Analysis and Instrumentation for Securing Software},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {58},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_6},
doi = {10.1007/978-3-642-16612-9\_6},
timestamp = {Thu, 18 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/Sekar10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SeysterDHGHSSZ10,
author = {Justin Seyster and
Ketan Dixit and
Xiaowan Huang and
Radu Grosu and
Klaus Havelund and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Aspect-Oriented Instrumentation with {GCC}},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {405--420},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_31},
doi = {10.1007/978-3-642-16612-9\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SeysterDHGHSSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SezginTMQ10,
author = {Ali Sezgin and
Serdar Tasiran and
Kivan{\c{c}} Muslu and
Shaz Qadeer},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Run-Time Verification of Optimistic Concurrency},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {384--398},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_29},
doi = {10.1007/978-3-642-16612-9\_29},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SezginTMQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Singh10,
author = {Vasu Singh},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification for Software Transactional Memories},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {421--435},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_32},
doi = {10.1007/978-3-642-16612-9\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Singh10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/TabakovV10,
author = {Deian Tabakov and
Moshe Y. Vardi},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Optimized temporal monitors for SystemC},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {436--451},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_33},
doi = {10.1007/978-3-642-16612-9\_33},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/TabakovV10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WilcoxW10,
author = {Cristina M. Wilcox and
Brian C. Williams},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification of Stochastic, Faulty Systems},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {452--459},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_34},
doi = {10.1007/978-3-642-16612-9\_34},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/WilcoxW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZamfirC10,
author = {Cristian Zamfir and
George Candea},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Low-Overhead Bug Fingerprinting for Fast Debugging},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {460--468},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_35},
doi = {10.1007/978-3-642-16612-9\_35},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZamfirC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZhangSZLL10,
author = {Pengcheng Zhang and
Zhiyong Su and
Yuelong Zhu and
Wenrui Li and
Bixin Li},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {{WS-PSC} Monitor: {A} Tool Chain for Monitoring Temporal and Timing
Properties in Composite Service Based on Property Sequence Chart},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {485--489},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_39},
doi = {10.1007/978-3-642-16612-9\_39},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZhangSZLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2010,
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9},
doi = {10.1007/978-3-642-16612-9},
isbn = {978-3-642-16611-2},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/2010.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.
retrieved on 2024-05-08 08:44 CEST from data curated 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:
