Wang Yi
Orcid: 0000-0002-2994-6110Affiliations:
- Uppsala University, Sweden
According to our database1,
Wang Yi
authored at least 236 papers
between 1988 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024
J. Syst. Archit., 2024
Timing Analysis of Cause-Effect Chains for External Events with Finite Validity Intervals.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024
2023
J. Syst. Archit., December, 2023
Design and Blocking Analysis of Locking Protocols for Real-Time DAG Tasks Under Federated Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2023
IEEE Trans. Parallel Distributed Syst., 2023
IEEE Trans. Computers, 2023
A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling.
IEEE Trans. Computers, 2023
J. Syst. Archit., 2023
J. Syst. Archit., 2023
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Optimizing End-to-End Latency of Sporadic Cause-Effect Chains Using Priority Inheritance.
Proceedings of the IEEE Real-Time Systems Symposium, 2023
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Response Time Analysis and Optimization of DAG Tasks Exploiting Mutually Exclusive Execution.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023
Proceedings of the Theories of Programming and Formal Methods, 2023
2022
Real-Time Scheduling of Parallel Task Graphs With Critical Sections Across Different Vertices.
IEEE Trans. Parallel Distributed Syst., 2022
IEEE Trans. Consumer Electron., 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
Automatic Speech Recognition Performance Improvement for Mandarin Based on Optimizing Gain Control Strategy.
Sensors, 2022
Real-Time Scheduling and Analysis of Processing Chains on Multi-threaded Executor in ROS 2.
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the 24th IEEE Int Conf on High Performance Computing & Communications; 8th Int Conf on Data Science & Systems; 20th Int Conf on Smart City; 8th Int Conf on Dependability in Sensor, 2022
Counting Priority Inversions: Computing Maximum Additional Core Requests of DAG Tasks.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the Coordination Models and Languages, 2022
Proceedings of the Handbook of Real-Time Computing, 2022
2021
IEEE Trans. Parallel Distributed Syst., 2021
IEEE Trans. Ind. Informatics, 2021
ACM Trans. Embed. Comput. Syst., 2021
IEEE Trans. Computers, 2021
J. Syst. Archit., 2021
J. Circuits Syst. Comput., 2021
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021
Timing-Anomaly Free Dynamic Scheduling of Periodic DAG Tasks with Non-Preemptive Nodes.
Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Model Checking, Synthesis, and Learning, 2021
Proceedings of the Model Checking, Synthesis, and Learning, 2021
2020
Capacity Augmentation Function for Real-Time Parallel Tasks With Constrained Deadlines Under GEDF Scheduling.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
IEEE Trans. Computers, 2020
J. Syst. Archit., 2020
J. Syst. Archit., 2020
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling.
CoRR, 2020
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area.
IEEE Access, 2020
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020
On the Volume Calculation for Conditional DAG Tasks: Hardness and Algorithms<sup>*</sup>.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
J. Syst. Archit., 2019
J. Syst. Archit., 2019
Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision.
Clust. Comput., 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
Evaluating Audio System Dynamic Range Performance under Variable Distortion Condition.
Proceedings of the 12th International Symposium on Computational Intelligence and Design, 2019
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
A Capacity Augmentation Bound for Real-Time Constrained-Deadline Parallel Tasks Under GEDF.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018
IEEE Trans. Computers, 2018
IEEE Trans. Computers, 2018
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2018
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018
2017
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017
Proceedings of the Formal Methods and Software Engineering, 2017
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems.
Proceedings of the Models, Algorithms, Logics and Tools, 2017
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017
2016
ACM Trans. Embed. Comput. Syst., 2016
Real Time Syst., 2016
Leibniz Trans. Embed. Syst., 2016
J. Syst. Archit., 2016
Neurocomputing, 2016
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016
2015
IEEE Trans. Ind. Electron., 2015
Real Time Syst., 2015
J. Log. Algebraic Methods Program., 2015
Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks.
IEEE Intell. Syst., 2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Uniprocessor Feasibility of Sporadic Tasks Remains coNP-Complete under Bounded Utilization.
Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015
Bounding Carry-in Interference to Improve Fixed-Priority Global Multiprocessor Scheduling Analysis.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015
Proceedings of the 2015 IEEE International Conference on Robotics and Biomimetics, 2015
Uniprocessor Feasibility of Sporadic Tasks with Constrained Deadlines Is Strongly coNP-Complete.
Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
2014
ACM Trans. Embed. Comput. Syst., 2014
Bounding and shaping the demand of generalized mixed-criticality sporadic task systems.
Real Time Syst., 2014
Proc. VLDB Endow., 2014
Int. J. Distributed Sens. Networks, 2014
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Dynamic budgeting for settling DRAM contention of co-running hard and soft real-time tasks.
Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
Improving the response time analysis of global fixed-priority multiprocessor scheduling.
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
Pervasive eating habits monitoring and recognition through a wearable acoustic sensor.
Proceedings of the 8th International Conference on Pervasive Computing Technologies for Healthcare, 2014
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
2013
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Finitary Real-Time Calculus: Efficient Performance Analysis of Distributed Embedded Systems.
Proceedings of the IEEE 34th Real-Time Systems Symposium, 2013
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 8th International Conference on Body Area Networks, 2013
Proceedings of the Communicating Embedded Systems, 2013
2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
Outstanding Paper Award: Bounding and Shaping the Demand of Mixed-Criticality Sporadic Tasks.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012
2011
J. Syst. Archit., 2011
Proceedings of the Industrial Embedded Systems (SIES), 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Effective and Efficient Scheduling of Certifiable Mixed-Criticality Sporadic Task Systems.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011
Research on the Information Integration of China's Basic Industries Trademark Information Service.
Proceedings of the ICEIS 2011, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Frontiers Comput. Sci. China, 2010
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
2009
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Proceedings of the Joint Proceedings of the 8th, 2009
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
Applying SLEUTH for Simulating and Assessing Urban Growth Scenarios on a Case Study of Beijing.
Proceedings of the First IITA International Joint Conference on Artificial Intelligence, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009
2008
ACM Trans. Embed. Comput. Syst., 2008
New Schedulability Test Conditions for Non-preemptive Scheduling on Multiprocessor Platforms.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008
2007
Proceedings of the Foundations of Software Science and Computational Structures, 2007
Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
Theor. Comput. Sci., 2006
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
ACM Trans. Embed. Comput. Syst., 2005
Guest Editors' Foreword.
Nord. J. Comput., 2005
Formal Aspects Comput., 2005
2004
A Generic Approach to Schedulability Analysis of Real-Time Tasks.
Nord. J. Comput., 2004
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004
2003
Int. J. Softw. Tools Technol. Transf., 2003
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real Time Syst., 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Model Checking Software, 2003
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2003
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003
Proceedings of the Lectures on Concurrency and Petri Nets, 2003
2002
Theor. Comput. Sci., 2002
Code Synthesis for Timed Automata.
Nord. J. Comput., 2002
J. Log. Algebraic Methods Program., 2002
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002
Proceedings of the Fundamental Approaches to Software Engineering, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
ACM SIGOPS Oper. Syst. Rev., 2001
Proceedings of the 40th IEEE Conference on Decision and Control, 2001
Proceedings of the Handbook of Process Algebra, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Verifying temporal constraints on data in multi-rate transactions using timed automata.
Proceedings of the 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 2000
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000
1999
Clock Difference Diagrams.
Nord. J. Comput., 1999
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999
1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Inf. Comput., 1997
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997
Efficient verification of real-time systems: compact data structure and state-space reduction.
Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995
Proceedings of the Proceedings, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the Hybrid Systems III: Verification and Control, 1995
Proceedings of the Fundamentals of Computation Theory, 10th International Symposium, 1995
1994
Algebraic Reasoning for Real-Time Probabilistic Processes with Uncertain Information.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994
Decidability of Timed Language-Inclusion for Networks of Real-Time Communicating Sequential Processes.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1994
Automatic verification of real-time communicating systems by constraint-solving.
Proceedings of the Formal Description Techniques VII, 1994
1993
Proceedings of the Mathematical Foundations of Programming Semantics, 1993
1992
Testing Probabilistic and Nondeterministic Processes.
Proceedings of the Protocol Specification, 1992
1991
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991
1990
1988
Specifying Processes in Terms of Their Environments.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988