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/monterey/monterey2008.bht:"
download as .bib file
@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}
}
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-08-27 15:28 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:
