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    = {Sun, 06 Oct 2024 01:00:00 +0200},
  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}
}

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.