Search dblp for Publications

export results for "toc:db/conf/acsd/acsd1998.bht:"

 download as .bib file

@inproceedings{DBLP:conf/acsd/Aalst98,
  author       = {Wil M. P. van der Aalst},
  title        = {Modeling and Analyzing Interorganizational Workflows},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {262--272},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657557},
  doi          = {10.1109/CSD.1998.657557},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Aalst98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BeauvaisHGRG98,
  author       = {Jean{-}Ren{\'{e}} Beauvais and
                  Roland Houdebine and
                  Paul {Le Guernic} and
                  {\'{E}}ric Rutten and
                  Thierry Gautier},
  title        = {A Translation of Statecharts into Signal Approach of Time, Interoperability},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {52--62},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657539},
  doi          = {10.1109/CSD.1998.657539},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BeauvaisHGRG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BilinskiD98,
  author       = {Krzysztof Bilinski and
                  Erik L. Dagless},
  title        = {Efficient Approach to Symbolic State Exploration of Complex Parallel
                  Controllers},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {132--142},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657546},
  doi          = {10.1109/CSD.1998.657546},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BilinskiD98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BowmanK98,
  author       = {Howard Bowman and
                  Joost{-}Pieter Katoen},
  title        = {A True Concurrency Semantics for {ET-LOTOS}},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {228--238},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657554},
  doi          = {10.1109/CSD.1998.657554},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BowmanK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/CeroneKM98,
  author       = {Antonio Cerone and
                  David A. Kearney and
                  George J. Milne},
  title        = {Integrating the Verification of Timing, Performance and Correctness
                  Properties of Concurrent Systems},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {109--119},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657544},
  doi          = {10.1109/CSD.1998.657544},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/CeroneKM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Cortadella98,
  author       = {Jordi Cortadella},
  title        = {Combining Structural and Symbolic Methods for the Verification of
                  Concurrent Systems},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {2--7},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657533},
  doi          = {10.1109/CSD.1998.657533},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Cortadella98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/DemartiniS98,
  author       = {Claudio Demartini and
                  Riccardo Sisto},
  title        = {A Java-based Formal Development Environment for Factory Communication
                  Systems},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {273--281},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657558},
  doi          = {10.1109/CSD.1998.657558},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/DemartiniS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/DeselK98,
  author       = {J{\"{o}}rg Desel and
                  Ekkart Kindler},
  title        = {Proving Correctness of Distributed Algorithms Using High-Level Petri
                  Nets - {A} Case Study},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {177--186},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657550},
  doi          = {10.1109/CSD.1998.657550},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/DeselK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/DevillersK98,
  author       = {Raymond R. Devillers and
                  Maciej Koutny},
  title        = {Recursive Nets in the Box Algebra},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {239--249},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657555},
  doi          = {10.1109/CSD.1998.657555},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/DevillersK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/GoncharovSSK98,
  author       = {Michael V. Goncharov and
                  Alexander B. Smirnov and
                  Nikolai Starodoubtsev and
                  Ilya V. Klotchkov},
  title        = {Timing Extensions of {STG} Model and a Method to Simulate Timed {STG}
                  Behavior in {VHDL} Environment},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {120--129},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657545},
  doi          = {10.1109/CSD.1998.657545},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/GoncharovSSK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/GrosuSB98,
  author       = {Radu Grosu and
                  Gheorghe Stefanescu and
                  Manfred Broy},
  title        = {Visual Formalisms Revisited},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {41--51},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657538},
  doi          = {10.1109/CSD.1998.657538},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/GrosuSB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/HuberMSSV98,
  author       = {Franz Huber and
                  Sascha Molterer and
                  Bernhard Sch{\"{a}}tz and
                  Oscar Slotosch and
                  Alexander Vilbig},
  title        = {Traffic Lights - An AutoFocus Case Study},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {282--294},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657559},
  doi          = {10.1109/CSD.1998.657559},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HuberMSSV98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Hung98,
  author       = {Dang Van Hung},
  title        = {Modeling and Verification of Biphase Mark Protocolsin Duration Calculus
                  Using {PVS}},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {88--98},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657542},
  doi          = {10.1109/CSD.1998.657542},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Hung98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/KondratyevCKLTY98,
  author       = {Alex Kondratyev and
                  Jordi Cortadella and
                  Michael Kishinevsky and
                  Luciano Lavagno and
                  Alexander Taubin and
                  Alexandre Yakovlev},
  title        = {Identifying State Coding Conflicts in Asynchronous System Specifications
                  Using Petri Net Unfoldings},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {152--163},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657548},
  doi          = {10.1109/CSD.1998.657548},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/KondratyevCKLTY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/KumarP98,
  author       = {Jainendra Kumar and
                  Carl Pixley},
  title        = {Logic and Functional Verification in a Commercial Semiconductor Environment},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {8--15},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657534},
  doi          = {10.1109/CSD.1998.657534},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/KumarP98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Lavagno98,
  author       = {Luciano Lavagno},
  title        = {System-Level Design Models and Implementation Techniques},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {24--32},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657536},
  doi          = {10.1109/CSD.1998.657536},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Lavagno98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/LeeL98,
  author       = {Bilung Lee and
                  Edward A. Lee},
  title        = {Hierarchical Concurrent Finite State Machines in Ptolemy},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {34--40},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657537},
  doi          = {10.1109/CSD.1998.657537},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/LeeL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/MiyamotoK98,
  author       = {Toshiyuki Miyamoto and
                  Sadatoshi Kumagai},
  title        = {Calculating Place Capacity for Petri Nets Using Unfoldings},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {143--151},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657547},
  doi          = {10.1109/CSD.1998.657547},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/MiyamotoK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/MohalikR98,
  author       = {Swarup Mohalik and
                  Ramaswamy Ramanujam},
  title        = {A Presentation of Regular Languages in the Assumption - Commitment
                  Framework},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {250--260},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657556},
  doi          = {10.1109/CSD.1998.657556},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/MohalikR98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/NakamuraY98,
  author       = {Kazuhiro Nakamura and
                  Satoshi Yamane},
  title        = {Formal Verification of Real-Time Software by Symbolic Model-Checker},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {99--108},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657543},
  doi          = {10.1109/CSD.1998.657543},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/NakamuraY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Negulescu98,
  author       = {Radu Negulescu},
  title        = {Event-Driven Verification of Switch-Level Correctness Concerns},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {213--223},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657553},
  doi          = {10.1109/CSD.1998.657553},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Negulescu98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/SerugendoG98,
  author       = {Giovanna Di Marzo Serugendo and
                  Nicolas Guelfi},
  title        = {Using Object-Oriented Algebraic Nets for the Reverse Engineering of
                  Java Programs: {A} Case Study},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {166--176},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657549},
  doi          = {10.1109/CSD.1998.657549},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/SerugendoG98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Uchihira98,
  author       = {Naoshi Uchihira},
  title        = {How to Make Concurrent Programs Highly Reliable- More than State Space
                  Analysis},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {16--23},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657535},
  doi          = {10.1109/CSD.1998.657535},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Uchihira98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/ValmariK98,
  author       = {Antti Valmari and
                  Ilkka Kokkarinen},
  title        = {Unbounded Verification Results by Finite-State Compositional Techniques:
                  10\({}^{\mbox{any}}\) States and Beyond},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {75--85},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657541},
  doi          = {10.1109/CSD.1998.657541},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/ValmariK98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/VelevB98,
  author       = {Miroslav N. Velev and
                  Randal E. Bryant},
  title        = {Verification of Pipelined Microprocessors by Correspondence Checking
                  in Symbolic Ternary Simulation},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {200--212},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657552},
  doi          = {10.1109/CSD.1998.657552},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/VelevB98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Volzer98,
  author       = {Hagen V{\"{o}}lzer},
  title        = {Verifying Fault Tolerance of Distributed Algorithms Formally - An
                  Example},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {187--197},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657551},
  doi          = {10.1109/CSD.1998.657551},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Volzer98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/YonedaOS98,
  author       = {Tomohiro Yoneda and
                  Yutaka Ohtsuka and
                  M{\"{a}}rt Saarepera},
  title        = {Verification of Parameterized Asynchronous Circuits: {A} Case Study},
  booktitle    = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  pages        = {64--74},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/CSD.1998.657540},
  doi          = {10.1109/CSD.1998.657540},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/YonedaOS98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/acsd/1998,
  title        = {1st International Conference on Application of Concurrency to System
                  Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5285/proceeding},
  isbn         = {0-8186-8350-3},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/1998.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.