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/fm/fm2014.bht:"
download as .bib file
@inproceedings{DBLP:conf/fm/AntoninoSW14,
author = {Pedro R. G. Antonino and
Augusto Sampaio and
Jim Woodcock},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Refinement Based Strategy for Local Deadlock Analysis of Networks
of {CSP} Processes},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {62--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_5},
doi = {10.1007/978-3-319-06410-9\_5},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AntoninoSW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArenisWDMA14,
author = {Sergio Feo{-}Arenis and
Bernd Westphal and
Daniel Dietsch and
Marco Mu{\~{n}}iz and
Ahmad Siyar Andisha},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {The Wireless Fire Alarm System: Ensuring Conformance to Industrial
Standards through Formal Verification},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {658--672},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_44},
doi = {10.1007/978-3-319-06410-9\_44},
timestamp = {Wed, 19 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArenisWDMA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ArmstrongGS14,
author = {Alasdair Armstrong and
Victor B. F. Gomes and
Georg Struth},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Algebraic Principles for Rely-Guarantee Style Concurrency Verification
Tools},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {78--93},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_6},
doi = {10.1007/978-3-319-06410-9\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ArmstrongGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BaeOM14,
author = {Kyungmin Bae and
Peter Csaba {\"{O}}lveczky and
Jos{\'{e}} Meseguer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Definition, Semantics, and Analysis of Multirate Synchronous {AADL}},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {94--109},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_7},
doi = {10.1007/978-3-319-06410-9\_7},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BaeOM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BaiHWLLM14,
author = {Guangdong Bai and
Jianan Hao and
Jianliang Wu and
Yang Liu and
Zhenkai Liang and
Andrew P. Martin},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {TrustFound: Towards a Formal Foundation for Model Checking Trusted
Computing Platforms},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {110--126},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_8},
doi = {10.1007/978-3-319-06410-9\_8},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BaiHWLLM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BjornerH14,
author = {Dines Bj{\o}rner and
Klaus Havelund},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {40 Years of Formal Methods - Some Obstacles and Some Possibilities?},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {42--61},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_4},
doi = {10.1007/978-3-319-06410-9\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BjornerH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BlomH14,
author = {Stefan Blom and
Marieke Huisman},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {The VerCors Tool for Verification of Concurrent Programs},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {127--131},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_9},
doi = {10.1007/978-3-319-06410-9\_9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BlomH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BonakdarpourHK14,
author = {Borzoo Bonakdarpour and
Reza Hajisheykhi and
Sandeep S. Kulkarni},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Knowledge-Based Automated Repair of Authentication Protocols},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {132--147},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_10},
doi = {10.1007/978-3-319-06410-9\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BonakdarpourHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BowenR14,
author = {Judy Bowen and
Steve Reeves},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Simplified {Z} Semantics for Presentation Interaction Models},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {148--162},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_11},
doi = {10.1007/978-3-319-06410-9\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/BowenR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ButinM14,
author = {Denis Butin and
Daniel Le M{\'{e}}tayer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Log Analysis for Data Protection Accountability},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {163--178},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_12},
doi = {10.1007/978-3-319-06410-9\_12},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ButinM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ChristakisLS14,
author = {Maria Christakis and
K. Rustan M. Leino and
Wolfram Schulte},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formalizing and Verifying a Modern Build Language},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {643--657},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_43},
doi = {10.1007/978-3-319-06410-9\_43},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/ChristakisLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DammF14,
author = {Werner Damm and
Bernd Finkbeiner},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Automatic Compositional Synthesis of Distributed Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {179--193},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_13},
doi = {10.1007/978-3-319-06410-9\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DammF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DenmanM14,
author = {William Denman and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Automated Real Proving in {PVS} via MetiTarski},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {194--199},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_14},
doi = {10.1007/978-3-319-06410-9\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DenmanM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DerrickDSTTW14,
author = {John Derrick and
Brijesh Dongol and
Gerhard Schellhorn and
Bogdan Tofan and
Oleg Travkin and
Heike Wehrheim},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Quiescent Consistency: Defining and Verifying Relaxed Linearizability},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {200--214},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_15},
doi = {10.1007/978-3-319-06410-9\_15},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DerrickDSTTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DuggiralaWMVM14,
author = {Parasara Sridhar Duggirala and
Le Wang and
Sayan Mitra and
Mahesh Viswanathan and
C{\'{e}}sar A. Mu{\~{n}}oz},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Temporal Precedence Checking for Switched Models and Its Application
to a Parallel Landing Protocol},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {215--229},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_16},
doi = {10.1007/978-3-319-06410-9\_16},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DuggiralaWMVM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EstlerFNPM14,
author = {H.{-}Christian Estler and
Carlo A. Furia and
Martin Nordio and
Marco Piccioni and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Contracts in Practice},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {230--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_17},
doi = {10.1007/978-3-319-06410-9\_17},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/EstlerFNPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FengZ14,
author = {Yuan Feng and
Lijun Zhang},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {When Equivalence and Bisimulation Join Forces in Probabilistic Automata},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {247--262},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_18},
doi = {10.1007/978-3-319-06410-9\_18},
timestamp = {Mon, 16 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FengZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ForejtKNS14,
author = {Vojtech Forejt and
Daniel Kroening and
Ganesh Narayanaswamy and
Subodh Sharma},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Precise Predictive Analysis for Discovering Communication Deadlocks
in {MPI} Programs},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {263--278},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_19},
doi = {10.1007/978-3-319-06410-9\_19},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ForejtKNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FreitasW14,
author = {Leo Freitas and
Iain Whiteside},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Proof Patterns for Formal Methods},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {279--295},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_20},
doi = {10.1007/978-3-319-06410-9\_20},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/FreitasW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GunadiT14,
author = {Hendra Gunadi and
Alwen Tiu},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Efficient Runtime Monitoring with Metric Temporal Logic: {A} Case
Study in the Android Operating System},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {296--311},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_21},
doi = {10.1007/978-3-319-06410-9\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GunadiT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GuptaKG14,
author = {Aarti Gupta and
V. M. Achutha KiranKumar and
Rajnish Ghughal},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formally Verifying Graphics {FPU} - An Intel{\textregistered} Experience},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {673--687},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_45},
doi = {10.1007/978-3-319-06410-9\_45},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GuptaKG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HahnLSTZ14,
author = {Ernst Moritz Hahn and
Yi Li and
Sven Schewe and
Andrea Turrini and
Lijun Zhang},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {iscasMc: {A} Web-Based Probabilistic Model Checker},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {312--317},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_22},
doi = {10.1007/978-3-319-06410-9\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HahnLSTZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HayesM14,
author = {Ian J. Hayes and
Larissa Meinicke},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Invariants, Well-Founded Statements and Real-Time Program Algebra},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {318--334},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_23},
doi = {10.1007/978-3-319-06410-9\_23},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/HayesM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/HuPF14,
author = {Zhenjiang Hu and
Hugo Pacheco and
Sebastian Fischer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Validity Checking of Putback Transformations in Bidirectional Programming},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {1--15},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_1},
doi = {10.1007/978-3-319-06410-9\_1},
timestamp = {Wed, 01 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/HuPF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Klein14,
author = {Gerwin Klein},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Proof Engineering Considered Essential},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {16--21},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_2},
doi = {10.1007/978-3-319-06410-9\_2},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Klein14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KordyLMP14,
author = {Piotr Kordy and
Rom Langerak and
Sjouke Mauw and
Jan Willem Polderman},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Symbolic Algorithm for the Analysis of Robust Timed Automata},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {351--366},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_25},
doi = {10.1007/978-3-319-06410-9\_25},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/KordyLMP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/KrkaDMU14,
author = {Ivo Krka and
Nicol{\'{a}}s D'Ippolito and
Nenad Medvidovic and
Sebasti{\'{a}}n Uchitel},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Revisiting Compatibility of Input-Output Modal Transition Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {367--381},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_26},
doi = {10.1007/978-3-319-06410-9\_26},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/KrkaDMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LakshmiAK14,
author = {K. Vasanta Lakshmi and
Aravind Acharya and
Raghavan Komondoor},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Checking Liveness Properties of Presburger Counter Systems Using Reachability
Analysis},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {335--350},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_24},
doi = {10.1007/978-3-319-06410-9\_24},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LakshmiAK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeinoM14,
author = {K. Rustan M. Leino and
Michal Moskal},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Co-induction Simply - Automatic Co-inductive Proofs in a Program Verifier},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {382--398},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_27},
doi = {10.1007/978-3-319-06410-9\_27},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LeinoM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiTC14,
author = {Yi Li and
Tian Huat Tan and
Marsha Chechik},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Management of Time Requirements in Component-Based Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {399--415},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_28},
doi = {10.1007/978-3-319-06410-9\_28},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/LiTC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LinH14,
author = {Shang{-}Wei Lin and
Pao{-}Ann Hsiung},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Compositional Synthesis of Concurrent Systems through Causal Model
Checking and Learning},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {416--431},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_29},
doi = {10.1007/978-3-319-06410-9\_29},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LinH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiuGL14,
author = {Yan Liu and
Lin Gui and
Yang Liu},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {MDP-Based Reliability Analysis of an Ambient Assisted Living System},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {688--702},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_46},
doi = {10.1007/978-3-319-06410-9\_46},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiuGL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/LiuXZS14,
author = {Yang Liu and
Yi Xu and
Shao Jie Zhang and
Chengzheng Sun},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formal Verification of Operational Transformation},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {432--448},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_30},
doi = {10.1007/978-3-319-06410-9\_30},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/LiuXZS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MaricS14,
author = {Ognjen Maric and
Christoph Sprenger},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Verification of a Transactional Memory Manager under Hardware Failures
and Restarts},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {449--464},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_31},
doi = {10.1007/978-3-319-06410-9\_31},
timestamp = {Sun, 31 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MaricS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MarriottC14,
author = {Chris Marriott and
Ana Cavalcanti},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {{SCJ:} Memory-Safety Checking without Annotations},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {465--480},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_32},
doi = {10.1007/978-3-319-06410-9\_32},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MarriottC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/MitschQP14,
author = {Stefan Mitsch and
Jan{-}David Quesel and
Andr{\'{e}} Platzer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Refactoring, Refinement, and Reasoning - {A} Logical Characterization
for Hybrid Systems},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {481--496},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_33},
doi = {10.1007/978-3-319-06410-9\_33},
timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/MitschQP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/NistorABM14,
author = {Ligia Nistor and
Jonathan Aldrich and
Stephanie Balzer and
Hannes Mehnert},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Object Propositions},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {497--513},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_34},
doi = {10.1007/978-3-319-06410-9\_34},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/NistorABM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTFM14,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Flexible Invariants through Semantic Collaboration},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {514--530},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_35},
doi = {10.1007/978-3-319-06410-9\_35},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PolikarpovaTFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PonzioRAF14,
author = {Pablo Ponzio and
Nicol{\'{a}}s Rosner and
Nazareno Aguirre and
Marcelo F. Frias},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Efficient Tight Field Bounds Computation Based on Shape Predicates},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {531--546},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_36},
doi = {10.1007/978-3-319-06410-9\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/PonzioRAF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RinastSG14,
author = {Jonas Rinast and
Sibylle Schupp and
Dieter Gollmann},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Graph-Based Transformation Reduction to Reach {UPPAAL} States Faster},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {547--562},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_37},
doi = {10.1007/978-3-319-06410-9\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RinastSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RouxG14,
author = {Pierre Roux and
Pierre{-}Lo{\"{\i}}c Garoche},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Computing Quadratic Invariants with Min- and Max-Policy Iterations:
{A} Practical Comparison},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {563--578},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_38},
doi = {10.1007/978-3-319-06410-9\_38},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RouxG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/RoySS14,
author = {Suman Roy and
A. S. M. Sajeev and
Srivibha Sripathy},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Diagnosing Industrial Business Processes: Early Experiences},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {703--717},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_47},
doi = {10.1007/978-3-319-06410-9\_47},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/RoySS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SanatiMM14,
author = {Morteza Yousef Sanati and
Wendy MacCaull and
T. S. E. Maibaum},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based
Temporal Logic},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {611--626},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_41},
doi = {10.1007/978-3-319-06410-9\_41},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SanatiMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SchebenS14,
author = {Christoph Scheben and
Peter H. Schmitt},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Efficient Self-composition for Weakest Precondition Calculi},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {579--594},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_39},
doi = {10.1007/978-3-319-06410-9\_39},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/SchebenS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ShanWFZZWQC14,
author = {Lijun Shan and
Yuying Wang and
Ning Fu and
Xingshe Zhou and
Lei Zhao and
Lijng Wan and
Lei Qiao and
Jianxin Chen},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formal Verification of Lunar Rover Control Software Using {UPPAAL}},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {718--732},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_48},
doi = {10.1007/978-3-319-06410-9\_48},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ShanWFZZWQC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/WenMM14,
author = {Roland Wen and
Annabelle McIver and
Carroll Morgan},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Towards a Formal Analysis of Information Leakage for Signature Attacks
in Preferential Elections},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {595--610},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_40},
doi = {10.1007/978-3-319-06410-9\_40},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/WenMM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Woodcock14,
author = {Jim Woodcock},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Engineering UToPiA - Formal Semantics for {CML}},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {22--41},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_3},
doi = {10.1007/978-3-319-06410-9\_3},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Woodcock14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZeydaSCS14,
author = {Frank Zeyda and
Thiago L. V. L. Santos and
Ana Cavalcanti and
Augusto Sampaio},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {A Modular Theory of Object Orientation in Higher-Order {UTP}},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {627--642},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_42},
doi = {10.1007/978-3-319-06410-9\_42},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ZeydaSCS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/ZhaoYZGZC14,
author = {Hengjun Zhao and
Mengfei Yang and
Naijun Zhan and
Bin Gu and
Liang Zou and
Yao Chen},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Formal Verification of a Descent Guidance Control Program of a Lunar
Lander},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {733--748},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_49},
doi = {10.1007/978-3-319-06410-9\_49},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/ZhaoYZGZC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2014,
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9},
doi = {10.1007/978-3-319-06410-9},
isbn = {978-3-319-06409-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/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-23 11:25 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:
