Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/monterey/monterey2010.bht:"
@proceedings{DBLP:conf/monterey/2010, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21292-5}, doi = {10.1007/978-3-642-21292-5}, isbn = {978-3-642-21291-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/BaarirHKR10, author = {Souheib Baarir and Lom{-}Messan Hillah and Fabrice Kordon and Etienne Renault}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Self-reconfigurable Modular Robots and Their Symbolic Configuration Space}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {103--121}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_6}, doi = {10.1007/978-3-642-21292-5\_6}, timestamp = {Sat, 05 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/BaarirHKR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/CalinescuK10, author = {Radu Calinescu and Shinji Kikuchi}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Formal Methods @ Runtime}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {122--135}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_7}, doi = {10.1007/978-3-642-21292-5\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/CalinescuK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/GronnigerR10, author = {Hans Gr{\"{o}}nniger and Bernhard Rumpe}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Modeling Language Variability}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {17--32}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_2}, doi = {10.1007/978-3-642-21292-5\_2}, timestamp = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/GronnigerR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/Haxthausen10, author = {Anne E. Haxthausen}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Towards a Framework for Modelling and Verification of Relay Interlocking Systems}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {176--192}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_10}, doi = {10.1007/978-3-642-21292-5\_10}, timestamp = {Fri, 28 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/monterey/Haxthausen10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/KadirvelF10, author = {Selvi Kadirvel and Jos{\'{e}} A. B. Fortes}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Towards {IT} Systems Capable of Managing Their Health}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {77--102}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_5}, doi = {10.1007/978-3-642-21292-5\_5}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/KadirvelF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/KangJS10, author = {Eunsuk Kang and Ethan K. Jackson and Wolfram Schulte}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {An Approach for Effective Design Space Exploration}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {33--54}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_3}, doi = {10.1007/978-3-642-21292-5\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/KangJS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/LakosP10, author = {Charles Lakos and Laure Petrucci}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Modular State Spaces for Prioritised Petri Nets}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {136--156}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_8}, doi = {10.1007/978-3-642-21292-5\_8}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/LakosP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/Lange10, author = {Douglas S. Lange}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Trust Of, In, and among Adaptive Systems}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {193--205}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_11}, doi = {10.1007/978-3-642-21292-5\_11}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/Lange10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/LuqiJ10, author = {Luqi and Grant A. Jacoby}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Testing Adaptive Probabilistic Software Components in Cyber Systems}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {228--238}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_13}, doi = {10.1007/978-3-642-21292-5\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/LuqiJ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/ReggioARL10, author = {Gianna Reggio and Egidio Astesiano and Filippo Ricca and Maurizio Leotta}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {A Problem Frame-Based Approach to Evolvability: The Case of the Multi-translation}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {157--175}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_9}, doi = {10.1007/978-3-642-21292-5\_9}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/ReggioARL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/ResmeritaBDNP10, author = {Stefan Resmerita and Kenneth R. Butts and Patricia Derler and Andreas Naderlinger and Wolfgang Pree}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Migration of Legacy Software Towards Correct-by-Construction Timing Behavior}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {55--76}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_4}, doi = {10.1007/978-3-642-21292-5\_4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/ResmeritaBDNP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/VassevH10, author = {Emil Vassev and Mike Hinchey}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Software Verification of Autonomic Systems Developed with {ASSL}}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {1--16}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_1}, doi = {10.1007/978-3-642-21292-5\_1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/VassevH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/WassyngMLB10, author = {Alan Wassyng and T. S. E. Maibaum and Mark Lawford and Hans Bherer}, editor = {Radu Calinescu and Ethan K. Jackson}, title = {Software Certification: Is There a Case against Safety Cases?}, booktitle = {Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6662}, pages = {206--227}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-21292-5\_12}, doi = {10.1007/978-3-642-21292-5\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/WassyngMLB10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.