Остановите войну!
for scientists:
default search action
Ulrik Nyman
- > Home > Persons > Ulrik Nyman
Publications
- 2023
- [i2]Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber, Ulrik Nyman, Andrzej Wasowski:
Timed I/O Automata: It is never too late to complete your timed specification theory. CoRR abs/2302.04529 (2023) - 2017
- [c24]Kim G. Larsen, Axel Legay, Marius Mikucionis, Brian Nielsen, Ulrik Nyman:
Compositional Testing of Real-Time Systems. ModelEd, TestEd, TrustEd 2017: 107-124 - [c23]Peter Gjøl Jensen, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman:
Integrating Tools: Co-simulation in UPPAAL Using FMI-FMU. ICECCS 2017: 11-19 - 2016
- [j8]Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Abdeldjalil Boudjadar, Ulrik Nyman, Kim G. Larsen, Insup Lee, Jin-Young Choi:
Optimizing the resource requirements of hierarchical scheduling systems. SIGBED Rev. 13(3): 41-48 (2016) - 2015
- [j6]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski:
Real-time specifications. Int. J. Softw. Tools Technol. Transf. 17(1): 17-45 (2015) - 2014
- [j5]Sebastian S. Bauer, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A modal specification theory for components with data. Sci. Comput. Program. 83: 106-128 (2014) - 2013
- [e1]Kim G. Larsen, Axel Legay, Ulrik Nyman:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents] - 2012
- [j4]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Mikael H. Møller, Ulrik Nyman, Anders P. Ravn, Arne Skou, Andrzej Wasowski:
Compositional verification of real-time systems using Ecdar. Int. J. Softw. Tools Technol. Transf. 14(6): 703-720 (2012) - [c12]Sebastian S. Bauer, Alexandre David, Rolf Hennicker, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Moving from Specifications to Contracts in Component-Based Design. FASE 2012: 43-58 - 2011
- [c11]Sebastian S. Bauer, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
A Modal Specification Theory for Components with Data. FACS 2011: 61-78 - 2010
- [c10]Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
ECDAR: An Environment for Compositional Design and Analysis of Real Time Systems. ATVA 2010: 365-370 - [c9]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. HSCC 2010: 91-100 - [c8]Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski:
New Results on Timed Specifications. WADT 2010: 175-192 - 2009
- [c7]Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. FMCO 2009: 290-310
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-03-31 01:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint