Search 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}
}

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.