Search dblp for Publications

• > Home > Search

@inproceedings{DBLP:conf/ictac/DongFKL13,
  author       = {Ruzhen Dong and
                  Johannes Faber and
                  Wei Ke and
                  Zhiming Liu},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {rCOS: Defining Meanings of Component-Based Software Architectures},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {1--66},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_1},
  doi          = {10.1007/978-3-642-39721-9\_1},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/DongFKL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/FahrenbergLL13,
  author       = {Uli Fahrenberg and
                  Kim G. Larsen and
                  Axel Legay},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Model-Based Verification, Optimization, Synthesis and Performance
                  Evaluation of Real-Time Systems},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {67--108},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_2},
  doi          = {10.1007/978-3-642-39721-9\_2},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/FahrenbergLL13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/FosterW13,
  author       = {Simon Foster and
                  Jim Woodcock},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Unifying Theories of Programming in Isabelle},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {109--155},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_3},
  doi          = {10.1007/978-3-642-39721-9\_3},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/FosterW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/JacksonS13,
  author       = {Ethan K. Jackson and
                  Wolfram Schulte},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {{FORMULA} 2.0: {A} Language for Formal Specifications},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {156--206},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_4},
  doi          = {10.1007/978-3-642-39721-9\_4},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/JacksonS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictac/ZhanWZ13,
  author       = {Naijun Zhan and
                  Shuling Wang and
                  Hengjun Zhao},
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Formal Modelling, Analysis and Verification of Hybrid Systems},
  booktitle    = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  pages        = {207--281},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9\_5},
  doi          = {10.1007/978-3-642-39721-9\_5},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/ZhanWZ13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/ictac/2013s,
  editor       = {Zhiming Liu and
                  Jim Woodcock and
                  Huibiao Zhu},
  title        = {Unifying Theories of Programming and Formal Engineering Methods -
                  International Training School on Software Engineering, Held at {ICTAC}
                  2013, Shanghai, China, August 26-30, 2013, Advanced Lectures},
  series       = {Lecture Notes in Computer Science},
  volume       = {8050},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39721-9},
  doi          = {10.1007/978-3-642-39721-9},
  isbn         = {978-3-642-39720-2},
  timestamp    = {Fri, 17 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/2013s.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}