Search dblp for Publications

export results for "toc:db/conf/acsd/acsd2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/acsd/BardsleyTE09,
  author    = {Andrew Bardsley and
               Luis A. Tarazona and
               Doug A. Edwards},
  title     = {Teak: {A} Token-Flow Implementation for the Balsa Language},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {23--31},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.15},
  doi       = {10.1109/ACSD.2009.15},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/BardsleyTE09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BrandtGS09,
  author    = {Jens Brandt and
               Mike Gemunde and
               Klaus Schneider},
  title     = {Desynchronizing Synchronous Programs by Modes},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {32--41},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.24},
  doi       = {10.1109/ACSD.2009.24},
  timestamp = {Thu, 14 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/acsd/BrandtGS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CarmonaCK09,
  author    = {Josep Carmona and
               Jordi Cortadella and
               Michael Kishinevsky},
  title     = {Genet: {A} Tool for the Synthesis and Mining of Petri Nets},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {181--185},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.6},
  doi       = {10.1109/ACSD.2009.6},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/acsd/CarmonaCK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CarmonaJCK09,
  author    = {Josep Carmona and
               Jorge J{\'{u}}lvez and
               Jordi Cortadella and
               Michael Kishinevsky},
  title     = {Scheduling Synchronous Elastic Designs},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {52--59},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.12},
  doi       = {10.1109/ACSD.2009.12},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/acsd/CarmonaJCK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CrafaRT09,
  author    = {Silvia Crafa and
               Francesco Ranzato and
               Francesco Tapparo},
  title     = {Saving Space in a Time Efficient Simulation Algorithm},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {60--69},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.14},
  doi       = {10.1109/ACSD.2009.14},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/CrafaRT09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/FurberB09,
  author    = {Stephen B. Furber and
               Andrew D. Brown},
  title     = {Biologically-Inspired Massively-Parallel Architectures - Computing
               Beyond a Million Processors},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {3--12},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.17},
  doi       = {10.1109/ACSD.2009.17},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/acsd/FurberB09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KhomenkoM09,
  author    = {Victor Khomenko and
               Roland Meyer},
  title     = {Checking pi-Calculus Structural Congruence is Graph Isomorphism Complete},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {70--79},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.8},
  doi       = {10.1109/ACSD.2009.8},
  timestamp = {Mon, 02 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/KhomenkoM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LohmannW09,
  author    = {Niels Lohmann and
               Karsten Wolf},
  title     = {Petrifying Operating Guidelines for Services},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {80--88},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.11},
  doi       = {10.1109/ACSD.2009.11},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/LohmannW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MauserL09,
  author    = {Sebastian Mauser and
               Robert Lorenz},
  title     = {Variants of the Language Based Synthesis Problem for Petri Nets},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {89--98},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.19},
  doi       = {10.1109/ACSD.2009.19},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/MauserL09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MokhovKY09,
  author    = {Andrey Mokhov and
               Victor Khomenko and
               Alexandre Yakovlev},
  title     = {Flat Arbiters},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {99--108},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.7},
  doi       = {10.1109/ACSD.2009.7},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/MokhovKY09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MooijV09,
  author    = {Arjan J. Mooij and
               Marc Voorhoeve},
  title     = {Trading Off Concurrency to Generate Behavioral Adapters},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {109--118},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.13},
  doi       = {10.1109/ACSD.2009.13},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/MooijV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Potop-ButucaruSST09,
  author    = {Dumitru Potop{-}Butucaru and
               Robert de Simone and
               Yves Sorel and
               Jean{-}Pierre Talpin},
  title     = {From Concurrent Multi-clock Programs to Deterministic Asynchronous
               Implementations},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {42--51},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.23},
  doi       = {10.1109/ACSD.2009.23},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/Potop-ButucaruSST09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RacletBBCP09,
  author    = {Jean{-}Baptiste Raclet and
               {\'{E}}ric Badouel and
               Albert Benveniste and
               Beno{\^{\i}}t Caillaud and
               Roberto Passerone},
  title     = {Why Are Modalities Good for Interface Theories?},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {119--127},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.22},
  doi       = {10.1109/ACSD.2009.22},
  timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/RacletBBCP09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RaffelsieperRM09,
  author    = {Matthias Raffelsieper and
               Jan{-}Willem Roorda and
               Mohammad Reza Mousavi},
  title     = {Model Checking Verilog Descriptions of Cell Libraries},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {128--137},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.18},
  doi       = {10.1109/ACSD.2009.18},
  timestamp = {Sat, 11 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/RaffelsieperRM09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RakkayBR09,
  author    = {Hind Rakkay and
               Hanifa Boucheneb and
               Olivier H. Roux},
  title     = {Time Arc Petri Nets and Their Analysis},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {138--147},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.21},
  doi       = {10.1109/ACSD.2009.21},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/RakkayBR09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/RoopGSG09,
  author    = {Partha S. Roop and
               Alain Girault and
               Roopak Sinha and
               Gregor Goessler},
  title     = {Specification Enforcing Refinement for Convertibility Verification},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {148--157},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.25},
  doi       = {10.1109/ACSD.2009.25},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/acsd/RoopGSG09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchaferWW09,
  author    = {Mark Sch{\"{a}}fer and
               Dominic Wist and
               Ralf Wollowski},
  title     = {DESIJ--Enabling Decomposition-Based Synthesis of Complex Asynchronous
               Controllers},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {186--190},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.20},
  doi       = {10.1109/ACSD.2009.20},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/SchaferWW09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchellhornB09,
  author    = {Gerhard Schellhorn and
               Simon B{\"{a}}umler},
  title     = {Formal Verification of Lock-Free Algorithms},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {13--18},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.10},
  doi       = {10.1109/ACSD.2009.10},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/SchellhornB09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SiirtolaK09,
  author    = {Antti Siirtola and
               Juha Kortelainen},
  title     = {Parameterised Process Algebraic Verification by Precongruence Reduction},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {158--167},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.9},
  doi       = {10.1109/ACSD.2009.9},
  timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/SiirtolaK09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Watanabe09,
  author    = {Yosinori Watanabe},
  title     = {Examining Important Corner Cases: Verification of Interacting Architectural
               Components in System Designs},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {19},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.28},
  doi       = {10.1109/ACSD.2009.28},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/Watanabe09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WolfSOD09,
  author    = {Karsten Wolf and
               Christian Stahl and
               Janine Ott and
               Robert Danitz},
  title     = {Verifying Deadlock- and Livelock Freedom in an {SOA} Scenario},
  booktitle = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  pages     = {168--177},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://doi.org/10.1109/ACSD.2009.16},
  doi       = {10.1109/ACSD.2009.16},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/WolfSOD09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2009,
  title     = {Ninth International Conference on Application of Concurrency to System
               Design, {ACSD} 2009, Augsburg, Germany, 1-3 July 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5291028/proceeding},
  isbn      = {978-0-7695-3697-2},
  timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/2009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics