default search action
Björn Lisper
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j24]Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad
, Markus Bohlin, Björn Lisper:
Machine learning testing in an ADAS case study using simulation-integrated bio-inspired search-based testing. J. Softw. Evol. Process. 36(5) (2024) - 2023
- [j23]Federico Ciccozzi
A Comprehensive Exploration of Languages for Parallel Computing. ACM Comput. Surv. 55(2): 24:1-24:39 (2023) - [c82]Mahdi Taheri, Mohammad Riazati, Mohammad Hasan Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper:
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators. ISQED 2023: 1-8 - [c81]Björn Lisper, Linus Källberg:
HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms. ARRAY@PLDI 2023: 13-21 - [i4]Mahdi Taheri, Mohammad Riazati, Mohammad Hasan Ahmadilivani, Maksim Jenihhin, Masoud Daneshtalab, Jaan Raik, Mikael Sjödin, Björn Lisper:
DeepAxe: A Framework for Exploration of Approximation and Reliability Trade-offs in DNN Accelerators. CoRR abs/2303.08226 (2023) - 2022
- [j22]Mahshid Helali Moghadam
An autonomous performance testing framework using self-adaptive fuzzy reinforcement learning. Softw. Qual. J. 30(1): 127-159 (2022) - [c80]Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper:
AutoDeepHLS: Deep Neural Network High-level Synthesis using fixed-point precision. AICAS 2022: 122-125 - [c79]Abu Naser Masud
On the computation of interprocedural weak control closure. CC 2022: 65-76 - [c78]Jean Malm, Eduard Enoiu, Abu Naser Masud, Björn Lisper, Zoltán Porkoláb, Sigrid Eldh
An Evaluation of General-Purpose Static Analysis Tools on C/C++ Test Code. SEAA 2022: 133-140 - [c77]Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper:
DeepFlexiHLS: Deep Neural Network Flexible High-Level Synthesis Directive Generator. NorCAS 2022: 1-6 - [i3]Mahshid Helali Moghadam, Markus Borg, Mehrdad Saadatmand, Seyed Jalaleddin Mousavirad, Markus Bohlin, Björn Lisper:
Machine Learning Testing in an ADAS Case Study Using Simulation-Integrated Bio-Inspired Search-Based Testing. CoRR abs/2203.12026 (2022) - 2021
- [j21]Abu Naser Masud
Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs. ACM Trans. Program. Lang. Syst. 42(4): 19:1-19:56 (2021) - [c76]Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Björn Lisper, Pasqualina Potena:
Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent. CEC 2021: 2385-2394 - [i2]Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Björn Lisper, Pasqualina Potena:
Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent. CoRR abs/2104.12893 (2021) - 2020
- [c75]Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper:
SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. DDECS 2020: 1-4 - [c74]Mohammad Riazati, Tara Ghasempouri
Adjustable self-healing methodology for accelerated functions in heterogeneous systems. DSD 2020: 638-645 - [c73]Mohammad Riazati, Masoud Daneshtalab, Mikael Sjödin, Björn Lisper:
DeepHLS: A complete toolchain for automatic synthesis of deep neural networks to FPGA. ICECS 2020: 1-4 - [c72]Jean Malm, Adnan Causevic, Björn Lisper, Sigrid Eldh
Automated Analysis of Flakiness-mitigating Delays. AST@ICSE 2020: 81-84 - [c71]Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Poster: Performance Testing Driven by Reinforcement Learning. ICST 2020: 402-405
2010 – 2019
- 2019
- [c70]Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
Machine Learning to Guide Performance Testing: An Autonomous Test Framework. ICST Workshops 2019: 164-167 - [c69]Lorenzo Addazi, Federico Ciccozzi, Björn Lisper:
Executable Modelling for Highly Parallel Accelerators. MoDELS (Companion) 2019: 318-321 - [i1]Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Björn Lisper:
An Autonomous Performance Testing Framework using Self-Adaptive Fuzzy Reinforcement Learning. CoRR abs/1908.06900 (2019) - 2018
- [j20]Abu Naser Masud
Automatic Inference of Task Parallelism in Task-Graph-Based Actor Models. IEEE Access 6: 78965-78991 (2018) - [j19]Hamid Reza Faragardi
A resource efficient framework to run automotive embedded software on multi-core ECUs. J. Syst. Softw. 139: 64-83 (2018) - [c68]Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog:
Static Flow Analysis of the Action Language for Foundational UML. ETFA 2018: 161-168 - [c67]Marcus Jägemar, Andreas Ermedahl, Sigrid Eldh
Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling. ETFA 2018: 329-336 - [c66]Mahshid Helali Moghadam, Mehrdad Saadatmand
Learning-based response time analysis in real-time embedded systems: a simulation-based approach. SQUADE@ICSE 2018: 21-24 - [c65]Mahshid Helali Moghadam, Mehrdad Saadatmand
Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning. SEAMS@ICSE 2018: 217-223 - [c64]Mahshid Helali Moghadam, Mehrdad Saadatmand
Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System. ICST Workshops 2018: 77-80 - [c63]Michael Felderer, Dilian Gurov
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) 2018: 77-81 - [c62]Filip Markovic, Jan Carlson, Radu Dobrin, Björn Lisper, Abhilash Thekkilakattil:
Probabilistic Response Time Analysis for Fixed Preemption Point Selection. SIES 2018: 1-10 - 2017
- [j18]Stefan Bygde, Björn Lisper
Improved precision in polyhedral analysis with wrapping. Sci. Comput. Program. 133: 74-87 (2017) - [c61]Björn Lisper:
Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. FMICS-AVoCS 2017: 19-33 - [c60]Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand
Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties. ICST Workshops 2017: 65-68 - 2016
- [j17]Marcus Jägemar
Automatic message compression with overload protection. J. Syst. Softw. 121: 209-222 (2016) - [j16]Peter Altenbernd, Jan Gustafsson, Björn Lisper, Friedhelm Stappert:
Early execution time-estimation through automatically generated timing models. Real Time Syst. 52(6): 731-760 (2016) - [c59]Heiko Falk
TACLeBench: A Benchmark Collection to Support Worst-Case Execution Time Research. WCET 2016: 2:1-2:10 - 2015
- [c58]Husni Khanfar, Björn Lisper, Abu Naser Masud
Static Backward Program Slicing for Safety-Critical Systems. Ada-Europe 2015: 50-65 - [c57]Björn Lisper, Abu Naser Masud
Static Backward Demand-Driven Slicing. PEPM 2015: 115-126 - [c56]Sebastian Altmeyer, Björn Lisper, Claire Maiza, Jan Reineke, Christine Rochange:
WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?. WCET 2015: 65-74 - [c55]Niklas Holsti, Jan Gustafsson, Linus Källberg, Björn Lisper:
Analysing Switch-Case Code with Abstract Execution. WCET 2015: 85-94 - 2014
- [c54]Marcus Jägemar, Sigrid Eldh
Adaptive Online Feedback Controlled Message Compression. COMPSAC 2014: 558-567 - [c53]Hamid Reza Faragardi, Björn Lisper, Kristian Sandström, Thomas Nolte:
A communication-aware solution framework for mapping AUTOSAR runnables on multi-core systems. ETFA 2014: 1-9 - [c52]Björn Lisper:
SWEET - A Tool for WCET Flow Analysis (Extended Abstract). ISoLA (2) 2014: 482-485 - [c51]Andreas Gustavsson, Jan Gustafsson, Björn Lisper:
Timing Analysis of Parallel Software Using Abstract Execution. VMCAI 2014: 59-77 - [c50]Björn Lisper:
Principles for Value Annotation Languages. WCET 2014: 1-10 - 2013
- [j15]Björn Lisper:
The ALL-TIMES project: introduction and overview. Int. J. Softw. Tools Technol. Transf. 15(1): 1-8 (2013) - [j14]Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa:
Practical experiences of applying source-level WCET flow analysis to industrial code. Int. J. Softw. Tools Technol. Transf. 15(1): 53-63 (2013) - [j13]Nicholas Merriam, Björn Lisper:
Estimation of productivity increase for timing analysis tool chains. Int. J. Softw. Tools Technol. Transf. 15(1): 65-84 (2013) - [c49]Hamid Reza Faragardi, Björn Lisper, Thomas Nolte:
Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores. ETFA 2013: 1-5 - 2012
- [c48]Heiko Falk, Kevin Hammond
Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. EMSOFT 2012: 163-164 - [c47]Björn Lisper, Johan Nordlander, Sophie Quinton:
Timing Constraints: Theory Meets Practice. ISoLA (2) 2012: 78-79 - [c46]Björn Lisper, Johan Nordlander:
A Simple and Flexible Timing Constraint Logic. ISoLA (2) 2012: 80-95 - [c45]Andreas Gustavsson, Jan Gustafsson, Björn Lisper:
Toward Static Timing Analysis of Parallel Software. WCET 2012: 38-47 - [c44]Björn Lisper:
Towards Parallel Programming Models for Predictability. WCET 2012: 48-58 - 2011
- [j12]Stefan Bygde, Andreas Ermedahl, Björn Lisper:
An efficient algorithm for parametric WCET calculation. J. Syst. Archit. 57(6): 614-624 (2011) - [c43]Peter Altenbernd, Andreas Ermedahl, Björn Lisper, Jan Gustafsson:
Automatic Generation of Timing Models for Timing Analysis of High-Level Code. RTNS 2011: 55-64 - [c42]Stefan Bygde, Björn Lisper, Niklas Holsti:
Fully Bounded Polyhedral Analysis of Integers with Wrapping. NSAD@SAS 2011: 3-13 - 2010
- [j11]Jan Carlson
A resource-efficient event algebra. Sci. Comput. Program. 75(12): 1215-1234 (2010) - [c41]Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa:
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. ISoLA (2) 2010: 449-463 - [c40]Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson:
Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET 2010: 101-112 - [c39]Jan Gustafsson, Adam Betts, Andreas Ermedahl, Björn Lisper:
The Mälardalen WCET Benchmarks: Past, Present And Future. WCET 2010: 136-146 - [c38]Björn Lisper:
Frontmatter, Preface, Table of Contents, Workshop Organization. WCET 2010 - [e1]Björn Lisper:
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium. OASIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010, ISBN 978-3-939897-21-7 [contents]
2000 – 2009
- 2009
- [c37]Björn Lisper, Marcelo Santos:
Model Identification for WCET Analysis. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 55-64 - [c36]Stefan Bygde, Andreas Ermedahl, Björn Lisper:
An Efficient Algorithm for Parametric WCET Calculation. RTCSA 2009: 13-21 - [c35]Jan Gustafsson, Peter Altenbernd, Andreas Ermedahl, Björn Lisper:
Approximate Worst-Case Execution Time Analysis for Early Stage Embedded Systems Development. SEUS 2009: 308-319 - [c34]Jan Gustafsson, Andreas Ermedahl, Björn Lisper, Christer Sandberg, Linus Källberg:
ALF - A Language for WCET Flow Analysis. WCET 2009 - 2008
- [c33]Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Christer Sandberg:
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. ECRTS 2008: 331-340 - [c32]Jan Gustafsson, Björn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat:
ALL-TIMES - A European Project on Integrating Timing Technology. ISoLA 2008: 445-459 - [c31]Sebastian Altmeyer, Christian Humbert, Björn Lisper, Reinhard Wilhelm:
Parametric Timing Analysis for Complex Architectures. RTCSA 2008: 367-376 - [c30]Stefan Bygde, Björn Lisper:
Towards an Automatic Parametric WCET Analysis. WCET 2008 - 2007
- [j10]Xavier Vera, Björn Lisper, Jingling Xue
Data cache locking for tight timing calculations. ACM Trans. Embed. Comput. Syst. 7(1): 4:1-4:38 (2007) - [c29]Andreas Ermedahl, Christer Sandberg, Jan Gustafsson, Stefan Bygde, Björn Lisper:
Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis. WCET 2007 - 2006
- [j9]Jan Gustafsson, Björn Lisper, Raimund Kirner
Code Analysis for Temporal Predictability. Real Time Syst. 32(3): 253-277 (2006) - [c28]Björn Lisper:
Trends in Timing Analysis. DIPES 2006: 85-94 - [c27]Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz:
Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. ISoLA 2006: 212-219 - [c26]Christer Sandberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Faster WCET flow analysis by program slicing. LCTES 2006: 103-112 - [c25]Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Björn Lisper:
Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. RTSS 2006: 57-66 - [c24]Jan Gustafsson, Andreas Ermedahl, Björn Lisper:
Algorithms for Infeasible Path Calculation. WCET 2006 - 2005
- [j8]Björn Lisper:
Infinite Unfolding and Transformations of Nondeterministic Programs. Fundam. Informaticae 66(4): 415-439 (2005) - [c23]Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Applying Static WCET Analysis to Automotive Communication Software. ECRTS 2005: 249-258 - [c22]Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Experiences from Industrial WCET Analysis Case Studies. WCET 2005 - [c21]Jan Gustafsson, Andreas Ermedahl, Björn Lisper:
Towards a Flow Analysis for Embedded System C Programs. WORDS 2005: 287-300 - 2004
- [c20]Jan Carlson, Björn Lisper:
An event detection algebra for reactive systems. EMSOFT 2004: 147-154 - [c19]Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Daniel Sandell:
Static Timing Analysis of Real-Time Operating Systems Code. ISoLA (Preliminary proceedings) 2004: 126-133 - [c18]Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper:
Static Timing Analysis of Real-Time Operating System Code. ISoLA 2004: 146-160 - 2003
- [c17]Jan Carlson, Björn Lisper:
An Interval-Based Algebra for Restricted Event Detection. FORMATS 2003: 121-133 - [c16]Xavier Vera, Björn Lisper, Jingling Xue:
Data Caches in Multitasking Hard Real-Time Systems. RTSS 2003: 154-165 - [c15]Xavier Vera, Björn Lisper, Jingling Xue
Data cache locking for higher program predictability. SIGMETRICS 2003: 272-282 - [c14]Björn Lisper:
Fully Automatic, Parametric Worst-Case Execution Time Analysis. WCET 2003: 99-102 - [c13]Jan Gustafsson, Björn Lisper, Raimund Kirner
Input-Dependency Analysis for Hard Real-Time Software. WORDS Fall 2003: 53-60 - [c12]Jan Gustafsson, Björn Lisper, Christer Sandberg, Nerina Bermudo:
A Tool for Automatic Flow Analysis of C-programs for WCET Calculation. WORDS 2003: 106-112 - 2000
- [c11]Jonas Holmerin, Björn Lisper:
Development of Parallel Algorithms in Data Field Haskell (Research Note). Euro-Par 2000: 762-766 - [c10]Jonas Holmerin, Björn Lisper:
Data Field Haskell. Haskell 2000: 4
1990 – 1999
- 1998
- [j7]Björn Lisper:
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. Theor. Comput. Sci. 190(1): 61-85 (1998) - 1996
- [j6]Björn Lisper:
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. Algorithmica 15(2): 193-203 (1996) - [c9]Björn Lisper:
Data Parallelism and Functional Programming. The Data Parallel Programming Model 1996: 220-251 - [c8]Björn Lisper:
Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations. CAAP 1996: 165-179 - 1994
- [j5]Björn Lisper:
Total Unfolding: Theory and Applications. J. Funct. Program. 4(4): 479-498 (1994) - [c7]Björn Lisper, Jean-Francois Collard:
Extended Analysis of Data Fields. SAS 1994: 208-222 - 1993
- [c6]Per Hammarlund, Björn Lisper:
On the Relation between Functional and Data Parallel Programming Languages. FPCA 1993: 210-222 - 1992
- [c5]Björn Lisper, Sanjay V. Rajopadhye:
Reasoning about Permutations in Regular Arrays. Designing Correct Circuits 1992: 139-157 - 1991
- [j4]Björn Lisper:
Computing Transitive Closure on Systolic Arrays of Fixed Size. Distributed Comput. 5: 133-144 (1991) - [c4]Björn Lisper:
Detecting Static Algorithms by Partial Evaluation. PEPM 1991: 31-42 - 1990
- [j3]Björn Lisper:
Synthesis of Time-Optimal Systolic Arrays with Cells with Inner Structure. J. Parallel Distributed Comput. 10(2): 182-187 (1990) - [j2]Björn Lisper:
The interactive space-time scheduler. Microprocessing and Microprogramming 30(1-5): 109-116 (1990) - [c3]Björn Lisper:
Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. SPAA 1990: 360-366
1980 – 1989
- 1989
- [b1]Björn Lisper:
Synthesising Synchronous Systems by Static Scheduling in Space-Time. Lecture Notes in Computer Science 362, Springer 1989, ISBN 3-540-51156-3, pp. 1-262 - [c2]Björn Lisper:
Single-Assignment Semantics for Imperative Programs. PARLE (2) 1989: 321-334 - 1988
- [j1]Björn Lisper:
Synthesis and Equivalence of Concurrent Systems. Theor. Comput. Sci. 58: 183-199 (1988) - 1986
- [c1]Björn Lisper:
Synthesis and Equivalence of Concurrent Systems. ICALP 1986: 226-235
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-10-07 22:15 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: