https://www.mdu.se/

mdu.sePublications
System disruptions
We are currently experiencing disruptions on the search portals due to high traffic. We are working to resolve the issue, you may temporarily encounter an error message.
EnglishSvenskaNorsk
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Wang at MDU in a Nutshell
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.ORCID iD: 0000-0003-2855-9220
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2870-2680
2025 (English)In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science+Business Media B.V., 2025, Vol. 15230 LNCS, p. 8-11Chapter in book (Other academic)
Abstract [en]

In the labyrinthine world of real-time systems, few names resonate as powerfully as that of Prof. Wang Yi. As the co-inventor of the UPPAAL model checker, alongside Prof. Kim G. Larsen and Prof. Paul Pettersson, Wang has charted new territories in computer science, setting a benchmark that stands as a testament to excellence.
Place, publisher, year, edition, pages
Springer Science+Business Media B.V., 2025. Vol. 15230 LNCS, p. 8-11
Series
Lecture Notes in Computer Science, ISSN 03029743 ; 15230
Keywords [en]
Embedded systems, Interactive computer systems, Model checking, Lars-en, Model checker, Real - Time system, Real time systems
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-69842DOI: 10.1007/978-3-031-73751-0_2Scopus ID: 2-s2.0-85214351655OAI: oai:DiVA.org:mdh-69842DiVA, id: diva2:1930669
Available from: 2025-01-23 Created: 2025-01-23 Last updated: 2025-01-23Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Hansson, HansNorström, ChristerSeceleanu, Cristina

Search in DiVA

By author/editor
Hansson, HansNorström, ChristerSeceleanu, Cristina
By organisation
Embedded SystemsInnovation and Product Realisation
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 30 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
v. 2.45.0
|
WCAG
|
Mälardalen University Library
|
DiVA Log in