Search dblp for Publications

export results for "toc:db/conf/nfm/nfm2010.bht:"

 download as .bib file

@inproceedings{DBLP:conf/nfm/ArcainiGR10,
  author       = {Paolo Arcaini and
                  Angelo Gargantini and
                  Elvinia Riccobene},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Automatic Review of Abstract State Machines by Meta Property Verification},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {4--13},
  year         = {2010},
  timestamp    = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ArcainiGR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/BoldoN10,
  author       = {Sylvie Boldo and
                  Thi Minh Tuyen Nguyen},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Hardware-independent Proofs of Numerical Programs},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {14--23},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/BoldoN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/Bollin10,
  author       = {Andreas Bollin},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Slice-based Formal Specification Measures - Mapping Coupling and Cohesion
                  Measures to Formal {Z}},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {24--33},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/Bollin10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ButlerHMMND10,
  author       = {Ricky W. Butler and
                  George Hagen and
                  Jeffrey Maddalon and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Anthony Narkawicz and
                  Gilles Dowek},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {How Formal Methods Impels Discovery: {A} Short History of an Air Traffic
                  Management Project},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {34--46},
  year         = {2010},
  timestamp    = {Wed, 18 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ButlerHMMND10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/CatanoS10,
  author       = {N{\'{e}}stor Cata{\~{n}}o and
                  Radu I. Siminiceanu},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {A Machine-Checked Proof of {A} State-Space Construction Algorithm},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {47--56},
  year         = {2010},
  timestamp    = {Thu, 07 Mar 2013 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/CatanoS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ChakiG10,
  author       = {Sagar Chaki and
                  Arie Gurfinkel},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Automated Assume-Guarantee Reasoning for Omega-Regular Systems and
                  Specifications},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {57--66},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ChakiG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/EndresMST10,
  author       = {Erik Endres and
                  Christian M{\"{u}}ller and
                  Andrey Shadrin and
                  Sergey Tverdyshev},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Towards the Formal Verification of a Distributed Real-Time Automotive
                  System},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {212--216},
  year         = {2010},
  url          = {https://ntrs.nasa.gov/api/citations/20100018553/downloads/20100018553.pdf},
  timestamp    = {Mon, 14 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/EndresMST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/FuL10,
  author       = {Xiang Fu and
                  Chung{-}Chih Li},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Modeling Regular Replacement for String Constraint Solving},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {67--76},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/FuL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/HuangSS10,
  author       = {Xiaowan Huang and
                  Anu Singh and
                  Scott A. Smolka},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {77--86},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/HuangSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/NedunuriSC10,
  author       = {Srinivas Nedunuri and
                  Douglas R. Smith and
                  William R. Cook},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Synthesis of Greedy Algorithms Using Dominance Relations},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {97--108},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/NedunuriSC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/NguyenNO10,
  author       = {Viet Yen Nguyen and
                  Thomas Noll and
                  Max Odenbrett},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Slicing {AADL} Specifications for Model Checking},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {217--221},
  year         = {2010},
  timestamp    = {Wed, 08 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/NguyenNO10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/PedrosaM10,
  author       = {Lehilton L. C. Pedrosa and
                  Arnaldo V. Moura},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {A New Method for Incremental Testing of Finite State Machines},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {109--118},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/PedrosaM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/PilottoW10,
  author       = {Concetta Pilotto and
                  Jerome White},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Verification of Faulty Message Passing Systems with Continuous State
                  Space in {PVS}},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {119--128},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/PilottoW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/PriceT10,
  author       = {Petra Price and
                  Greg Turgeon},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Phase Two Feasibility Study for Software Safety Requirements Analysis
                  Using Model Checking},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {129--138},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/PriceT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RichardsL10,
  author       = {Dominic Richards and
                  David R. Lester},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {A Prototype Embedding of Bluespec SystemVerilog in the {PVS} Theorem
                  Prover},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {139--148},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RichardsL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RouxS10,
  author       = {Pierre Roux and
                  Radu Siminiceanu},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Model Checking with Edge-valued Decision Diagrams},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {222--226},
  year         = {2010},
  timestamp    = {Fri, 23 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RouxS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RoyS10,
  author       = {Pritam Roy and
                  Natarajan Shankar},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {SimCheck: An Expressive Type System for Simulink},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {149--160},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RoyS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/RuizL10,
  author       = {Eduardo Rafael L{\'{o}}pez Ruiz and
                  Michel Lemoine},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Can Regulatory Bodies Expect Efficient Help from Formal Methods?},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {87--96},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/RuizL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/SaadB10,
  author       = {Christian Saad and
                  Bernhard Bauer},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Data-flow Based Model Analysis},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {227--231},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/SaadB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/StaatsWRH10,
  author       = {Matt Staats and
                  Michael W. Whalen and
                  Ajitha Rajan and
                  Mats Per Erik Heimdahl},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {161--170},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/StaatsWRH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ThompsonBV10,
  author       = {Sarah Thompson and
                  Guillaume P. Brat and
                  Arnaud Venet},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Software Model Checking of {ARINC-653} Flight Code with {MCP}},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {171--181},
  year         = {2010},
  timestamp    = {Tue, 17 Jul 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ThompsonBV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/YeganefardBR10,
  author       = {Sanaz Yeganefard and
                  Michael J. Butler and
                  Abdolbaghi Rezazadeh},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Evaluation of a Guideline by Formal Modelling of Cruise Control System
                  in Event-B},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {182--191},
  year         = {2010},
  timestamp    = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/nfm/YeganefardBR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/YinK10,
  author       = {Xiang Yin and
                  John C. Knight},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Formal Verification of Large Software Systems},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {192--201},
  year         = {2010},
  timestamp    = {Fri, 31 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/YinK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/nfm/ZhaoC10,
  author       = {Yang Zhao and
                  Gianfranco Ciardo},
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Symbolic Computation of Strongly Connected Components Using Saturation},
  booktitle    = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  pages        = {202--211},
  year         = {2010},
  timestamp    = {Mon, 22 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/ZhaoC10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/nfm/2010,
  editor       = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title        = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
                  USA, April 13-15, 2010. Proceedings},
  series       = {{NASA} Conference Proceedings},
  volume       = {{NASA/CP-2010-216215}},
  year         = {2010},
  timestamp    = {Thu, 23 Jun 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/nfm/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.