Search dblp for Publications

export results for "stream:streams/conf/foveoos:"

 download as .bib file

@proceedings{DBLP:conf/foveoos/2011,
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31762-0},
  doi          = {10.1007/978-3-642-31762-0},
  isbn         = {978-3-642-31761-3},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BalakrishnanMSIGP11,
  author       = {Gogul Balakrishnan and
                  Naoto Maeda and
                  Sriram Sankaranarayanan and
                  Franjo Ivancic and
                  Aarti Gupta and
                  Rakesh Pothengil},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Modeling and Analyzing the Interaction of {C} and {C++} Strings},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {67--85},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_6},
  doi          = {10.1007/978-3-642-31762-0\_6},
  timestamp    = {Mon, 26 Jun 2023 20:49:01 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BalakrishnanMSIGP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Banerjee11,
  author       = {Anindya Banerjee},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Modular Verification of Object-Based Programs - Abstract of Invited
                  Talk},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {1--2},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_1},
  doi          = {10.1007/978-3-642-31762-0\_1},
  timestamp    = {Thu, 22 Mar 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/Banerjee11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BeckertBMS11,
  author       = {Bernhard Beckert and
                  Thorsten Bormer and
                  Florian Merz and
                  Carsten Sinz},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Integration of Bounded Model Checking and Deductive Verification},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {86--104},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_7},
  doi          = {10.1007/978-3-642-31762-0\_7},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BeckertBMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BenteaO11,
  author       = {Lucian Bentea and
                  Olaf Owe},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {A Probabilistic Framework for Object-Oriented Modeling and Analysis
                  of Distributed Systems},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {105--122},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_8},
  doi          = {10.1007/978-3-642-31762-0\_8},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BenteaO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BormerBDEFGHKMMMPSSTTU11,
  author       = {Thorsten Bormer and
                  Marc Brockschmidt and
                  Dino Distefano and
                  Gidon Ernst and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Radu Grigore and
                  Marieke Huisman and
                  Vladimir Klebanov and
                  Claude March{\'{e}} and
                  Rosemary Monahan and
                  Wojciech Mostowski and
                  Nadia Polikarpova and
                  Christoph Scheben and
                  Gerhard Schellhorn and
                  Bogdan Tofan and
                  Julian Tschannen and
                  Mattias Ulbrich},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {The {COST} {IC0701} Verification Competition 2011},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_2},
  doi          = {10.1007/978-3-642-31762-0\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BormerBDEFGHKMMMPSSTTU11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BrockschmidtSOG11,
  author       = {Marc Brockschmidt and
                  Thomas Str{\"{o}}der and
                  Carsten Otto and
                  J{\"{u}}rgen Giesl},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Automated Detection of Non-termination and NullPointerExceptions for
                  Java Bytecode},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {123--141},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_9},
  doi          = {10.1007/978-3-642-31762-0\_9},
  timestamp    = {Sat, 05 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BrockschmidtSOG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/HeinenBJ11,
  author       = {Jonathan Heinen and
                  Henrik Barthels and
                  Christina Jansen},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Juggrnaut - An Abstract {JVM}},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {142--159},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_10},
  doi          = {10.1007/978-3-642-31762-0\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/HeinenBJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Herranz-NievaM11,
  author       = {{\'{A}}ngel Herranz{-}Nieva and
                  Julio Mari{\~{n}}o},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {A Verified Implementation of Priority Monitors in Java},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {160--177},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_11},
  doi          = {10.1007/978-3-642-31762-0\_11},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/Herranz-NievaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/HuismanN11,
  author       = {Marieke Huisman and
                  Tri Minh Ngo},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Scheduler-Specific Confidentiality for Multi-threaded Programs and
                  Its Logic-Based Verification},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {178--195},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_12},
  doi          = {10.1007/978-3-642-31762-0\_12},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/HuismanN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Hunt11,
  author       = {James J. Hunt},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {The Practical Application of Formal Methods: Where Is the Benefit
                  for Industry?},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {22--32},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_3},
  doi          = {10.1007/978-3-642-31762-0\_3},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/Hunt11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/JohnsenST11,
  author       = {Einar Broch Johnsen and
                  Rudolf Schlatte and
                  Silvia Lizeth Tapia Tarifa},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {A Formal Model of User-Defined Resources in Resource-Restricted Deployment
                  Scenarios},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_13},
  doi          = {10.1007/978-3-642-31762-0\_13},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/JohnsenST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Mycroft11,
  author       = {Alan Mycroft},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Isolation Types and Multi-core Architectures},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {33--48},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_4},
  doi          = {10.1007/978-3-642-31762-0\_4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/Mycroft11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/RusuL11,
  author       = {Vlad Rusu and
                  Dorel Lucanu},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {A K-Based Formal Framework for Domain-Specific Modelling Languages},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {214--231},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_14},
  doi          = {10.1007/978-3-642-31762-0\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/RusuL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/SchebenS11,
  author       = {Christoph Scheben and
                  Peter H. Schmitt},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Verification of Information Flow Properties of Java Programs without
                  Approximations},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {232--249},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_15},
  doi          = {10.1007/978-3-642-31762-0\_15},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/SchebenS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/WongDS11,
  author       = {Peter Y. H. Wong and
                  Nikolay Diakov and
                  Ina Schaefer},
  editor       = {Bernhard Beckert and
                  Ferruccio Damiani and
                  Dilian Gurov},
  title        = {Modelling Adaptable Distributed Object Oriented Systems Using the
                  {HATS} Approach: {A} Fredhopper Case Study},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7421},
  pages        = {49--66},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-31762-0\_5},
  doi          = {10.1007/978-3-642-31762-0\_5},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/WongDS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/foveoos/2010,
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-18070-5},
  doi          = {10.1007/978-3-642-18070-5},
  isbn         = {978-3-642-18069-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/2010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/AnconaCLD10,
  author       = {Davide Ancona and
                  Andrea Corradi and
                  Giovanni Lagorio and
                  Ferruccio Damiani},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Abstract Compilation of Object-Oriented Languages into Coinductive
                  {CLP(X):} Can Type Inference Meet Verification?},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {31--45},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_3},
  doi          = {10.1007/978-3-642-18070-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/AnconaCLD10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Andronick10,
  author       = {June Andronick},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {From a Proven Correct Microkernel to Trustworthy Large Systems},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {1--9},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_1},
  doi          = {10.1007/978-3-642-18070-5\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/Andronick10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/BrunsKS10,
  author       = {Daniel Bruns and
                  Vladimir Klebanov and
                  Ina Schaefer},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Verification of Software Product Lines with Delta-Oriented Slicing},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_5},
  doi          = {10.1007/978-3-642-18070-5\_5},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/BrunsKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/FahndrichL10,
  author       = {Manuel F{\"{a}}hndrich and
                  Francesco Logozzo},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Static Contract Checking with Abstract Interpretation},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {10--30},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_2},
  doi          = {10.1007/978-3-642-18070-5\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/FahndrichL10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Gladisch10,
  author       = {Christoph Gladisch},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Satisfiability Solving and Model Generation for Quantified First-Order
                  Logic Formulas},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {76--91},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_6},
  doi          = {10.1007/978-3-642-18070-5\_6},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/Gladisch10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/HubertBBDJMPT10,
  author       = {Laurent Hubert and
                  Nicolas Barr{\'{e}} and
                  Fr{\'{e}}d{\'{e}}ric Besson and
                  Delphine Demange and
                  Thomas P. Jensen and
                  Vincent Monfort and
                  David Pichardie and
                  Tiphaine Turpin},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Sawja: Static Analysis Workshop for Java},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {92--106},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_7},
  doi          = {10.1007/978-3-642-18070-5\_7},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/HubertBBDJMPT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/HuismanG10,
  author       = {Marieke Huisman and
                  Dilian Gurov},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {{CVPP:} {A} Tool Set for Compositional Verification of Control-Flow
                  Safety Properties},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {107--121},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_8},
  doi          = {10.1007/978-3-642-18070-5\_8},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/HuismanG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/JohnsenOST10,
  author       = {Einar Broch Johnsen and
                  Olaf Owe and
                  Rudolf Schlatte and
                  Silvia Lizeth Tapia Tarifa},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Validating Timed Models of Deployment Components with Parametric Concurrency},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {46--60},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_4},
  doi          = {10.1007/978-3-642-18070-5\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/JohnsenOST10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/MaingaudBBHM10,
  author       = {S{\'{e}}verine Maingaud and
                  Vincent Balat and
                  Richard Bubel and
                  Reiner H{\"{a}}hnle and
                  Alexandre Miquel},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Specifying Imperative ML-Like Programs Using Dynamic Logic},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {122--137},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_9},
  doi          = {10.1007/978-3-642-18070-5\_9},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/foveoos/MaingaudBBHM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/SchmittUW10,
  author       = {Peter H. Schmitt and
                  Mattias Ulbrich and
                  Benjamin Wei{\ss}},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {Dynamic Frames in Java Dynamic Logic},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {138--152},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_10},
  doi          = {10.1007/978-3-642-18070-5\_10},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/SchmittUW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/TafatBM10,
  author       = {Asma Tafat and
                  Sylvain Boulm{\'{e}} and
                  Claude March{\'{e}}},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {A Refinement Methodology for Object-Oriented Programs},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {153--167},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_11},
  doi          = {10.1007/978-3-642-18070-5\_11},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/TafatBM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/Ulbrich10,
  author       = {Mattias Ulbrich},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {A Dynamic Logic for Unstructured Programs with Embedded Assertions},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {168--182},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_12},
  doi          = {10.1007/978-3-642-18070-5\_12},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/Ulbrich10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/foveoos/ZimmermanN10,
  author       = {Daniel M. Zimmerman and
                  Rinkesh Nagmoti},
  editor       = {Bernhard Beckert and
                  Claude March{\'{e}}},
  title        = {JMLUnit: The Next Generation},
  booktitle    = {Formal Verification of Object-Oriented Software - International Conference,
                  FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6528},
  pages        = {183--197},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-18070-5\_13},
  doi          = {10.1007/978-3-642-18070-5\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foveoos/ZimmermanN10.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.