| | |
Uppsala University
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 110 |       | Reinhard Wilhelm, Heiko Falk, Wang Yi: SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2012, LCTES '12, Beijing, China - June 12 - 13, 2012 ACM 2012 |
| 109 | | Pontus Ekberg, Wang Yi: Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks. ECRTS 2012: 135-144 |
| 108 | | Martin Stigge, Wang Yi: Hardness Results for Static Priority Real-Time Scheduling. ECRTS 2012: 189-198 |
| 107 | | Nan Guan, Mingsong Lv, Wang Yi, Ge Yu: WCET Analysis with MRU Caches: Challenging LRU for Predictability. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 55-64 |
| 106 | | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi: McAiT - A Timing Analyzer for Multicore Real-Time Software. ATVA 2011: 414-417 |
| 105 | | Fanxin Kong, Wang Yi, Qingxu Deng: Energy-efficient scheduling of real-time tasks on cluster-based multicores. DATE 2011: 1135-1140 |
| 104 | | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: On the Tractability of Digraph-Based Task Models. ECRTS 2011: 162-171 |
| 103 | | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi: Resource Sharing Protocols for Real-Time Task Graph Systems. ECRTS 2011: 272-281 |
| 102 |  | Xiaoquan Gong, Zhenji Zhang, Jinsong Pei, Wang Yi: Research on the Information Integration of China's Basic Industries Trademark Information Service. ICEIS (1) 2011: 495-503 |
| 101 | | Martin Stigge, Pontus Ekberg, Nan Guan, Wang Yi: The Digraph Real-Time Task Model. IEEE Real-Time and Embedded Technology and Applications Symposium 2011: 71-80 |
| 100 | | Yi Zhang, Nan Guan, Wang Yi: Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling. PPES 2011: 42-46 |
| 99 | | Xi Jin, Nan Guan, Qingxu Deng, Wang Yi: Memory Access Aware Mapping for Networks-on-Chip. RTCSA (1) 2011: 339-348 |
| 98 | | Nan Guan, Pontus Ekberg, Martin Stigge, Wang Yi: Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems. RTSS 2011: 13-23 |
| 97 | | Fanxin Kong, Nan Guan, Qingxu Deng, Wang Yi: Energy-efficient scheduling for parallel real-time tasks based on level-packing. SAC 2011: 635-640 |
| 96 | | Yi Zhang, Nan Guan, Yanbin Xiao, Wang Yi: Implementation and empirical comparison of partitioning-based multi-core scheduling. SIES 2011: 248-255 |
| 95 | | Nan Guan, Wang Yi, Qingxu Deng, Zonghua Gu, Ge Yu: Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling. Journal of Systems Architecture - Embedded Systems Design 57(5): 536-546 (2011) |
| 94 | | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Developing UPPAAL over 15 years. Softw., Pract. Exper. 41(2): 133-142 (2011) |
| 93 | | Karl Henrik Johansson, Wang Yi: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010 ACM 2010 |
| 92 | | Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi: Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes. ECRTS 2010: 113-122 |
| 91 | | Wang Yi: Multicore Embedded Systems: The Timing Problem and Possible Solutions. ICFEM 2010: 22-23 |
| 90 | | Nan Guan, Martin Stigge, Wang Yi, Ge Yu: Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound. IEEE Real-Time and Embedded Technology and Applications Symposium 2010: 165-174 |
| 89 | | Mingsong Lv, Wang Yi, Nan Guan, Ge Yu: Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. RTSS 2010: 339-349 |
| 88 | | Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010) |
| 87 | | Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi: Static worst-case execution time analysis of the µC/OS-II real-time kernel. Frontiers of Computer Science in China 4(1): 17-27 (2010) |
| 86 | | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Semantics of Timed Automata Logical Methods in Computer Science 6(3): (2010) |
| 85 | | Nan Guan, Zonghua Gu, Wang Yi, Ge Yu: Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. ASP-DAC 2009: 715-720 |
| 84 | | Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi: WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) 2009: 270-276 |
| 83 | | Nan Guan, Martin Stigge, Wang Yi, Ge Yu: Cache-aware scheduling and analysis for multicores. EMSOFT 2009: 245-254 |
| 82 | | Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, Wang Yi: Modeling and Analysis of Thread-Pools in an Industrial Communication Platform. ICFEM 2009: 367-386 |
| 81 | | Nan Guan, Martin Stigge, Wang Yi, Ge Yu: New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. IEEE Real-Time Systems Symposium 2009: 387-397 |
| 80 | | Wang Yi: Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing. JCAI 2009: 215-218 |
| 79 | | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Universality of R-automata with Value Copying. Electr. Notes Theor. Comput. Sci. 239: 131-141 (2009) |
| 78 | | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: R-Automata. CONCUR 2008: 67-81 |
| 77 | | Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi: Cyclic dependencies in modular performance analysis. EMSOFT 2008: 179-188 |
| 76 | | Simon Tschirner, Liang Xuedong, Wang Yi: Model-based validation of QoS properties of biomedical sensor networks. EMSOFT 2008: 69-78 |
| 75 | | Nan Guan, Wang Yi, Zonghua Gu, Qingxu Deng, Ge Yu: New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms. IEEE Real-Time Systems Symposium 2008: 137-146 |
| 74 | | Soonhoi Ha, Kiyoung Choi, Taewhan Kim, Krisztián Flautner, Sang Lyul Min, Wang Yi: Introduction to embedded systems week 2006 special issue. ACM Trans. Embedded Comput. Syst. 7(2): (2008) |
| 73 | | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Automata Patterns. IEEE Trans. Software Eng. 34(6): 844-859 (2008) |
| 72 | | Pavel Krcál, Martin Stigge, Wang Yi: Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times. FORMATS 2007: 274-289 |
| 71 | | Parosh Aziz Abdulla, Pavel Krcál, Wang Yi: Sampled Universality of Timed Automata. FoSSaCS 2007: 2-16 |
| 70 | | Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi: Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007) |
| 69 | | Sang Lyul Min, Wang Yi: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea ACM 2006 |
| 68 | | Pavel Krcál, Wang Yi: Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. CAV 2006: 249-262 |
| 67 | | Geguang Pu, Chong Zhang, Zongyan Qiu, Jifeng He, Wang Yi: Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning. ICECCS 2006: 131-138 |
| 66 | | Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks: UPPAAL 4.0. QEST 2006: 125-126 |
| 65 | | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006) |
| 64 | | Paul Pettersson, Wang Yi: Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings Springer 2005 |
| 63 | | Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi: Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005) |
| 62 | | Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi: Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17(4): 443-460 (2005) |
| 61 | | Paul Pettersson, Wang Yi: Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005) |
| 60 | | Pavel Krcál, Leonid Mokrushin, P. S. Thiagarajan, Wang Yi: Timed vs. Time-Triggered Automata. CONCUR 2004: 340-354 |
| 59 | | Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi: Timed Patterns: TCOZ to Timed Automata. ICFEM 2004: 483-498 |
| 58 | | Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi: An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. IFM 2004: 363-381 |
| 57 | | Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan Qiu, Jifeng He, Wang Yi: An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model. SEFM 2004: 376-385 |
| 56 | | Pavel Krcál, Wang Yi: Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. TACAS 2004: 236-250 |
| 55 | | Elena Fersman, Wang Yi: A Generic Approach to Schedulability Analysis of Real-Time Tasks. Nord. J. Comput. 11(2): 129-147 (2004) |
| 54 | | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72 |
| 53 | | Johan Bengtsson, Wang Yi: On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata. ICFEM 2003: 491-503 |
| 52 | | Johan Bengtsson, Wang Yi: Timed Automata: Semantics, Algorithms and Tools. Lectures on Concurrency and Petri Nets 2003: 87-124 |
| 51 | | Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi: Unification & Sharing in Timed Automata Verification. SPIN 2003: 225-229 |
| 50 | | Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239 |
| 49 | | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real-Time Systems 25(2-3): 255-275 (2003) |
| 48 | | Tiziana Margaria, Wang Yi: Introductory paper: scalability aspects of validation. STTT 5(1): 1-3 (2003) |
| 47 | | Alexandre 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 |
| 46 | | Alexandre David, M. Oliver Möller, Wang Yi: Formal Verification of UML Statecharts with Real-Time Extensions. FASE 2002: 218-232 |
| 45 | | Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 |
| 44 | | Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi: TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464 |
| 43 | | Elena Fersman, Paul Pettersson, Wang Yi: Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82 |
| 42 | | Huimin Lin, Wang Yi: Axiomatising timed automata. Acta Inf. 38(4): 277-305 (2002) |
| 41 | | Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebr. Program. 52-53: 163-181 (2002) |
| 40 | | Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi: Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002) |
| 39 | | Bengt Jonsson, Wang Yi: Testing preorders for probabilistic processes can be characterized by simulations. Theor. Comput. Sci. 282(1): 33-51 (2002) |
| 38 | | Tiziana Margaria, Wang Yi: Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001 |
| 37 | | Gu Dawu, Wang Yi: On the Techniques of Enhancing the Security of Block Ciphers. Operating Systems Review 35(4): 94-96 (2001) |
| 36 | | Magnus Lindahl, Paul Pettersson, Wang Yi: Formal design and analysis of a gear controller. STTT 3(3): 353-368 (2001) |
| 35 | | Alexandre David, Wang Yi: Modelling and analysis of a commercial field bus protocol. ECRTS 2000: 165-172 |
| 34 | | Huimin Lin, Wang Yi: A Complete Axiomatisation for Timed Automata. FSTTCS 2000: 277-289 |
| 33 | | Huimin Lin, Wang Yi: A Proof System for Timed Automata. FoSSaCS 2000: 208-222 |
| 32 | | Tobias Amnell, Alexandre David, Wang Yi: A Real-Time Animator for Hybrid Systems. LCTES 2000: 134-145 |
| 31 | | Tobias 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 |
| 30 | | Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi: Verifying temporal constraints on data in multi-rate transactions using timed automata. RTCSA 2000: 263-270 |
| 29 | | Fredrik Larsson, Paul Pettersson, Wang Yi: On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141 |
| 28 | | Bengt Jonsson, Wang Yi: Fully Abstract Characterization of Probabilistic May Testing. ARTS 1999: 1-18 |
| 27 | | Gerd Behrmann, Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Efficient Timed Reachability Analysis Using Clock Difference Diagrams. CAV 1999: 341-353 |
| 26 | | Christer Norström, Anders Wall, Wang Yi: Timed Automata as Task Models for Event-Driven Systems. RTCSA 1999: 182-189 |
| 25 | | Kim Guldstrand Larsen, Justin Pearson, Carsten Weise, Wang Yi: Clock Difference Diagrams. Nord. J. Comput. 6(3): 271-298 (1999) |
| 24 | | Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi: Partial Order Reductions for Timed Systems. CONCUR 1998: 485-500 |
| 23 | | Magnus Lindahl, Paul Pettersson, Wang Yi: Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297 |
| 22 | | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL: Status & Developments. CAV 1997: 456-459 |
| 21 | | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Efficient verification of real-time systems: compact data structure and state-space reduction. IEEE Real-Time Systems Symposium 1997: 14-24 |
| 20 | | Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579 |
| 19 | | Kim Guldstrand Larsen, Wang Yi: Time-abstracted Bisimulation: Implicit Specifications and Decidability. Inf. Comput. 134(2): 75-101 (1997) |
| 18 | | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: UPPAAL in a Nutshell. STTT 1(1-2): 134-152 (1997) |
| 17 | | Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256 |
| 16 | | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL in 1995. TACAS 1996: 431-434 |
| 15 | | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Model-Checking for Real-Time Systems. FCT 1995: 62-88 |
| 14 | | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi: UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243 |
| 13 | | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586 |
| 12 | | Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Compositional and Symbolic Model-Checking of Real-Time Systems. IEEE Real-Time Systems Symposium 1995: 76-87 |
| 11 | | Bengt Jonsson, Wang Yi: Compositional Testing Preorders for Probabilistic Processes LICS 1995: 431-441 |
| 10 | | Wang Yi, Paul Pettersson, Mats Daniels: Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 |
| 9 | | Wang Yi, Bengt Jonsson: Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes. FSTTCS 1994: 243-255 |
| 8 | | Bengt Jonsson, Chris Ho-Stuart, Wang Yi: Testing and Refinement for Nondeterministic and Probabilistic Processes. FTRTFT 1994: 418-430 |
| 7 | | Wang Yi: Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information. FTRTFT 1994: 680-693 |
| 6 | | Kim Guldstrand Larsen, Wang Yi: Time Abstracted Bisimiulation: Implicit Specifications and Decidability. MFPS 1993: 160-176 |
| 5 | | Wang Yi, Kim Guldstrand Larsen: Testing Probabilistic and Nondeterministic Processes. PSTV 1992: 47-61 |
| 4 | | Uno Holmer, Kim Guldstrand Larsen, Wang Yi: Deciding Properties of Regular Real Time Processes. CAV 1991: 443-453 |
| 3 | | Wang Yi: CCS + Time = An Interleaving Model for Real Time Systems. ICALP 1991: 217-228 |
| 2 | | Wang Yi: Real-Time Behaviour of Asynchronous Agents. CONCUR 1990: 502-520 |
| 1 | | Wang Yi: Specifying Processes in Terms of Their Environments. Specification and Verification of Concurrent Systems 1988: 276-293 |
Selection of 110 from 110 records - Wang Yi has 117 coauthors
Last update 2012-09-10 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page