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/rv2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/rv/Ballarin14,
author = {Clemens Ballarin},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Two Generalisations of Ro{\c{s}}u and Chen's Trace Slicing Algorithm
{A}},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {15--30},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_3},
doi = {10.1007/978-3-319-11164-3\_3},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/Ballarin14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciBF14,
author = {Ezio Bartocci and
Borzoo Bonakdarpour and
Yli{\`{e}}s Falcone},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {First International Competition on Software for Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {1--9},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_1},
doi = {10.1007/978-3-319-11164-3\_1},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BartocciBF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinCEHKM14,
author = {David A. Basin and
Germano Caronni and
Sarah Ereth and
Mat{\'{u}}s Harvan and
Felix Klaedtke and
Heiko Mantel},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Scalable Offline Monitoring},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {31--47},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_4},
doi = {10.1007/978-3-319-11164-3\_4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinCEHKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BasinKMZ14,
author = {David A. Basin and
Felix Klaedtke and
Srdjan Marinovic and
Eugen Zalinescu},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {On Real-Time Monitoring with Imprecise Timestamps},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {193--198},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_16},
doi = {10.1007/978-3-319-11164-3\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BasinKMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BefroueiWW14,
author = {Mitra Tabaei Befrouei and
Chao Wang and
Georg Weissenbacher},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Abstraction and Mining of Traces to Explain Concurrency Bugs},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {162--177},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_14},
doi = {10.1007/978-3-319-11164-3\_14},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BefroueiWW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BozzelliS14,
author = {Laura Bozzelli and
C{\'{e}}sar S{\'{a}}nchez},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Foundations of Boolean Stream Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {64--79},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_6},
doi = {10.1007/978-3-319-11164-3\_6},
timestamp = {Wed, 28 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/BozzelliS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChaiS14,
author = {Ming Chai and
Bernd{-}Holger Schlingloff},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Monitoring Systems with Extended Live Sequence Charts},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {48--63},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_5},
doi = {10.1007/978-3-319-11164-3\_5},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChaiS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChristakisEM14,
author = {Maria Christakis and
Patrick Emmisberger and
Peter M{\"{u}}ller},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Dynamic Test Generation with Static Fields and Initializers},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {269--284},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_23},
doi = {10.1007/978-3-319-11164-3\_23},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChristakisEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ChuJM14,
author = {Duc{-}Hiep Chu and
Joxan Jaffar and
Vijayaraghavan Murali},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Lazy Symbolic Execution for Enhanced Learning},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {323--339},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_27},
doi = {10.1007/978-3-319-11164-3\_27},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ChuJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ColomboF14,
author = {Christian Colombo and
Yli{\`{e}}s Falcone},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Organising {LTL} Monitors over Distributed Systems with a Global Clock},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {140--155},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_12},
doi = {10.1007/978-3-319-11164-3\_12},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ColomboF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DokhanchiHF14,
author = {Adel Dokhanchi and
Bardh Hoxha and
Georgios Fainekos},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {On-Line Monitoring for Temporal Logic Robustness},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {231--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_19},
doi = {10.1007/978-3-319-11164-3\_19},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/DokhanchiHF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/FraigniaudRT14,
author = {Pierre Fraigniaud and
Sergio Rajsbaum and
Corentin Travers},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring
in Distributed Systems},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {92--107},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_9},
doi = {10.1007/978-3-319-11164-3\_9},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/FraigniaudRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/GeistRS14,
author = {Johannes Geist and
Kristin Y. Rozier and
Johann Schumann},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs:
Flight-Certifiable System Health Management for Embedded Systems},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {215--230},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_18},
doi = {10.1007/978-3-319-11164-3\_18},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/GeistRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HentschelBH14,
author = {Martin Hentschel and
Richard Bubel and
Reiner H{\"{a}}hnle},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Symbolic Execution Debugger {(SED)}},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {255--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_21},
doi = {10.1007/978-3-319-11164-3\_21},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/HentschelBH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HoOW14,
author = {Hsi{-}Ming Ho and
Jo{\"{e}}l Ouaknine and
James Worrell},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Online Monitoring of Metric Temporal Logic},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {178--192},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_15},
doi = {10.1007/978-3-319-11164-3\_15},
timestamp = {Thu, 14 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/HoOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/HuangEZMLSR14,
author = {Jeff Huang and
Cansu Erdogan and
Yi Zhang and
Brandon M. Moore and
Qingzhou Luo and
Aravind Sundaresan and
Grigore Rosu},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {{ROSRV:} Runtime Verification for Robots},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {247--254},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_20},
doi = {10.1007/978-3-319-11164-3\_20},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/HuangEZMLSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/IsbernerHS14,
author = {Malte Isberner and
Falk Howar and
Bernhard Steffen},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {The {TTT} Algorithm: {A} Redundancy-Free Approach to Active Automata
Learning},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {307--322},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_26},
doi = {10.1007/978-3-319-11164-3\_26},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/IsbernerHS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KoukoutosK14,
author = {Emmanouil Koukoutos and
Viktor Kuncak},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Checking Data Structure Properties Orders of Magnitude Faster},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {263--268},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_22},
doi = {10.1007/978-3-319-11164-3\_22},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/KoukoutosK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LavoieLVGH14,
author = {Kim Lavoie and
Corentin Leplongeon and
Simon Varvaressos and
S{\'{e}}bastien Gaboury and
Sylvain Hall{\'{e}}},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Portable Runtime Verification with Smartphones and Optical Codes},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {80--84},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_7},
doi = {10.1007/978-3-319-11164-3\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/LavoieLVGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/LuoZLJMSR14,
author = {Qingzhou Luo and
Yi Zhang and
Choonghwan Lee and
Dongyun Jin and
Patrick O'Neil Meredith and
Traian{-}Florin Serbanuta and
Grigore Rosu},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous
Properties},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {285--300},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_24},
doi = {10.1007/978-3-319-11164-3\_24},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/LuoZLJMSR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MitschP14,
author = {Stefan Mitsch and
Andr{\'{e}} Platzer},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {ModelPlex: Verified Runtime Validation of Verified Cyber-Physical
System Models},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {199--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_17},
doi = {10.1007/978-3-319-11164-3\_17},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/MitschP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/MutluGCTU14,
author = {Erdal Mutlu and
Vladimir Gajinov and
Adri{\'{a}}n Cristal and
Serdar Tasiran and
Osman S. Unsal},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Dynamic Verification for Hybrid Concurrent Programming Models},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {156--161},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_13},
doi = {10.1007/978-3-319-11164-3\_13},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/MutluGCTU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/NouriRBLB14,
author = {Ayoub Nouri and
Balaji Raman and
Marius Bozga and
Axel Legay and
Saddek Bensalem},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Faster Statistical Model Checking by Means of Abstraction and Learning},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {340--355},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_28},
doi = {10.1007/978-3-319-11164-3\_28},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/NouriRBLB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Sukumaran-RajamCWJC14,
author = {Aravind Sukumaran{-}Rajam and
Juan Manuel Martinez Caama{\~{n}}o and
Willy Wolff and
Alexandra Jimborean and
Philippe Clauss},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Speculative Program Parallelization with Scalable and Decentralized
Runtime Verification},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {124--139},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_11},
doi = {10.1007/978-3-319-11164-3\_11},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Sukumaran-RajamCWJC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SunFQBG14,
author = {Kuei Sun and
Daniel Fryer and
Dai Qin and
Angela Demke Brown and
Ashvin Goel},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Robust Consistency Checking for Modern Filesystems},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {85--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_8},
doi = {10.1007/978-3-319-11164-3\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/SunFQBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/VarvaressosLGH14,
author = {Simon Varvaressos and
Kim Lavoie and
S{\'{e}}bastien Gaboury and
Sylvain Hall{\'{e}}},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Multiple Ways to Fail: Generalizing a Monitor's Verdict for the Classification
of Execution Traces},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {10--14},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_2},
doi = {10.1007/978-3-319-11164-3\_2},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/VarvaressosLGH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/Yeolekar14,
author = {Anand Yeolekar},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Improving Dynamic Inference with Variable Dependence Graph},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {301--306},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_25},
doi = {10.1007/978-3-319-11164-3\_25},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/Yeolekar14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ZhaiSH14,
author = {Jiannan Zhai and
Nigamanth Sridhar and
Jason O. Hallstrom},
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Supporting the Specification and Runtime Validation of Asynchronous
Calling Patterns in Reactive Systems},
booktitle = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
pages = {108--123},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3\_10},
doi = {10.1007/978-3-319-11164-3\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/ZhaiSH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2014,
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3},
doi = {10.1007/978-3-319-11164-3},
isbn = {978-3-319-11163-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/2014.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-26 16:04 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:
