Wang Yi

Orcid: 0000-0002-2994-6110

Affiliations:
  • Uppsala University, Sweden


According to our database1, Wang Yi authored at least 236 papers between 1988 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
RTeX: An Efficient and Timing-Predictable Multithreaded Executor for ROS 2.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., September, 2024

Timing analysis of processing chains with data refreshing in ROS 2.
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

Control Flow Divergence Optimization by Exploiting Tensor Cores.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

2023
A GPU-accelerated real-time human voice separation framework for mobile phones.
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

Scheduling Parallel Real-Time Tasks on Virtual Processors.
IEEE Trans. Parallel Distributed Syst., 2023

Comparing Communication Paradigms in Cause-Effect Chains.
IEEE Trans. Computers, 2023

A Unified Blocking Analysis for Parallel Tasks With Spin Locks Under Global Fixed Priority Scheduling.
IEEE Trans. Computers, 2023

Efficient CUDA stream management for multi-DNN real-time inference on embedded GPUs.
J. Syst. Archit., 2023

Anomaly detection based on multi-teacher knowledge distillation.
J. Syst. Archit., 2023

Modeling and Analysis of Inter-Process Communication Delay in ROS 2.
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

Real-Time Performance Analysis of Processing Systems on ROS 2 Executors.
Proceedings of the 29th IEEE Real-Time and Embedded Technology and Applications Symposium, 2023

Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Analysis and Optimization of Worst-Case Time Disparity in Cause-Effect Chains.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Reaction Time Analysis of Event-Triggered Processing Chains with Data Refreshing.
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

Characterizations of Parallel Real-Time Workloads.
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

Optimized Volume Control Architecture for Cascaded Audio System.
IEEE Trans. Consumer Electron., 2022

Toward the Predictability of Dynamic Real-Time DNN Inference.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Response-Time Analysis of Limited-Preemptive Sporadic DAG Tasks.
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

VoiceBit: GPU-Accelerated Real-Time Human Voice Separation for Mobile Phones.
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

Scheduling and analysis of real-time tasks with parallel critical sections.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems.
Proceedings of the Coordination Models and Languages, 2022

Real-Time Task Models.
Proceedings of the Handbook of Real-Time Computing, 2022

Complexity of Uniprocessor Scheduling Analysis.
Proceedings of the Handbook of Real-Time Computing, 2022

2021
Partitioning-Based Scheduling of OpenMP Task Systems With Tied Tasks.
IEEE Trans. Parallel Distributed Syst., 2021

Efficient and Effective Dimension Control in Automotive Applications.
IEEE Trans. Ind. Informatics, 2021

Schedulability Analysis for Timed Automata With Tasks.
ACM Trans. Embed. Comput. Syst., 2021

On the Analysis of Parallel Real-Time Tasks With Spin Locks.
IEEE Trans. Computers, 2021

Scheduling and analysis of real-time task graph models with nested locks.
J. Syst. Archit., 2021

Flexible Mixed-Criticality Scheduling with Dynamic Slack Management.
J. Circuits Syst. Comput., 2021

Virtually-Federated Scheduling of Parallel Real-Time Tasks.
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

Response Time Analysis of Lazy Round Robin.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Model Checking, Synthesis, and Learning.
Proceedings of the Model Checking, Synthesis, and Learning, 2021

Cause-Effect Reaction Latency in Real-Time Systems.
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

Real-Time Scheduling and Analysis of OpenMP DAG Tasks Supporting Nested Parallelism.
IEEE Trans. Computers, 2020

Efficient drone hijacking detection using two-step GA-XGBoost.
J. Syst. Archit., 2020

Fault-tolerant real-time tasks scheduling with dynamic fault handling.
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

Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks.
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

On Computing Exact WCRT for DAG Tasks†.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit.
ACM Trans. Embed. Comput. Syst., 2019

Leaking your engine speed by spectrum analysis of real-Time scheduling sequences.
J. Syst. Archit., 2019

Scope-aware data cache analysis for OpenMP programs on multi-core processors.
J. Syst. Archit., 2019

Depth from defocus (DFD) based on VFISTA optimization algorithm in micro/nanometer vision.
Clust. Comput., 2019

Design and Dynamic Update of Real-Time Systems.
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

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Worst-Case Cause-Effect Reaction Latency in Systems with Non-Blocking Communication.
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

Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks.
IEEE Trans. Computers, 2018

Utilization-Based Scheduling of Flexible Mixed-Criticality Real-Time Tasks.
IEEE Trans. Computers, 2018

On the Consensus Mechanisms of Blockchain/DLT for Internet of Things.
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

Model Checking Bounded Continuous-time Extended Linear Duration Invariants.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

2017
Synthesis of ada code from graph-based task models.
Proceedings of the Symposium on Applied Computing, 2017

Revisiting GPC and AND Connector in Real-Time Calculus.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard.
Proceedings of the 2017 IEEE Real-Time Systems Symposium, 2017

Benchmarking OpenMP programs for real-time scheduling.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Generalized finitary real-time calculus.
Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Towards Customizable CPS: Composability, Efficiency and Predictability.
Proceedings of the Formal Methods and Software Engineering, 2017

Refinement of Workload Models for Engine Controllers by State Space Partitioning.
Proceedings of the 29th Euromicro Conference on Real-Time Systems, 2017

Efficient drone hijacking detection using onboard motion sensors.
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

An Executable Semantics for Synchronous Task Graphs: From SDRT to Ada.
Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016
Feasibility of Fork-Join Real-Time Task Graph Models: Hardness and Algorithms.
ACM Trans. Embed. Comput. Syst., 2016

Schedulability analysis of a graph-based task model for mixed-criticality systems.
Real Time Syst., 2016

A Survey on Static Cache Analysis for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2016

Start time configuration for strictly periodic real-time task systems.
J. Syst. Archit., 2016

Dynamic blind source separation based on source-direction prediction.
Neurocomputing, 2016

EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees.
Proceedings of the 2016 IEEE Real-Time Systems Symposium, 2016

On Fixed-Priority Schedulability Analysis of Sporadic Tasks with Self-Suspension.
Proceedings of the 24th International Conference on Real-Time Networks and Systems, 2016

Transforming Real-Time Task Graphs to Improve Schedulability.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Speed planning for solar-powered electric vehicles.
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

Schedulability Analysis of Synchronous Digraph Real-Time Tasks.
Proceedings of the 28th Euromicro Conference on Real-Time Systems, 2016

Improving performance by monitoring while maintaining worst-case guarantees.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Characterization of Simulation by Probabilistic Testing.
Proceedings of the Theory and Practice of Formal Methods, 2016

Modeling and Analysis of Data Flow Graphs Using the Digraph Real-Time Task Model.
Proceedings of the Reliable Software Technologies - Ada-Europe 2016, 2016

2015
Efficient Shape Reconstruction of Microlens Using Optical Microscopy.
IEEE Trans. Ind. Electron., 2015

Combinatorial abstraction refinement for feasibility analysis of static priorities.
Real Time Syst., 2015

Graph-based models for real-time workload: a survey.
Real Time Syst., 2015

An optimal resource sharing protocol for generalized multiframe tasks.
J. Log. Algebraic Methods Program., 2015

Noninvasive and Continuous Blood Pressure Monitoring Using Wearable Body Sensor Networks.
IEEE Intell. Syst., 2015

Scalable Timing Analysis with Refinement.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Modular Performance Analysis of Energy-Harvesting Real-Time Networked Systems.
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

The automatic detection and analysis of electrocardiogram based on Lorenz Plot.
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

Delay analysis of structural real-time workload.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

2014
WCET analysis with MRU cache: Challenging LRU for predictability.
ACM Trans. Embed. Comput. Syst., 2014

Building timing predictable embedded systems.
ACM Trans. Embed. Comput. Syst., 2014

Bounding and shaping the demand of generalized mixed-criticality sporadic task systems.
Real Time Syst., 2014

Processing Moving kNN Queries Using Influential Neighbor Sets.
Proc. VLDB Endow., 2014

Maximizing Lifetime of Three-Dimensional Corona-Based Wireless Sensor Networks.
Int. J. Distributed Sens. Networks, 2014

Horn Clauses for Communicating Timed Systems.
Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

On the analysis of EDF-VD scheduled mixed-criticality real-time systems.
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

Approximate Response Time Analysis of Real-Time Task Graphs.
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

Performance isolation for real-time systems with Xen hypervisor on multi-cores.
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

Understanding the Dynamic Caches on Intel Processors: Methods and Applications.
Proceedings of the 12th IEEE International Conference on Embedded and Ubiquitous Computing, 2014

Refinement-Based Exact Response-Time Analysis.
Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

General and efficient Response Time Analysis for EDF scheduling.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Partitioned mixed-criticality scheduling on multiprocessor platforms.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

An Intelligent Hearing Aid System Based on Real-Time Signal Processing.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

2013
The fork-join real-time task model.
SIGBED Rev., 2013

Combinatorial Abstraction Refinement for Feasibility Analysis.
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

Improving OCBP-based scheduling for mixed-criticality sporadic task systems.
Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

FIFO cache analysis for WCET estimation: a quantitative approach.
Proceedings of the Design, Automation and Test in Europe, 2013

Proper Running Posture Guide: A Wearable Biomechanics Capture System.
Proceedings of the 8th International Conference on Body Area Networks, 2013


2012
WCET Analysis with MRU Caches: Challenging LRU for Predictability.
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

Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Hardness Results for Static Priority Real-Time Scheduling.
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
Developing UPPAAL over 15 years.
Softw. Pract. Exp., 2011

Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling.
J. Syst. Archit., 2011

Implementation and empirical comparison of partitioning-based multi-core scheduling.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Energy-efficient scheduling for parallel real-time tasks based on level-packing.
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

Memory Access Aware Mapping for Networks-on-Chip.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

The Digraph Real-Time Task Model.
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

On the Tractability of Digraph-Based Task Models.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Resource Sharing Protocols for Real-Time Task Graph Systems.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems, 2011

Towards the Implementation and Evaluation of Semi-Partitioned Multi-Core Scheduling.
Proceedings of the Bringing Theory to Practice: Predictability and Performance in Embedded Systems, 2011

Energy-efficient scheduling of real-time tasks on cluster-based multicores.
Proceedings of the Design, Automation and Test in Europe, 2011

McAiT - A Timing Analyzer for Multicore Real-Time Software.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2010
Static worst-case execution time analysis of the <i>µ</i>C/OS-II real-time kernel.
Frontiers Comput. Sci. China, 2010

Sampled Semantics of Timed Automata
Log. Methods Comput. Sci., 2010

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

Fixed-Priority Multiprocessor Scheduling with Liu and Layland's Utilization Bound.
Proceedings of the 16th IEEE Real-Time and Embedded Technology and Applications Symposium, 2010

Multicore Embedded Systems: The Timing Problem and Possible Solutions.
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
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009

Universality of R-automata with Value Copying.
Proceedings of the Joint Proceedings of the 8th, 2009

New Response Time Bounds for Fixed Priority Multiprocessor Scheduling.
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

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform.
Proceedings of the Formal Methods and Software Engineering, 2009

Cache-aware scheduling and analysis for multicores.
Proceedings of the 9th ACM & IEEE International conference on Embedded software, 2009

WCET Analysis of the mC/OS-II Real-Time Kernel.
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
Timed Automata Patterns.
IEEE Trans. Software Eng., 2008

Introduction to embedded systems week 2006 special issue.
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

Model-based validation of QoS properties of biomedical sensor networks.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

Cyclic dependencies in modular performance analysis.
Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

R-Automata.
Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007
Task automata: Schedulability, decidability and undecidability.
Inf. Comput., 2007

Sampled Universality of Timed Automata.
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
Schedulability analysis of fixed-priority systems using timed automata.
Theor. Comput. Sci., 2006

UPPAAL 4.0.
Proceedings of the Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 2006

Integrating Timed Automata into Tabu Algorithm for HW-SW Partitioning.
Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

Communicating Timed Automata: The More Synchronous, the More Difficult to Verify.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005
Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embed. Comput. Syst., 2005

Guest Editors' Foreword.
Nord. J. Comput., 2005

Exploring optimal solution to hardware/software partitioning for synchronous model.
Formal Aspects Comput., 2005

2004
A Generic Approach to Schedulability Analysis of Real-Time Tasks.
Nord. J. Comput., 2004

Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model.
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model.
Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Timed Patterns: TCOZ to Timed Automata.
Proceedings of the Formal Methods and Software Engineering, 2004

Timed vs. Time-Triggered Automata.
Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003
Introductory paper: scalability aspects of validation.
Int. J. Softw. Tools Technol. Transf., 2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real Time Syst., 2003

Schedulability Analysis Using Two Clocks.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Unification & Sharing in Timed Automata Verification.
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

TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Timed Automata: Semantics, Algorithms and Tools.
Proceedings of the Lectures on Concurrency and Petri Nets, 2003

2002
Testing preorders for probabilistic processes can be characterized by simulations.
Theor. Comput. Sci., 2002

Code Synthesis for Timed Automata.
Nord. J. Comput., 2002

Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebraic Methods Program., 2002

Axiomatising timed automata.
Acta Informatica, 2002

A Tool Architecture for the Next Generation of Uppaal.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

Timed Automata with Asynchronous Processes: Schedulability and Decidability.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

TIMES - A Tool for Modelling and Implementation of Embedded Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

UPPAAL Implementation Secrets.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2002

Formal Verification of UML Statecharts with Real-Time Extensions.
Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001
Formal design and analysis of a gear controller.
Int. J. Softw. Tools Technol. Transf., 2001

On the Techniques of Enhancing the Security of Block Ciphers.
ACM SIGOPS Oper. Syst. Rev., 2001

UPPAAL - present and future.
Proceedings of the 40th IEEE Conference on Decision and Control, 2001

Probabilistic Extensions of Process Algebras.
Proceedings of the Handbook of Process Algebra, 2001

2000
On Memory-Block Traversal Problems in Model-Checking Timed-Systems.
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

UPPAAL - Now, Next, and Future.
Proceedings of the Modeling and Verification of Parallel Processes, 4th Summer School, 2000

A Real-Time Animator for Hybrid Systems.
Proceedings of the Languages, 2000

A Complete Axiomatisation for Timed Automata.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

A Proof System for Timed Automata.
Proceedings of the Foundations of Software Science and Computation Structures, 2000

Modelling and analysis of a commercial field bus protocol.
Proceedings of the 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 2000

1999
Clock Difference Diagrams.
Nord. J. Comput., 1999

Timed Automata as Task Models for Event-Driven Systems.
Proceedings of the 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), 1999

Efficient Timed Reachability Analysis Using Clock Difference Diagrams.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

Fully Abstract Characterization of Probabilistic May Testing.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999

1998
Partial Order Reductions for Timed Systems.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
UPPAAL in a Nutshell.
Int. J. Softw. Tools Technol. Transf., 1997

Time-abstracted Bisimulation: Implicit Specifications and Decidability.
Inf. Comput., 1997

A Compositional Proof of a Real-Time Mutual Exclusion Protocol.
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

UPPAAL: Status & Developments.
Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996
UPPAAL in 1995.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Verification of an Audio Protocol with Bus Collision Using UPPAAL.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Compositional and Symbolic Model-Checking of Real-Time Systems.
Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Compositional Testing Preorders for Probabilistic Processes
Proceedings of the Proceedings, 1995

Diagnostic Model-Checking for Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Proceedings of the Hybrid Systems III: Verification and Control, 1995

Model-Checking for Real-Time Systems.
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

Testing and Refinement for Nondeterministic and Probabilistic Processes.
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
Time Abstracted Bisimiulation: Implicit Specifications and Decidability.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
Testing Probabilistic and Nondeterministic Processes.
Proceedings of the Protocol Specification, 1992

1991
CCS + Time = An Interleaving Model for Real Time Systems.
Proceedings of the Automata, Languages and Programming, 18th International Colloquium, 1991

Deciding Properties of Regular Real Time Processes.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990
Real-Time Behaviour of Asynchronous Agents.
Proceedings of the CONCUR '90, 1990

1988
Specifying Processes in Terms of Their Environments.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988


  Loading...