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/nfm/nfm2012.bht:"
download as .bib file
@inproceedings{DBLP:conf/nfm/AndreFS12,
author = {{\'{E}}tienne Andr{\'{e}} and
Laurent Fribourg and
Romain Soulat},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Enhancing the Inverse Method with State Merging},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {100--105},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_10},
doi = {10.1007/978-3-642-28891-3\_10},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AndreFS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Appel12,
author = {Andrew W. Appel},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Verified Software Toolchain},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {2},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_2},
doi = {10.1007/978-3-642-28891-3\_2},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Appel12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/AyoubKLS12,
author = {Anaheed Ayoub and
BaekGyu Kim and
Insup Lee and
Oleg Sokolsky},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Safety Case Pattern for Model-Based Development Approach},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {141--146},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_14},
doi = {10.1007/978-3-642-28891-3\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/AyoubKLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BackesBH12,
author = {Michael Backes and
Alex Busenius and
Catalin Hritcu},
editor = {Alwyn Goodloe and
Suzette Person},
title = {On the Development and Formalization of an Extensible Code Generator
for Real Life Security Protocols},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {371--387},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_34},
doi = {10.1007/978-3-642-28891-3\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BackesBH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BalasubramanianPBPKLW12,
author = {Daniel Balasubramanian and
Corina S. Pasareanu and
Jason Biatek and
Thomas Pressburger and
Gabor Karsai and
Michael R. Lowry and
Michael W. Whalen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Integrating Statechart Components in Polyglot},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {267--272},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_26},
doi = {10.1007/978-3-642-28891-3\_26},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BalasubramanianPBPKLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BarnatBR12,
author = {Jiri Barnat and
Lubos Brim and
Petr Rockai},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Towards {LTL} Model Checking of Unmodified Thread-Based {C} {\&}
{C++} Programs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {252--266},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_25},
doi = {10.1007/978-3-642-28891-3\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BarnatBR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BauerKV12,
author = {Andreas Bauer and
Jan{-}Christoph K{\"{u}}ster and
Gil Vegliach},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Runtime Verification Meets Android Security},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {174--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_18},
doi = {10.1007/978-3-642-28891-3\_18},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BauerKV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BeltRCHD12,
author = {Jason Belt and
Robby and
Patrice Chalin and
John Hatcliff and
Xianghua Deng},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Efficient Symbolic Execution of Value-Based Data Structures for Critical
Systems},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {295--309},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_29},
doi = {10.1007/978-3-642-28891-3\_29},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BeltRCHD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrauerS12,
author = {J{\"{o}}rg Brauer and
Axel Simon},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Inferring Definite Counterexamples through Under-Approximation},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {54--69},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_7},
doi = {10.1007/978-3-642-28891-3\_7},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrauerS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrisebarreJMMMPRT12,
author = {Nicolas Brisebarre and
Mioara Joldes and
{\'{E}}rik Martin{-}Dorel and
Micaela Mayero and
Jean{-}Michel Muller and
Ioana Pasca and
Laurence Rideau and
Laurent Th{\'{e}}ry},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Rigorous Polynomial Approximation Using Taylor Models in Coq},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {85--99},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_9},
doi = {10.1007/978-3-642-28891-3\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrisebarreJMMMPRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BruttomessoCGR12,
author = {Roberto Bruttomesso and
Alessandro Carioni and
Silvio Ghilardi and
Silvio Ranise},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {279--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_28},
doi = {10.1007/978-3-642-28891-3\_28},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BruttomessoCGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BulychevDLLMP12,
author = {Peter E. Bulychev and
Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Checking and Distributing Statistical Model Checking},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {449--463},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_39},
doi = {10.1007/978-3-642-28891-3\_39},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BulychevDLLMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChatzieleftheriouBSK12,
author = {George Chatzieleftheriou and
Borzoo Bonakdarpour and
Scott A. Smolka and
Panagiotis Katsaros},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Abstract Model Repair},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {341--355},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_32},
doi = {10.1007/978-3-642-28891-3\_32},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/ChatzieleftheriouBSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChenMJNLN12,
author = {Yingke Chen and
Hua Mao and
Manfred Jaeger and
Thomas Dyhre Nielsen and
Kim Guldstrand Larsen and
Brian Nielsen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Learning Markov Models for Stationary System Behaviors},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {216--230},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_22},
doi = {10.1007/978-3-642-28891-3\_22},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChenMJNLN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CoferGMWLS12,
author = {Darren D. Cofer and
Andrew Gacek and
Steven P. Miller and
Michael W. Whalen and
Brian LaValley and
Lui Sha},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Compositional Verification of Architectural Models},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {126--140},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_13},
doi = {10.1007/978-3-642-28891-3\_13},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CoferGMWLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Cousot12,
author = {Patrick Cousot},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Formal Verification by Abstract Interpretation},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {3--7},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_3},
doi = {10.1007/978-3-642-28891-3\_3},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Cousot12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/CuoqMPPRYY12,
author = {Pascal Cuoq and
Benjamin Monate and
Anne Pacalet and
Virgile Prevosto and
John Regehr and
Boris Yakobowski and
Xuejun Yang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Testing Static Analyzers with Randomly Generated Programs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {120--125},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_12},
doi = {10.1007/978-3-642-28891-3\_12},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/CuoqMPPRYY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FerrariFG12,
author = {Alessio Ferrari and
Alessandro Fantechi and
Stefania Gnesi},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Lessons Learnt from the Adoption of Formal Model-Based Development},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {24--38},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_5},
doi = {10.1007/978-3-642-28891-3\_5},
timestamp = {Tue, 09 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/FerrariFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GoreR12,
author = {Ross Gore and
Paul F. Reynolds Jr.},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Modifying Test Suite Composition to Enable Effective Predicate-Level
Statistical Debugging},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {70--84},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_8},
doi = {10.1007/978-3-642-28891-3\_8},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/GoreR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/GuckHKN12,
author = {Dennis Guck and
Tingting Han and
Joost{-}Pieter Katoen and
Martin R. Neuh{\"{a}}u{\ss}er},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Quantitative Timed Analysis of Interactive Markov Chains},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {8--23},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_4},
doi = {10.1007/978-3-642-28891-3\_4},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/GuckHKN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Herencia-ZapanaJOGFPA12,
author = {Heber Herencia{-}Zapana and
Romain Jobredeaux and
Sam Owre and
Pierre{-}Lo{\"{\i}}c Garoche and
Eric Feron and
Gilberto P{\'{e}}rez and
Pablo Ascariz},
editor = {Alwyn Goodloe and
Suzette Person},
title = {{PVS} Linear Algebra Libraries for Verification of Control Software
Algorithms in {C/ACSL}},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {147--161},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_15},
doi = {10.1007/978-3-642-28891-3\_15},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Herencia-ZapanaJOGFPA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HerzA12,
author = {Alexander Herz and
Kalmer Apinis},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Class-Modular, Class-Escape and Points-to Analysis for Object-Oriented
Languages},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {106--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_11},
doi = {10.1007/978-3-642-28891-3\_11},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HerzA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/JansenNZ12,
author = {David N. Jansen and
Flemming Nielson and
Lijun Zhang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Belief Bisimulation for Hidden Markov Models - Logical Characterisation
and Decision Algorithm},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {326--340},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_31},
doi = {10.1007/978-3-642-28891-3\_31},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/JansenNZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/KahsaiGTW12,
author = {Temesghen Kahsai and
Pierre{-}Lo{\"{\i}}c Garoche and
Cesare Tinelli and
Mike Whalen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Incremental Verification with Mode Variable Invariants in State Machines},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {388--402},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_35},
doi = {10.1007/978-3-642-28891-3\_35},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/KahsaiGTW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LensinkSE12,
author = {Leonard Lensink and
Sjaak Smetsers and
Marko C. J. D. van Eekelen},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Generating Verifiable Java Code from Verified {PVS} Specifications},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {310--325},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_30},
doi = {10.1007/978-3-642-28891-3\_30},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LensinkSE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LiHT12,
author = {Wenbin Li and
Jane Huffman Hayes and
Miroslaw Truszczynski},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Temporal Action Language {(TAL):} {A} Controlled Language for Consistency
Checking of Natural Language Temporal Requirements - (Preliminary
Results)},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {162--167},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_16},
doi = {10.1007/978-3-642-28891-3\_16},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LiHT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LinBG12,
author = {Yuhui Lin and
Alan Bundy and
Gudmund Grov},
editor = {Alwyn Goodloe and
Suzette Person},
title = {The Use of Rippling to Automate Event-B Invariant Preservation Proofs},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {231--236},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_23},
doi = {10.1007/978-3-642-28891-3\_23},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LinBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/LiuX12,
author = {Xinxin Liu and
Bingtian Xue},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Specification in {PDL} with Recursion},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {181--194},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_19},
doi = {10.1007/978-3-642-28891-3\_19},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/LiuX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MacedonioM12,
author = {Damiano Macedonio and
Massimo Merro},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Semantic Analysis of Wireless Network Security Protocols},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {403--417},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_36},
doi = {10.1007/978-3-642-28891-3\_36},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MacedonioM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MajumdarSSW12,
author = {Rupak Majumdar and
Indranil Saha and
K. C. Shashidhar and
Zilong Wang},
editor = {Alwyn Goodloe and
Suzette Person},
title = {{CLSE:} Closed-Loop Symbolic Execution},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {356--370},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_33},
doi = {10.1007/978-3-642-28891-3\_33},
timestamp = {Tue, 15 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MajumdarSSW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MasciHCH12,
author = {Paolo Masci and
Huayi Huang and
Paul Curzon and
Michael D. Harrison},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Using {PVS} to Investigate Incidents through the Lens of Distributed
Cognition},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {273--278},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_27},
doi = {10.1007/978-3-642-28891-3\_27},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MasciHCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MengHWL12,
author = {Wenrui Meng and
Fei He and
Bow{-}Yaw Wang and
Qiang Liu},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Thread-Modular Model Checking with Iterative Refinement},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {237--251},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_24},
doi = {10.1007/978-3-642-28891-3\_24},
timestamp = {Mon, 18 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nfm/MengHWL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MullerU12,
author = {Norbert Th. M{\"{u}}ller and
Christian Uhrhan},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Some Steps into Verification of Exact Real Arithmetic},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {168--173},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_17},
doi = {10.1007/978-3-642-28891-3\_17},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MullerU12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PenninckxMSJP12,
author = {Willem Penninckx and
Jan Tobias M{\"{u}}hlberg and
Jan Smans and
Bart Jacobs and
Frank Piessens},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Sound Formal Verification of Linux's {USB} {BP} Keyboard Driver},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {210--215},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_21},
doi = {10.1007/978-3-642-28891-3\_21},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PenninckxMSJP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RegulaSKHSS12,
author = {Kalyan C. Regula and
Hampton Smith and
Heather Keown and
Jason O. Hallstrom and
Nigamanth Sridhar and
Murali Sitaraman},
editor = {Alwyn Goodloe and
Suzette Person},
title = {A Case Study in Verification of Embedded Network Software},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {433--448},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_38},
doi = {10.1007/978-3-642-28891-3\_38},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RegulaSKHSS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/TagoreZW12,
author = {Aditi Tagore and
Diego Zaccai and
Bruce W. Weide},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Automatically Proving Thousands of Verification Conditions Using an
{SMT} Solver: An Empirical Study},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {195--209},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_20},
doi = {10.1007/978-3-642-28891-3\_20},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/TagoreZW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Tinelli12,
author = {Cesare Tinelli},
editor = {Alwyn Goodloe and
Suzette Person},
title = {SMT-Based Model Checking},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {1},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_1},
doi = {10.1007/978-3-642-28891-3\_1},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Tinelli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ZhangLD12,
author = {Xian Zhang and
Martin Leucker and
Wei Dong},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Runtime Verification with Predictive Semantics},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {418--432},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_37},
doi = {10.1007/978-3-642-28891-3\_37},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ZhangLD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ZurowskaD12,
author = {Karolina Zurowska and
J{\"{u}}rgen Dingel},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Symbolic Execution of Communicating and Hierarchically Composed {UML-RT}
State Machines},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {39--53},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_6},
doi = {10.1007/978-3-642-28891-3\_6},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ZurowskaD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nfm/2012,
editor = {Alwyn Goodloe and
Suzette Person},
title = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3},
doi = {10.1007/978-3-642-28891-3},
isbn = {978-3-642-28890-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/2012.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-06-06 07:43 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:
