Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/acsd/acsd2006.bht:"
download as .bib file
@inproceedings{DBLP:conf/acsd/AltisenCT06,
author = {Karine Altisen and
Franck Cassez and
Stavros Tripakis},
title = {Monitoring and fault-diagnosis with digital clocks},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {101--110},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.10},
doi = {10.1109/ACSD.2006.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AltisenCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BauerSTW06,
author = {J{\"{o}}rg Bauer and
Ina Schaefer and
Tobe Toben and
Bernd Westphal},
title = {Specification and Verification of Dynamic Communication Systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {189--200},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.29},
doi = {10.1109/ACSD.2006.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BauerSTW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BhaduriR06,
author = {Purandar Bhaduri and
S. Ramesh},
title = {Synthesis of Synchronous Interfaces},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {208--216},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.32},
doi = {10.1109/ACSD.2006.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BhaduriR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BourouletKP06,
author = {Roland Bouroulet and
Hanna Klaudel and
Elisabeth Pelz},
title = {Modelling and verification of authentication using enhanced net semantics
of {SPL} (Security Protocol Language)},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {179--188},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.12},
doi = {10.1109/ACSD.2006.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BourouletKP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouyerRH06,
author = {Patricia Bouyer and
Pierre{-}Alain Reynier and
Serge Haddad},
title = {Extended Timed Automata and Time Petri Nets},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.6},
doi = {10.1109/ACSD.2006.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BouyerRH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Brown06,
author = {Geoffrey M. Brown},
title = {Verification of a Data Synchronization Circuit For All Time},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {217--228},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.35},
doi = {10.1109/ACSD.2006.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Brown06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CerottiDDS06,
author = {Davide Cerotti and
Davide D'Aprile and
Susanna Donatelli and
Jeremy Sproston},
title = {Verifying Stochastic Well-formed Nets with {CSL} Model-Checking Tools},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {143--152},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.36},
doi = {10.1109/ACSD.2006.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CerottiDDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/EsparzaJM06,
author = {Javier Esparza and
Petr Jancar and
Alexander Miller},
title = {On the Complexity of Consistency and Complete State Coding for Signal
Transition Graphs},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {47--56},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.17},
doi = {10.1109/ACSD.2006.17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/EsparzaJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GhamarianGSBTMMB06,
author = {Amir Hossein Ghamarian and
Marc Geilen and
Sander Stuijk and
Twan Basten and
Bart D. Theelen and
Mohammad Reza Mousavi and
A. J. M. Moonen and
Marco Bekooij},
title = {Throughput Analysis of Synchronous Data Flow Graphs},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {25--36},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.33},
doi = {10.1109/ACSD.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GhamarianGSBTMMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HadjidjB06,
author = {Rachid Hadjidj and
Hanifa Boucheneb},
title = {On-the-fly {TCTL} model checking for Time Petri Nets using state class
graphs},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {111--122},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.18},
doi = {10.1109/ACSD.2006.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HadjidjB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HalbwachsM06,
author = {Nicolas Halbwachs and
Louis Mandel},
title = {Simulation and Verification of Asynchronous Systems by means of a
Synchronous Model},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {3--14},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.24},
doi = {10.1109/ACSD.2006.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HalbwachsM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HamezHKLPRT06,
author = {Alexandre Hamez and
Lom Hillah and
Fabrice Kordon and
Alban Linard and
Emmanuel Paviot{-}Adet and
Xavier Renault and
Yann Thierry{-}Mieg},
title = {New features in {CPN-AMI} 3: focusing on the analysis of complex distributed
systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {273--275},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.15},
doi = {10.1109/ACSD.2006.15},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HamezHKLPRT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HansenK06,
author = {Henri Hansen and
Antti Kervinen},
title = {Minimal Counterexamples in O(n log n) Memory and O(n2) Time},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {133--142},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.11},
doi = {10.1109/ACSD.2006.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HansenK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HeeOPSW06,
author = {Kees M. van Hee and
Olivia Oanea and
Reinier Post and
Lou J. Somers and
Jan Martijn E. M. van der Werf},
title = {Yasper: a tool for workflow modeling and analysis},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {279--282},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.37},
doi = {10.1109/ACSD.2006.37},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/HeeOPSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Jantsch06,
author = {Axel Jantsch},
title = {Models of Computation for Networks on Chip},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {165--178},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.14},
doi = {10.1109/ACSD.2006.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Jantsch06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/JuhasLM06,
author = {Gabriel Juh{\'{a}}s and
Robert Lorenz and
Sebastian Mauser},
title = {Synchronous + Concurrent + Sequential = Earlier than + Not later than},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {261--272},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.31},
doi = {10.1109/ACSD.2006.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/JuhasLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KakitaWDDS06,
author = {Shinjiro Kakita and
Yosinori Watanabe and
Douglas Densmore and
Abhijit Davare and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Functional Model Exploration for Multimedia Applications via Algebraic
Operators},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {229--238},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.8},
doi = {10.1109/ACSD.2006.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KakitaWDDS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KhomenkoMY06,
author = {Victor Khomenko and
Agnes Madalinski and
Alexandre Yakovlev},
title = {Resolution of Encoding Conflicts by Signal Insertion and Concurrency
Reduction Based on {STG} Unfoldings},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {57--68},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.21},
doi = {10.1109/ACSD.2006.21},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KhomenkoMY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KloulF06,
author = {Le{\"{\i}}la Kloul and
Juliana K{\"{u}}ster Filipe},
title = {Modelling Mobility with {UML2.0} and {PEPA} Nets},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {153--164},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.13},
doi = {10.1109/ACSD.2006.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KloulF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KoutnyPP06,
author = {Maciej Koutny and
Giuseppe Pappalardo and
Marta Pietkiewicz{-}Koutny},
title = {Towards an Algebra of Abstractions for Communicating Processes},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {239--250},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.34},
doi = {10.1109/ACSD.2006.34},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KoutnyPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LiuKWSD06,
author = {Cong Liu and
Alex Kondratyev and
Yosinori Watanabe and
Alberto L. Sangiovanni{-}Vincentelli and
J{\"{o}}rg Desel},
title = {Schedulability Analysis of Petri Nets Based on Structural Properties},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {69--78},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.22},
doi = {10.1109/ACSD.2006.22},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LiuKWSD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SchaferVWK06,
author = {Mark Sch{\"{a}}fer and
Walter Vogler and
Ralf Wollowski and
Victor Khomenko},
title = {Strategies for Optimised {STG} Decomposition},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.30},
doi = {10.1109/ACSD.2006.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SchaferVWK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SeceleanuJ06,
author = {Tiberiu Seceleanu and
Axel Jantsch},
title = {Communicating with Synchronized Environments},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.3},
doi = {10.1109/ACSD.2006.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SeceleanuJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/StuijkGB06,
author = {Sander Stuijk and
Marc Geilen and
Twan Basten},
title = {SDF\({}^{\mbox{3}}\): {SDF} For Free},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {276--278},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.23},
doi = {10.1109/ACSD.2006.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/StuijkGB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/TugsinavisutSB06,
author = {Sunan Tugsinavisut and
Roger Su and
Peter A. Beerel},
title = {High-level Synthesis for Highly Concurrent Hardware Systems},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {79--90},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.9},
doi = {10.1109/ACSD.2006.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/TugsinavisutSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WangK06,
author = {Xu Wang and
Marta Z. Kwiatkowska},
title = {On process-algebraic verification of asynchronous circuits},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {37--46},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.16},
doi = {10.1109/ACSD.2006.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/WangK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WedigWLR06,
author = {Arnim Wedig and
Horst F. Wedde and
Anca M. Lazarescu and
Elisei Rotaru},
title = {Concurrency in Distributed Systems under Autonomous and Enforced Actions},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {251--260},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.4},
doi = {10.1109/ACSD.2006.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/WedigWLR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/XuSJ06,
author = {Jun Xu and
Reza Sotudeh and
Mark B. Josephs},
title = {Asynchronous Packet-Switching for Networks-on-Chip},
booktitle = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
pages = {201--207},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ACSD.2006.1},
doi = {10.1109/ACSD.2006.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/XuSJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2006,
title = {Sixth International Conference on Application of Concurrency to System
Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://ieeexplore.ieee.org/xpl/conhome/10919/proceeding},
isbn = {0-7695-2556-3},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-24 19:08 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
