Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career /
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 Up...
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , , |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Edisyon: | 1st ed. 2025. |
| Seri Bilgileri: | Lecture Notes in Computer Science,
15230 |
| Konular: | |
| Online Erişim: | https://doi.org/10.1007/978-3-031-73751-0 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
İçindekiler:
- 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.