![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/monterey/monterey2008.bht:"
@proceedings{DBLP:conf/monterey/2008, editor = {Christine Choppy and Oleg Sokolsky}, title = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12566-9}, doi = {10.1007/978-3-642-12566-9}, isbn = {978-3-642-12565-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/AstesianoR08, author = {Egidio Astesiano and Gianna Reggio}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Revising the {UML} Collaborations: {A} Well-Founded Approach}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {1--23}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_1}, doi = {10.1007/978-3-642-12566-9\_1}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/monterey/AstesianoR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/BerzinsLM08, author = {Valdis Berzins and Luqi and Peter M. Musial}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Formal Reasoning about Software Object Translations}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {43--58}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_3}, doi = {10.1007/978-3-642-12566-9\_3}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/BerzinsLM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/CalinescuK08, author = {Radu Calinescu and Marta Z. Kwiatkowska}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Software Engineering Techniques for the Development of Systems of Systems}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {59--82}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_4}, doi = {10.1007/978-3-642-12566-9\_4}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/CalinescuK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/DerlerNPRT08, author = {Patricia Derler and Andreas Naderlinger and Wolfgang Pree and Stefan Resmerita and Josef Templ}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Simulation of {LET} Models in Simulink and Ptolemy}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {83--92}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_5}, doi = {10.1007/978-3-642-12566-9\_5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/DerlerNPRT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/FarcasFK08, author = {Claudiu Farcas and Emilia Farcas and Ingolf Kr{\"{u}}ger}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Requirements for Service Composition in Ultra-Large Scale Software-Intensive Systems}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {93--115}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_6}, doi = {10.1007/978-3-642-12566-9\_6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/FarcasFK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/FuhrmannH08, author = {Hauke Fuhrmann and Reinhard von Hanxleden}, editor = {Christine Choppy and Oleg Sokolsky}, title = {On the Pragmatics of Model-Based Design}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {116--140}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_7}, doi = {10.1007/978-3-642-12566-9\_7}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/FuhrmannH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/HaxthausenBK08, author = {Anne E. Haxthausen and Marie Le Bliguet and Andreas A. Kj{\ae}r}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Modelling and Verification of Relay Interlocking Systems}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {141--153}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_8}, doi = {10.1007/978-3-642-12566-9\_8}, timestamp = {Fri, 28 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/monterey/HaxthausenBK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/HennickerJK08, author = {Rolf Hennicker and Stephan Janisch and Alexander Knapp}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Refinement of Components in Connection-Safe Assemblies with Synchronous and Asynchronous Communication}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {154--180}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_9}, doi = {10.1007/978-3-642-12566-9\_9}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/HennickerJK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/HmidaH08, author = {Mehdi Ben Hmida and Serge Haddad}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Client Synthesis for Aspect Oriented Web Services}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {24--42}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_2}, doi = {10.1007/978-3-642-12566-9\_2}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/HmidaH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/KordonT08, author = {Fabrice Kordon and Yann Thierry{-}Mieg}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Experiences in Model Driven Verification of Behavior with {UML}}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {181--200}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_10}, doi = {10.1007/978-3-642-12566-9\_10}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/monterey/KordonT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/NaqviCZRS08, author = {Syed Asad Naqvi and Ruzanna Chitchyan and Steffen Zschaler and Awais Rashid and Mario S{\"{u}}dholt}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Cross-Document Dependency Analysis for System-of-System Integration}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {201--226}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_11}, doi = {10.1007/978-3-642-12566-9\_11}, timestamp = {Sat, 24 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/monterey/NaqviCZRS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/SokolskyC08, author = {Oleg Sokolsky and Alexander Chernoguzov}, editor = {Christine Choppy and Oleg Sokolsky}, title = {Performance Analysis of {AADL} Models Using Real-Time Calculus}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {227--249}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_12}, doi = {10.1007/978-3-642-12566-9\_12}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/SokolskyC08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/monterey/WassyngML08, author = {Alan Wassyng and T. S. E. Maibaum and Mark Lawford}, editor = {Christine Choppy and Oleg Sokolsky}, title = {On Software Certification: We Need Product-Focused Approaches}, booktitle = {Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6028}, pages = {250--274}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-12566-9\_13}, doi = {10.1007/978-3-642-12566-9\_13}, timestamp = {Thu, 25 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/monterey/WassyngML08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.