Search dblp for Publications

export results for "toc:db/conf/iceccs/iceccs2006.bht:"

 download as .bib file

@inproceedings{DBLP:conf/iceccs/BelliniBN06,
  author       = {Pierfrancesco Bellini and
                  Ivan Bruno and
                  Paolo Nesi},
  title        = {A {GRID} based Framework and tools for automating production of cross
                  media content},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {236--248},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.79},
  doi          = {10.1109/ICECCS.2006.79},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BelliniBN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/BestaS06,
  author       = {Milos Besta and
                  Frank A. Stomp},
  title        = {An Assertional Correctness Proof of a Self-Stabilizing - Exclusion
                  Algorithm},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {199--208},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.49},
  doi          = {10.1109/ICECCS.2006.49},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/BestaS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/CakicP06,
  author       = {Jovan Cakic and
                  Richard F. Paige},
  title        = {Origins of the Grid Architectural Style},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {227--235},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.67},
  doi          = {10.1109/ICECCS.2006.67},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/CakicP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/CavalcantiC06,
  author       = {Ana Cavalcanti and
                  Phil Clayton},
  title        = {Verification of Control Systems using Circus},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {269--278},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.72},
  doi          = {10.1109/ICECCS.2006.72},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/CavalcantiC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ChenLN06,
  author       = {Yuting Chen and
                  Shaoying Liu and
                  Fumiko Nagoya},
  title        = {A Tool-Supported Review Approach to Detecting Structural Consistency
                  Violations},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {121--130},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.46},
  doi          = {10.1109/ICECCS.2006.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ChenLN06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/DaviesWCC06,
  author       = {Jim Davies and
                  James Welch and
                  Alessandra Cavarra and
                  Edward Crichton},
  title        = {On the Generation of Object Databases using Booster},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {249--258},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.65},
  doi          = {10.1109/ICECCS.2006.65},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/DaviesWCC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/DeharbeGM06,
  author       = {David D{\'{e}}harbe and
                  Bruno Emerson Gurgel Gomes and
                  Anamaria Martins Moreira},
  title        = {Automation of Java Card component development using the {B} method},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {259--268},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.51},
  doi          = {10.1109/ICECCS.2006.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/DeharbeGM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Fiadeiro06,
  author       = {Jos{\'{e}} Luiz Fiadeiro},
  title        = {Physiological vs. Social Complexity in Software Design},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {3},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.68},
  doi          = {10.1109/ICECCS.2006.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Fiadeiro06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/HayesRHP06,
  author       = {Jane Huffman Hayes and
                  Inies C. M. Raphael and
                  Elizabeth Ashlee Holbrook and
                  David M. Pruett},
  title        = {A Case History of International Space Station Requirement Faul},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {17--26},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.77},
  doi          = {10.1109/ICECCS.2006.77},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/HayesRHP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/KimL06,
  author       = {Dae{-}Kyoo Kim and
                  Lunjin Lu},
  title        = {Inference of Design Pattern Instances in {UML} models via Logic Programming},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {47--56},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.58},
  doi          = {10.1109/ICECCS.2006.58},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/KimL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Klemm06,
  author       = {Reinhard Klemm},
  title        = {Efficient Dynamic Multikeys in Enterprise JavaBeans},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {7--16},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.54},
  doi          = {10.1109/ICECCS.2006.54},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Klemm06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LarssonL06,
  author       = {Magnus E. Larsson and
                  Phillip A. Laplante},
  title        = {On the Complexity of Design in Imaging Software},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {37--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.64},
  doi          = {10.1109/ICECCS.2006.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LarssonL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Li06,
  author       = {Xiaoshan Li},
  title        = {A Characterization of {UML} Diagrams and their Consistency},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {67--76},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.78},
  doi          = {10.1109/ICECCS.2006.78},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Li06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LiangDSDS06,
  author       = {Hui Liang and
                  Jin Song Dong and
                  Jing Sun and
                  Roger Duke and
                  Rudolph E. Seviora},
  title        = {Formal Specification-based Online Monitoring},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {152--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.56},
  doi          = {10.1109/ICECCS.2006.56},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LiangDSDS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Liao06,
  author       = {Duoduo Liao},
  title        = {A Real-time High-fidelity Driving Simulator System Based on {PC} Clusters},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {209--216},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.45},
  doi          = {10.1109/ICECCS.2006.45},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Liao06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/LiuH06,
  author       = {Jing Liu and
                  Jifeng He},
  title        = {Reactive Component based Service-Oriented Design - {A} Case Study},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {27--36},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.70},
  doi          = {10.1109/ICECCS.2006.70},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/LiuH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/MargariaKNS06,
  author       = {Tiziana Margaria and
                  Christian Kubczak and
                  Marc Njoku and
                  Bernhard Steffen},
  title        = {Model-based Design of Distributed Collaborative Bioinformatics Processes
                  in the jABC},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {169--176},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.61},
  doi          = {10.1109/ICECCS.2006.61},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/MargariaKNS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/NikolaidouTADA06,
  author       = {Mara Nikolaidou and
                  Anargyros Tsadimas and
                  Nancy Alexopoulou and
                  Alexandros Dais and
                  Dimosthenis Anagnostopoulos},
  title        = {A {UML} Profile utilizing Enterprise Information System Configuration},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {77--88},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.48},
  doi          = {10.1109/ICECCS.2006.48},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/NikolaidouTADA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/PauliX06,
  author       = {Joshua J. Pauli and
                  Dianxiang Xu},
  title        = {Integrating Functional and Security Requirements with Use Case Decomposition},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {57--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.59},
  doi          = {10.1109/ICECCS.2006.59},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/PauliX06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Provan06,
  author       = {Gregory M. Provan},
  title        = {Multi-Level Modeling and Distributed Agent-Based Inference: the Role
                  of System Structure},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {217--226},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.63},
  doi          = {10.1109/ICECCS.2006.63},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Provan06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/PuZQHY06,
  author       = {Geguang Pu and
                  Chong Zhang and
                  Zongyan Qiu and
                  Jifeng He and
                  Wang Yi},
  title        = {Integrating Timed Automata into Tabu Algorithm for {HW-SW} Partitioning},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {131--138},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.60},
  doi          = {10.1109/ICECCS.2006.60},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/PuZQHY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/SchneiderTCW06,
  author       = {Steve A. Schneider and
                  Helen Treharne and
                  Ana Cavalcanti and
                  Jim Woodcock},
  title        = {A Layered Behavioural Model of Platelets},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {98--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.80},
  doi          = {10.1109/ICECCS.2006.80},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/SchneiderTCW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Schneidewind06,
  author       = {Norman F. Schneidewind},
  title        = {Reliability - Security Model},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {279--288},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.71},
  doi          = {10.1109/ICECCS.2006.71},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Schneidewind06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/StepneyPT06,
  author       = {Susan Stepney and
                  Fiona Polack and
                  Heather R. Turner},
  title        = {Engineering Emergence},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {89--97},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.55},
  doi          = {10.1109/ICECCS.2006.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/StepneyPT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/SterrittH06,
  author       = {Roy Sterritt and
                  Michael G. Hinchey},
  title        = {Biologically-Inspired Concepts for Self-Management of Complexity},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {163--168},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.52},
  doi          = {10.1109/ICECCS.2006.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/SterrittH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/Walshe06,
  author       = {Ray Walshe},
  title        = {Modelling Bacterial Growth Patterns in the presence of Antibiotic},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {177--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.62},
  doi          = {10.1109/ICECCS.2006.62},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/Walshe06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/WelchBP06,
  author       = {Peter H. Welch and
                  Fred R. M. Barnes and
                  Fiona Polack},
  title        = {Communicating Complex Systems},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {107--120},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.53},
  doi          = {10.1109/ICECCS.2006.53},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/WelchBP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ZhaoZLQ06,
  author       = {Liang Zhao and
                  Xiangpeng Zhao and
                  Quan Long and
                  Zongyan Qiu},
  title        = {A Type System for the Relational Calculus of Object Systems},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {189--198},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.47},
  doi          = {10.1109/ICECCS.2006.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ZhaoZLQ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iceccs/ZhuHB06,
  author       = {Huibiao Zhu and
                  Jifeng He and
                  Jonathan P. Bowen},
  title        = {From Algebraic Semantics to Denotational Semantics for Verilog},
  booktitle    = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  pages        = {139--151},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.57},
  doi          = {10.1109/ICECCS.2006.57},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iceccs/ZhuHB06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iceccs/2006,
  title        = {11th International Conference on Engineering of Complex Computer Systems
                  {(ICECCS} 2006), 15-17 August 2006, Stanford, California, {USA}},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/11122/proceeding},
  isbn         = {0-7695-2530-X},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceccs/2006.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.