Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/acsd/AdriansyahSD11,
  author       = {Arya Adriansyah and
                  Natalia Sidorova and
                  Boudewijn F. van Dongen},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Cost-Based Fitness in Conformance Checking},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {57--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.19},
  doi          = {10.1109/ACSD.2011.19},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AdriansyahSD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/AlekseyevKMWY11,
  author       = {Arseniy Alekseyev and
                  Victor Khomenko and
                  Andrey Mokhov and
                  Dominic Wist and
                  Alex Yakovlev},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Improved Parallel Composition of Labelled Petri Nets},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {131--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.11},
  doi          = {10.1109/ACSD.2011.11},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AlekseyevKMWY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/AvellanedaM11,
  author       = {Florent Avellaneda and
                  R{\'{e}}mi Morin},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Checking Non-divergence, Channel-Bound and Global Cooperation Using
                  SAT-Solvers},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {19--28},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.31},
  doi          = {10.1109/ACSD.2011.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AvellanedaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BaiBS11,
  author       = {Yu Bai and
                  Jens Brandt and
                  Klaus Schneider},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Data-Flow Analysis of Extended Finite State Machines},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {163--172},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.22},
  doi          = {10.1109/ACSD.2011.22},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BaiBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BalaguerCH11,
  author       = {Sandie Balaguer and
                  Thomas Chatain and
                  Stefan Haar},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Building Tight Occurrence Nets from Reveals Relations},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {44--53},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.16},
  doi          = {10.1109/ACSD.2011.16},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BalaguerCH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BoulangerHJM11,
  author       = {Fr{\'{e}}d{\'{e}}ric Boulanger and
                  C{\'{e}}cile Hardebolle and
                  Christophe Jacquet and
                  Dominique Marcadet},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Semantic Adaptation for Models of Computation},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {153--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.17},
  doi          = {10.1109/ACSD.2011.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BoulangerHJM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Cassez11,
  author       = {Franck Cassez},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Timed Games for Computing {WCET} for Pipelined Processors with Caches},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {195--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.15},
  doi          = {10.1109/ACSD.2011.15},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Cassez11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11,
  author       = {Pepijn Crouzen and
                  Ernst Moritz Hahn and
                  Holger Hermanns and
                  Abhishek Dhama and
                  Oliver E. Theel and
                  Ralf Wimmer and
                  Bettina Braitling and
                  Bernd Becker},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Bounded Fairness for Probabilistic Distributed Algorithms},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {89--97},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.21},
  doi          = {10.1109/ACSD.2011.21},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/DelahayeKLLPSW11,
  author       = {Beno{\^{\i}}t Delahaye and
                  Joost{-}Pieter Katoen and
                  Kim G. Larsen and
                  Axel Legay and
                  Mikkel L. Pedersen and
                  Falak Sher and
                  Andrzej Wasowski},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {New Results on Abstract Probabilistic Automata},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {118--127},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.10},
  doi          = {10.1109/ACSD.2011.10},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/DelahayeKLLPSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/EsparzaZN11,
  author       = {Luz Judith R. Esparza and
                  Kebin Zeng and
                  Bo Friis Nielsen},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {A Probabilistic Model of the {LMAC} Protocol for Concurrent Wireless
                  Sensor Networks},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {98--107},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.20},
  doi          = {10.1109/ACSD.2011.20},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/EsparzaZN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/HansenW11,
  author       = {Henri Hansen and
                  Xu Wang},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Compositional Analysis for Weak Stubborn Sets},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {36--43},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.25},
  doi          = {10.1109/ACSD.2011.25},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HansenW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/KindermannJN11,
  author       = {Roland Kindermann and
                  Tommi A. Junttila and
                  Ilkka Niemel{\"{a}}},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Modeling for Symbolic Analysis of Safety Instrumented Systems with
                  Clocks},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {185--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.29},
  doi          = {10.1109/ACSD.2011.29},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/KindermannJN11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/KirschLMS11,
  author       = {Christoph M. Kirsch and
                  Lu{\'{\i}}s M. B. Lopes and
                  Eduardo R. B. Marques and
                  Ana Sokolova},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Runtime Programming through Model-Preserving, Scalable Runtime Patches},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {77--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.28},
  doi          = {10.1109/ACSD.2011.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/KirschLMS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/MalikGS11,
  author       = {Avinash Malik and
                  Alain Girault and
                  Zoran Salcic},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {A {GALS} Language for Dynamic Distributed and Reactive Programs},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {173--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.30},
  doi          = {10.1109/ACSD.2011.30},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/MalikGS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Markovski11,
  author       = {Jasen Markovski},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Towards Supervisory Control of Interactive Markov Chains: Controllability},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {108--117},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.18},
  doi          = {10.1109/ACSD.2011.18},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Markovski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Siirtola11,
  author       = {Antti Siirtola},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Bounds: From Parameterised to Finite-State Verification},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {31--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.24},
  doi          = {10.1109/ACSD.2011.24},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Siirtola11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/SrokaCH11,
  author       = {Jacek Sroka and
                  Piotr Chrzastowski{-}Wachtel and
                  Jan Hidders},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {On Generating *-Sound Nets with Substitution},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {3--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.26},
  doi          = {10.1109/ACSD.2011.26},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/SrokaCH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/TrckaVB11,
  author       = {Nikola Trcka and
                  Marc Voorhoeve and
                  Twan Basten},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Parameterized Partial Orders for Modeling Embedded System Use Cases:
                  Formal Definition and Translation to Coloured Petri Nets},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {13--18},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.14},
  doi          = {10.1109/ACSD.2011.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/TrckaVB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/WistVW11,
  author       = {Dominic Wist and
                  Walter Vogler and
                  Ralf Wollowski},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {{STG} Decomposition: Partitioning Heuristics},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {141--150},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.23},
  doi          = {10.1109/ACSD.2011.23},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/WistVW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/ZhouMY11,
  author       = {Yu Zhou and
                  Terrence S. T. Mak and
                  Alex Yakovlev},
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting
                  Systems},
  booktitle    = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  pages        = {67--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ACSD.2011.27},
  doi          = {10.1109/ACSD.2011.27},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/ZhouMY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/acsd/2011,
  editor       = {Beno{\^{\i}}t Caillaud and
                  Josep Carmona and
                  Kunihiko Hiraishi},
  title        = {11th International Conference on Application of Concurrency to System
                  Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5986770/proceeding},
  isbn         = {978-0-7695-4387-1},
  timestamp    = {Thu, 09 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.