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/acsd2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/acsd/AalstG07,
author = {Wil M. P. van der Aalst and
Christian W. G{\"{u}}nther},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Finding Structure in Unstructured Processes: The Case for Process
Mining},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {3--12},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.50},
doi = {10.1109/ACSD.2007.50},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/AalstG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BaarirD07,
author = {Souheib Baarir and
Alexandre Duret{-}Lutz},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Emptiness Check of Powerset Buchi Automata using Inclusion Tests},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {41--50},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.49},
doi = {10.1109/ACSD.2007.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BaarirD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BealYM07,
author = {Fr{\'{e}}d{\'{e}}ric B{\'{e}}al and
Tomohiro Yoneda and
Chris J. Myers},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Hazard Checking of Timed Asynchronous Circuits Revisited},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {51--60},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.52},
doi = {10.1109/ACSD.2007.52},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BealYM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BouchenebR07,
author = {Hanifa Boucheneb and
Hind Rakkay},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {A more efficient time Petri net state space abstraction preserving
linear properties},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {61--70},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.41},
doi = {10.1109/ACSD.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BouchenebR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BowlesB07,
author = {Juliana K{\"{u}}ster Filipe Bowles and
Behzad Bordbar},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {A Formal Model for Integrating Multiple Views},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {71--79},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.39},
doi = {10.1109/ACSD.2007.39},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BowlesB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BraunsteinE07,
author = {C{\'{e}}cile Braunstein and
Emmanuelle Encrenaz},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Using {CTL} formulae as component abstraction in a design and verification
flow},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {80--89},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.76},
doi = {10.1109/ACSD.2007.76},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BraunsteinE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BudinskaOGLSBFFMH07,
author = {Ivana Budinska and
Viktor Oravec and
Emil Gatial and
Michal Laclavik and
Martin Seleng and
Zolt{\'{a}}n Balogh and
Baltaz{\'{a}}r Frankovic and
Radoslav Forg{\'{a}}c and
Igor Mokris and
Ladislav Hluch{\'{y}}},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {{RAPORT} - a knowledge support system for administrative workflow
processes},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {211--215},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.60},
doi = {10.1109/ACSD.2007.60},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/BudinskaOGLSBFFMH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/BujorianuB07,
author = {Marius C. Bujorianu and
Manuela{-}Luminita Bujorianu},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Towards Hilbertian Formal Methods},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {240--241},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.75},
doi = {10.1109/ACSD.2007.75},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/BujorianuB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CassezTA07,
author = {Franck Cassez and
Stavros Tripakis and
Karine Altisen},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sensor Minimization Problems with Static or Dynamic Observers for
Fault Diagnosis},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {90--99},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.65},
doi = {10.1109/ACSD.2007.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CassezTA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ChenXSY07,
author = {Yuan Chen and
Fei Xia and
Delong Shang and
Alexandre Yakovlev},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {The Design of Virtual Self-timed Block for Activity Communication
in {SOC}},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {100--109},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.74},
doi = {10.1109/ACSD.2007.74},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ChenXSY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/CraigZ07,
author = {Donald C. Craig and
Wlodek M. Zuberek},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Multicomponent Compatibility and its Verification},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {233--235},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.56},
doi = {10.1109/ACSD.2007.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/CraigZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Darondeau07,
author = {Philippe Darondeau},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Synthesis and Control of Asynchronous and Distributed Systems},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.71},
doi = {10.1109/ACSD.2007.71},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Darondeau07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/DevillersKK07,
author = {Raymond R. Devillers and
Hanna Klaudel and
Maciej Koutny},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Modelling Mobility in High-level Petri Nets},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.55},
doi = {10.1109/ACSD.2007.55},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/DevillersKK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Drozda07,
author = {Martin Drozda},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sensor and Ad HocWireless Networks},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {223--230},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.64},
doi = {10.1109/ACSD.2007.64},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Drozda07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HojjatSMG07,
author = {Hossein Hojjat and
Marjan Sirjani and
Mohammad Reza Mousavi and
Jan Friso Groote},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Sarir: {A} Rebeca to mCRL2 Translator},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {216--222},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.62},
doi = {10.1109/ACSD.2007.62},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HojjatSMG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/HuangVGBC07,
author = {Jinfeng Huang and
Jeroen Voeten and
Marcel A. Groothuis and
Jan F. Broenink and
Henk Corporaal},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {A model-driven design approach for mechatronic systems},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {127--136},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.40},
doi = {10.1109/ACSD.2007.40},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/HuangVGBC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Kapoor07,
author = {Hemangee K. Kapoor},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Modelling Latency-Insensitive Systems in {CSP}},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {231--232},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.54},
doi = {10.1109/ACSD.2007.54},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Kapoor07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Khomenko07,
author = {Victor Khomenko},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Efficient Automatic Resolution of Encoding Conflicts Using {STG} Unfoldings},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {137--146},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.48},
doi = {10.1109/ACSD.2007.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Khomenko07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/KhomenkoSV07,
author = {Victor Khomenko and
Mark Sch{\"{a}}fer and
Walter Vogler},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Output-Determinacy and Asynchronous Circuit Synthesis},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {147--156},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.57},
doi = {10.1109/ACSD.2007.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/KhomenkoSV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LorenzBDM07,
author = {Robert Lorenz and
Robin Bergenthum and
J{\"{o}}rg Desel and
Sebastian Mauser},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Synthesis of Petri Nets from Finite Partial Languages},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.72},
doi = {10.1109/ACSD.2007.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LorenzBDM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LorenzMB07,
author = {Robert Lorenz and
Sebastian Mauser and
Robin Bergenthum},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Testing the executability of scenarios in general inhibitor nets},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.73},
doi = {10.1109/ACSD.2007.73},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/LorenzMB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MarkovskiV07,
author = {Jasen Markovski and
Erik P. de Vink},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Real-Time Process Algebra with Stochastic Delays},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {177--186},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.61},
doi = {10.1109/ACSD.2007.61},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MarkovskiV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/NazariT07,
author = {Siamak Nazari and
John G. Thistle},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Structural Conditions for Model-checking of Parameterized Networks},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {187--196},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2007.70},
doi = {10.1109/ACSD.2007.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/NazariT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/Nikhil07,
author = {Rishiyur S. Nikhil},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Composable Guarded Atomic Actions: a Bridging Model for SoC Design},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {23--28},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.47},
doi = {10.1109/ACSD.2007.47},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/Nikhil07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PenczekS07,
author = {Wojciech Penczek and
Maciej Szreter},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {SAT-based Unbounded Model Checking of Timed Automata},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {236--237},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.63},
doi = {10.1109/ACSD.2007.63},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PenczekS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/SokolovPY07,
author = {Danil Sokolov and
Ivan Poliakov and
Alexandre Yakovlev},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Asynchronous Data Path Models},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {197--210},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.45},
doi = {10.1109/ACSD.2007.45},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/SokolovPY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/ThieleBHH07,
author = {Lothar Thiele and
Iuliana Bacivarov and
Wolfgang Haid and
Kai Huang},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Mapping Applications to Tiled Multiprocessor Embedded Systems},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {29--40},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.53},
doi = {10.1109/ACSD.2007.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/ThieleBHH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/WuZ07,
author = {Jinzhao Wu and
Lin Zhao},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {An Algebraic Approach to Multi-Valued Model Checking},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {238--239},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.44},
doi = {10.1109/ACSD.2007.44},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/WuZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/YuLS07,
author = {Guan Yu and
Gauthier Lafruit and
Peter Schelkens},
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Platform-scalable Task Partition and Multilevel Buffering in Multi-processor
Plessey Corner Detector},
booktitle = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
pages = {120--126},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ACSD.2007.58},
doi = {10.1109/ACSD.2007.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/YuLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2007,
editor = {Twan Basten and
Gabriel Juh{\'{a}}s and
Sandeep K. Shukla},
title = {Seventh International Conference on Application of Concurrency to
System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://ieeexplore.ieee.org/xpl/conhome/4276249/proceeding},
isbn = {978-0-7695-2902-8},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2007.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-05-29 18:51 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:
