dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Wang Yi (Selection)

Uppsala University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2): 133-142 (2011)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: A Tool Architecture for the Next Generation of Uppaal. 10th Anniversary Colloquium of UNU/IIST 2002: 352-366
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexandre David, Wang Yi: Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi: UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124

Selection of 9 from 110 records - Wang Yi has 117 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page