default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNiklas Holsti
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[j4]Stefan Bygde, Björn Lisper
, Niklas Holsti:
Improved precision in polyhedral analysis with wrapping. Sci. Comput. Program. 133: 74-87 (2017)- 2015
- [c14]Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper:
Analysing Switch-Case Code with Abstract Execution. WCET 2015: 85-94 - 2011
- [c13]Stefan Bygde, Björn Lisper, Niklas Holsti:
Fully Bounded Polyhedral Analysis of Integers with Wrapping. NSAD@SAS 2011: 3-13
2000 – 2009
- 2009
- [c12]Niklas Holsti:
WCET 2009 -- Preface to 9th International Workshop on Worst-Case Execution Time Analysis. WCET 2009 - [c11]Niklas Holsti, Guillem Bernat, Christian Ferdinand, Peter P. Puschner, Reinhard Wilhelm:
Teaching WCET Analysis in Academia and Industry: A Panel Discussion. WCET 2009 - [e1]Niklas Holsti:
9th Intl. Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. OASIcs 10, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009 [contents] - 2008
- [j3]Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David B. Whalley, Guillem Bernat, Christian Ferdinand, Reinhold Heckmann, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter P. Puschner, Jan Staschulat, Per Stenström:
The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7(3): 36:1-36:53 (2008) - [c10]Niklas Holsti:
Computing time as a program variable: a way around infeasible paths. WCET 2008 - [c9]Niklas Holsti, Jan Gustafsson, Guillem Bernat, Clément Ballabriga, Armelle Bonenfant, Roman Bourgade, Hugues Cassé, Daniel Cordes, Albrecht Kadlec, Raimund Kirner, Jens Knoop, Paul Lokuciejewski, Nicholas Merriam, Marianne De Michiel, Adrian Prantl, Bernhard Rieder, Christine Rochange, Pascal Sainrat, Markus Schordan:
WCET 2008 - Report from the Tool Challenge 2008 -- 8th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis. WCET 2008 - 2007
- [c8]Niklas Holsti:
Analysing Switch-Case Tables by Partial Evaluation. WCET 2007 - 2005
- [c7]Samuel Petersson, Andreas Ermedahl, Anders Pettersson, Daniel Sundmark, Niklas Holsti:
Using a WCET Analysis Tool in Real-Time Systems Education. WCET 2005 - 2003
- [c6]Niklas Holsti, Thomas Långbacka:
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software. Ada-Europe 2003: 92-101 - [c5]Manuel Rodríguez, Nuno Silva, João Esteves, Luis Henriques, Diamantino Costa, Niklas Holsti, Kjeld Hjortnaes:
Challenges in Calculating the WCET of a Complex On-board Satellite Application. WCET 2003: 11-15 - [c4]Guillem Bernat, Niklas Holsti:
Compiler Support for WCET Analysis: a Wish List. WCET 2003: 65-69 - 2000
- [c3]Niklas Holsti, Thomas Långbacka, Sami Saarinen:
Worst-case execution time analysis for digital signal processors. EUSIPCO 2000: 1-4
1990 – 1999
- 1995
- [c2]Tapio Elomaa, Niklas Holsti, Ilkka Hyvärinen:
TELA: A Platform for Experimenting with Attribute-based Learning Programs. SCAI 1995: 392-395 - 1991
- [c1]Niklas Holsti:
Transcript Editing, a Simple User Interface Tool. Programming Environments for High-Level Scientific Problem Solving 1991: 321-329
1980 – 1989
- 1989
- [j2]Niklas Holsti:
A Session Editor with Incremental Execution Functions. Softw. Pract. Exp. 19(4): 329-350 (1989) - 1988
- [j1]Niklas Holsti:
Using formal procedure parameters to represent and transmit complex data structures. ACM SIGPLAN Notices 23(3): 83-92 (1988)
Coauthor Index
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-08-22 19:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
