default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/savcbs:"
download as .bib file
@inproceedings{DBLP:conf/sigsoft/JamesC09,
author = {Perry R. James and
Patrice Chalin},
title = {{ESC4:} a modern caching {ESC} for Java},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {19--26},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596491},
doi = {10.1145/1596486.1596491},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JamesC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KimBAK09,
author = {Taekgoo Kim and
Kevin Bierhoff and
Jonathan Aldrich and
Sungwon Kang},
title = {Typestate protocol specification in {JML}},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {11--18},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596490},
doi = {10.1145/1596486.1596490},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KimBAK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Mosses09,
author = {Peter D. Mosses},
title = {Component-based semantics},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {3--10},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596489},
doi = {10.1145/1596486.1596489},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Mosses09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SeoEPMM09,
author = {Chiyoung Seo and
George Edwards and
Daniel Popescu and
Sam Malek and
Nenad Medvidovic},
title = {A framework for estimating the energy consumption induced by a distributed
system's architectural style},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {27--34},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596493},
doi = {10.1145/1596486.1596493},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SeoEPMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SharyginaTT09,
author = {Natasha Sharygina and
Stefano Tonetta and
Aliaksei Tsitovich},
title = {An abstraction refinement approach combining precise and approximated
techniques for efficient program verification: abstract for the invited
talk},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {35--36},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596494},
doi = {10.1145/1596486.1596494},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SharyginaTT09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Stoelinga09,
author = {Mari{\"{e}}lle Stoelinga},
title = {Compositional dependability modeling using arcade: abstract for the
keynote talk},
booktitle = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
pages = {1--2},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486.1596487},
doi = {10.1145/1596486.1596487},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Stoelinga09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2009savcbs,
title = {SAVCBS'09, Proceedings of the 8th International Workshop on Specification
and Verification of Component-Based Systems, August 25, 2009, Amsterdam,
The Netherlands},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1596486},
doi = {10.1145/1596486},
isbn = {978-1-60558-680-9},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2009savcbs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlagarM07,
author = {Vasu S. Alagar and
Mubarak Mohammad},
editor = {Arnd Poetzsch{-}Heffter},
title = {Specification and verification of trustworthy component-based real-time
reactive systems},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {89--93},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292327},
doi = {10.1145/1292316.1292327},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/AlagarM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BakewellG07,
author = {Adam Bakewell and
Dan R. Ghica},
editor = {Arnd Poetzsch{-}Heffter},
title = {Game-based safety checking with Mage},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {85--87},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292326},
doi = {10.1145/1292316.1292326},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BakewellG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BaresiGGM07,
author = {Luciano Baresi and
Giorgio Gerosa and
Carlo Ghezzi and
Luca Mottola},
editor = {Arnd Poetzsch{-}Heffter},
title = {Playing with time in publish-subscribe using a domain-specific model
checker},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {55--62},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292323},
doi = {10.1145/1292316.1292323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BaresiGGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChalinJK07,
author = {Patrice Chalin and
Perry R. James and
George Karabotsos},
editor = {Arnd Poetzsch{-}Heffter},
title = {An integrated verification environment for {JML:} architecture and
early results},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {47--53},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292322},
doi = {10.1145/1292316.1292322},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChalinJK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/DarvasM07,
author = {{\'{A}}d{\'{a}}m Darvas and
Peter M{\"{u}}ller},
editor = {Arnd Poetzsch{-}Heffter},
title = {Faithful mapping of model classes to mathematical structures},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {31--38},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292320},
doi = {10.1145/1292316.1292320},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/DarvasM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/IzadiM07,
author = {Mohammad Izadi and
Ali Movaghar},
editor = {Arnd Poetzsch{-}Heffter},
title = {Compositional failure-based semantic equivalences for Reo specifications},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {99--100},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292329},
doi = {10.1145/1292316.1292329},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/IzadiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JanotaGM07,
author = {Mikol{\'{a}}s Janota and
Radu Grigore and
Michal Moskal},
editor = {Arnd Poetzsch{-}Heffter},
title = {Reachability analysis for annotated code},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {23--30},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292319},
doi = {10.1145/1292316.1292319},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/JanotaGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/MullerN07,
author = {Peter M{\"{u}}ller and
Martin Nordio},
editor = {Arnd Poetzsch{-}Heffter},
title = {Proof-transforming compilation of programs with abrupt termination},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {39--46},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292321},
doi = {10.1145/1292316.1292321},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/MullerN07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/NiebuhrR07,
author = {Dirk Niebuhr and
Andreas Rausch},
editor = {Arnd Poetzsch{-}Heffter},
title = {A concept for dynamic wiring of components: correctness in dynamic
adaptive systems},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {101--102},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292330},
doi = {10.1145/1292316.1292330},
timestamp = {Mon, 02 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/NiebuhrR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/OweSS07,
author = {Olaf Owe and
Gerardo Schneider and
Martin Steffen},
editor = {Arnd Poetzsch{-}Heffter},
title = {Components, objects, and contracts},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {95--98},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292328},
doi = {10.1145/1292316.1292328},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/OweSS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SalahBM07,
author = {Ramzi Ben Salah and
Marius Bozga and
Oded Maler},
editor = {Arnd Poetzsch{-}Heffter},
title = {On timed components and their abstraction},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {63--71},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292324},
doi = {10.1145/1292316.1292324},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SalahBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/SykesHMK07,
author = {Daniel Sykes and
William Heaven and
Jeff Magee and
Jeff Kramer},
editor = {Arnd Poetzsch{-}Heffter},
title = {Plan-directed architectural change for autonomous systems},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {15--21},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292318},
doi = {10.1145/1292316.1292318},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/SykesHMK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VarekovaMCZ07,
author = {Pavl{\'{\i}}na Varekov{\'{a}} and
Pavel Moravec and
Ivana Cern{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Arnd Poetzsch{-}Heffter},
title = {Effective verification of systems with a dynamic number of components},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {3--13},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292317},
doi = {10.1145/1292316.1292317},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VarekovaMCZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/VarekovaZ07,
author = {Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Arnd Poetzsch{-}Heffter},
title = {Subject-observer specification with component-interaction automata},
booktitle = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
pages = {75--81},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316.1292325},
doi = {10.1145/1292316.1292325},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/VarekovaZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2007savcbs,
editor = {Arnd Poetzsch{-}Heffter},
title = {Proceedings of the 2007 Conference Specification and Verification
of Component-Based Systems, {SAVCBS} 2007, Dubrovnik, Croatia, September
3-4, 2007},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1292316},
doi = {10.1145/1292316},
isbn = {978-1-59593-721-6},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2007savcbs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0002PS06,
author = {Bart Jacobs and
Frank Piessens and
Wolfram Schulte},
title = {{VC} generation for functional behavior and non-interference of iterators},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {67--70},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181209},
doi = {10.1145/1181195.1181209},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0002PS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BellegardeJMO06,
author = {Fran{\c{c}}oise Bellegarde and
Jacques Julliand and
Hassan Mountassir and
Emilie Oudot},
title = {Experiments in the use of {\(\tau\)}-simulations for the components-verification
of real-time systems},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {33--40},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181203},
doi = {10.1145/1181195.1181203},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BellegardeJMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Bierhoff06,
author = {Kevin Bierhoff},
title = {Iterator specification with typestates},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {79--82},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181212},
doi = {10.1145/1181195.1181212},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Bierhoff06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chalin06,
author = {Patrice Chalin},
title = {Early detection of {JML} specification errors using ESC/Java2},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {25--32},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181201},
doi = {10.1145/1181195.1181201},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Chalin06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Cok06,
author = {David R. Cok},
title = {Specifying java iterators with {JML} and Esc/Java2},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {71--74},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181210},
doi = {10.1145/1181195.1181210},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Cok06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/GroslambertJK06,
author = {Julien Groslambert and
Jacques Julliand and
Olga Kouchnarenko},
title = {JML-based verification of liveness properties on a class in isolation},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {41--48},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181204},
doi = {10.1145/1181195.1181204},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/GroslambertJK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KiniryMD06,
author = {Joseph R. Kiniry and
Alan E. Morkan and
Barry Denby},
title = {Soundness and completeness warnings in ESC/Java2},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {19--24},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181200},
doi = {10.1145/1181195.1181200},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KiniryMD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Krishnaswami06,
author = {Neelakantan R. Krishnaswami},
title = {Reasoning about iterators with separation logic},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {83--86},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181213},
doi = {10.1145/1181195.1181213},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Krishnaswami06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KroneOS06,
author = {Joan Krone and
William F. Ogden and
Murali Sitaraman},
title = {Performance analysis based upon complete profiles},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {3--10},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181197},
doi = {10.1145/1181195.1181197},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KroneOS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KulczyckiV06,
author = {Gregory Kulczycki and
Jyotindra Vasudeo},
title = {Simplifying reasoning about objects with Tako},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {57--64},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181207},
doi = {10.1145/1181195.1181207},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KulczyckiV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/McVeighKM06,
author = {Andrew McVeigh and
Jeff Kramer and
Jeff Magee},
title = {Using resemblance to support component reuse and evolution},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {49--56},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181206},
doi = {10.1145/1181195.1181206},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/McVeighKM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/PostK06,
author = {Hendrik Post and
Wolfgang K{\"{u}}chlin},
title = {Automatic data environment construction for static device drivers
analysis},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {89--92},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181215},
doi = {10.1145/1181195.1181215},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/PostK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Ufimtsev006,
author = {Alexander Ufimtsev and
Liam Murphy},
title = {Performance modeling of a JavaEE component application using layered
queuing networks: revised approach and a case study},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {11--18},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181198},
doi = {10.1145/1181195.1181198},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/Ufimtsev006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Weide06,
author = {Bruce W. Weide},
title = {{SAVCBS} 2006 challenge: specification of iterators},
booktitle = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
pages = {75--77},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195.1181211},
doi = {10.1145/1181195.1181211},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Weide06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2006savcbs,
title = {Proceedings of the 2006 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '06, Portland, Oregon, USA, November
10-11, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181195},
doi = {10.1145/1181195},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2006savcbs.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/0024OW005,
author = {Jing Xu and
Alexandre Oufimtsev and
C. Murray Woodside and
Liam Murphy},
editor = {Gary T. Leavens},
title = {Performance modeling and prediction of enterprise JavaBeans with layered
queuing network templates},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {5},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123064},
doi = {10.1145/1123058.1123064},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/0024OW005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BidingerLQSS05,
author = {Philippe Bidinger and
Matthieu Leclercq and
Vivien Qu{\'{e}}ma and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Gary T. Leavens},
title = {Dream types: a domain specific type system for component-based message-oriented
middleware},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {2},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123061},
doi = {10.1145/1123058.1123061},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BidingerLQSS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BlundellGP05,
author = {Colin Blundell and
Dimitra Giannakopoulou and
Corina S. Pasareanu},
editor = {Gary T. Leavens},
title = {Assume-guarantee testing},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {1},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123060},
doi = {10.1145/1123058.1123060},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BlundellGP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BrimCVZ05,
author = {Lubos Brim and
Ivana Cern{\'{a}} and
Pavl{\'{\i}}na Varekov{\'{a}} and
Barbora Zimmerov{\'{a}}},
editor = {Gary T. Leavens},
title = {Component-interaction automata as a verification-oriented component-based
system specification},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {4},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123063},
doi = {10.1145/1123058.1123063},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BrimCVZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CeballosGB05,
author = {Rafael Ceballos and
Rafael Martinez Gasca and
Diana Borrego},
editor = {Gary T. Leavens},
title = {Constraint satisfaction techniques for diagnosing errors in design
by contract software},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {11},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123070},
doi = {10.1145/1123058.1123070},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/CeballosGB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChalinR05,
author = {Patrice Chalin and
Fr{\'{e}}d{\'{e}}ric Rioux},
editor = {Gary T. Leavens},
title = {Non-null references by default in the Java modeling language},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {9},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123068},
doi = {10.1145/1123058.1123068},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChalinR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Chekin05,
author = {Konstantin Chekin},
editor = {Gary T. Leavens},
title = {Theory of infinite streams and objects},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {15},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123074},
doi = {10.1145/1123058.1123074},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Chekin05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/CiobanuL05,
author = {Gabriel Ciobanu and
Dorel Lucanu},
editor = {Gary T. Leavens},
title = {A specification language for coordinated objects},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {3},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123062},
doi = {10.1145/1123058.1123062},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/CiobanuL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ErenoLC05,
author = {Montse Ere{\~{n}}o and
Uxue Landa and
Rebeca Cortazar},
editor = {Gary T. Leavens},
title = {Software product lines structuring based upon market demands},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {13},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123072},
doi = {10.1145/1123058.1123072},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ErenoLC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Guerrouat005,
author = {Abdelaziz Guerrouat and
Harald Richter},
editor = {Gary T. Leavens},
title = {A component-based specification approach for embedded systems using
FDTs},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {14},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123073},
doi = {10.1145/1123058.1123073},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Guerrouat005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/JuniorL05,
author = {Francisco Heron de Carvalho Junior and
Rafael Dueire Lins},
editor = {Gary T. Leavens},
title = {A categorical characterization for the compositional features of the
{\#} component model},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {12},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123071},
doi = {10.1145/1123058.1123071},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/JuniorL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KulczyckiSWR05,
author = {Gregory Kulczycki and
Murali Sitaraman and
Bruce W. Weide and
Atanas Rountev},
editor = {Gary T. Leavens},
title = {A specification-based approach to reasoning about pointers},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {7},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123066},
doi = {10.1145/1123058.1123066},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KulczyckiSWR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LumpeS05,
author = {Markus Lumpe and
Jean{-}Guy Schneider},
editor = {Gary T. Leavens},
title = {Classboxes: an experiment in modeling compositional abstractions using
explicit contexts},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {6},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123065},
doi = {10.1145/1123058.1123065},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/LumpeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/Perez-SerranoS05,
author = {Pedro L. P{\'{e}}rez{-}Serrano and
Marisol S{\'{a}}nchez{-}Alonso},
editor = {Gary T. Leavens},
title = {Specification and design of component-based coordination systems by
integrating coordination patterns},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {10},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123069},
doi = {10.1145/1123058.1123069},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/Perez-SerranoS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ThangK05,
author = {Nguyen Truong Thang and
Takuya Katayama},
editor = {Gary T. Leavens},
title = {Specification and verification of inter-component constraints in {CTL}},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {8},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123067},
doi = {10.1145/1123058.1123067},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ThangK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2005savcbs,
editor = {Gary T. Leavens},
title = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058},
doi = {10.1145/1123058},
timestamp = {Thu, 10 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2005savcbs.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.
retrieved on 2025-02-27 09:11 CET 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:
