Real Time and Such

Essays Dedicated to Wang Yi to Celebrate His Scientific Career

AvSusanne Graf,Paul Pettersson

Häftad, Engelska, 2024

Del 15230 i serien Lecture Notes in Computer Science

604 kr

Beställningsvara. Skickas inom 7-10 vardagar. Fri frakt över 249 kr.

Beskrivning

This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods, real-time systems and scheduling, and multicore systems. Wang Yi received a PhD in Computer Science from Chalmers University of Technology in 1991, since 2000 he has been Chair in Embedded Systems at Uppsala University.

Produktinformation

Utgivningsdatum:2024-10-05
Mått:155 x 235 x 11 mm
Vikt:283 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:165
Förlag:Springer International Publishing AG
ISBN:9783031737503

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

All About Time.- Wang@MDU in a nutshell.- To Sifu - Supervision, Mentorship and Lifelong Bond.- Research in one Area Benefits Another.- Verifying PLC-Automata against Counterexample Formulas using Timed Automata.- Nudging Strategies for User Journeys: Take a Path on the Wild Side.- Adaptive Task Planning and Formal Control Synthesis using Temporal Logic Trees.- Trading Space for Simplicity in Stateless Model Checking.- Performance Analysis of Stochastic Digraph Real-Time Task Model.- A Closer Look at Pseudo-Polynomial Time and its Use in Real-Time Scheduling Theory.- Voting-Based Shortcuts through Random Forests for Obtaining Explainable Models.- Reminiscences of a Real-Time Researcher.