| 2023 | PLDI | HERO-ML: A Very High-Level Array Language for Executable Modelling of Data Parallel Algorithms. | Bjrn Lisper, Linus Kllberg |
| 2022 | CC | On the computation of interprocedural weak control closure. | Abu Naser Masud, Bjrn Lisper |
| 2021 | CEC | Performance Testing Using a Smart Reinforcement Learning-Driven Test Agent. | Mahshid Helali Moghadam, Golrokh Hamidi, Markus Borg, Mehrdad Saadatmand, Markus Bohlin, Bjrn Lisper, Pasqualina Potena |
| 2020 | DDECS | SHiLA: Synthesizing High-Level Assertions for High-Speed Validation of High-Level Designs. | Mohammad Riazati, Masoud Daneshtalab, Mikael Sjdin, Bjrn Lisper |
| 2020 | DSD | Adjustable self-healing methodology for accelerated functions in heterogeneous systems. | Mohammad Riazati, Tara Ghasempouri, Masoud Daneshtalab, Jaan Raik, Mikael Sjdin, Bjrn Lisper |
| 2020 | ICSE | Automated Analysis of Flakiness-mitigating Delays. | Jean Malm, Adnan Causevic, Bjrn Lisper, Sigrid Eldh |
| 2020 | ICST | Poster: Performance Testing Driven by Reinforcement Learning. | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper |
| 2019 | ICST | Machine Learning to Guide Performance Testing: An Autonomous Test Framework. | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper |
| 2019 | MODELS | Executable Modelling for Highly Parallel Accelerators. | Lorenzo Addazi, Federico Ciccozzi, Bjrn Lisper |
| 2018 | ETFA | Enforcing Quality of Service Through Hardware Resource Aware Process Scheduling. | Marcus Jgemar, Andreas Ermedahl, Sigrid Eldh, Moris Behnam, Bjrn Lisper |
| 2018 | ETFA | Static Flow Analysis of the Action Language for Foundational UML. | Jean Malm, Federico Ciccozzi, Jan Gustafsson, Bjrn Lisper, Jonas Skoog |
| 2018 | ICSE | Adaptive runtime response time control in PLC-based real-time systems using reinforcement learning. | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper |
| 2018 | ICSE | Learning-based response time analysis in real-time embedded systems: a simulation-based approach. | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper |
| 2018 | ICST | Learning-Based Self-Adaptive Assurance of Timing Properties in a Real-Time Embedded System. | Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjrn Lisper |
| 2018 | ISoLA | Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). | Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick |
| 2017 | FMICS | Verifying Event-Based Timing Constraints by Translation into Presburger Formulae. | Bjrn Lisper |
| 2017 | ICST | Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties. | Bjrn Lisper, Birgitta Lindstrm, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin |
| 2015 | PEPM | Static Backward Demand-Driven Slicing. | Bjrn Lisper, Abu Naser Masud, Husni Khanfar |
| 2014 | COMPSAC | Adaptive Online Feedback Controlled Message Compression. | Marcus Jgemar, Sigrid Eldh, Andreas Ermedahl, Bjrn Lisper |
| 2014 | ETFA | A communication-aware solution framework for mapping AUTOSAR runnables on multi-core systems. | Hamid Reza Faragardi, Bjrn Lisper, Kristian Sandstrm, Thomas Nolte |
| 2014 | ISoLA | SWEET - A Tool for WCET Flow Analysis (Extended Abstract). | Bjrn Lisper |
| 2014 | VMCAI | Timing Analysis of Parallel Software Using Abstract Execution. | Andreas Gustavsson, Jan Gustafsson, Bjrn Lisper |
| 2013 | ETFA | Towards a communication-efficient mapping of AUTOSAR runnables on multi-cores. | Hamid Reza Faragardi, Bjrn Lisper, Thomas Nolte |
| 2012 | EMSOFT | Code-level timing analysis of embedded software: emsoft'12 invited talk session outline. | Heiko Falk, Kevin Hammond, Kim G. Larsen, Bjrn Lisper, Stefan M. Petters |
| 2012 | ISoLA | A Simple and Flexible Timing Constraint Logic. | Bjrn Lisper, Johan Nordlander |
| 2012 | ISoLA | Timing Constraints: Theory Meets Practice. | Bjrn Lisper, Johan Nordlander, Sophie Quinton |
| 2011 | RTNS | Automatic Generation of Timing Models for Timing Analysis of High-Level Code. | Peter Altenbernd, Andreas Ermedahl, Bjrn Lisper, Jan Gustafsson |
| 2010 | ISoLA | Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. | Bjrn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa |
| 2009 | RTAS | Model Identification for WCET Analysis. | Bjrn Lisper, Marcelo Santos |
| 2009 | RTCSA | An Efficient Algorithm for Parametric WCET Calculation. | Stefan Bygde, Andreas Ermedahl, Bjrn Lisper |
| 2008 | ECRTS | Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code. | Dani Barkah, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper, Christer Sandberg |
| 2008 | ISoLA | ALL-TIMES - A European Project on Integrating Timing Technology. | Jan Gustafsson, Bjrn Lisper, Markus Schordan, Christian Ferdinand, Peter Gliwa, Marek Jersak, Guillem Bernat |
| 2008 | RTCSA | Parametric Timing Analysis for Complex Architectures. | Sebastian Altmeyer, Christian Humbert, Bjrn Lisper, Reinhard Wilhelm |
| 2006 | ISoLA | Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems. | Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper, Steffen Wiegratz |
| 2006 | RTSS | Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution. | Jan Gustafsson, Andreas Ermedahl, Christer Sandberg, Bjrn Lisper |
| 2005 | ECRTS | Applying Static WCET Analysis to Automotive Communication Software. | Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper |
| 2004 | EMSOFT | An event detection algebra for reactive systems. | Jan Carlson, Bjrn Lisper |
| 2004 | ISoLA | Static Timing Analysis of Real-Time Operating Systems Code. | Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper, Daniel Sandell |
| 2004 | ISoLA | Static Timing Analysis of Real-Time Operating System Code. | Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Bjrn Lisper |
| 2003 | SIGMETRICS | Data cache locking for higher program predictability. | Xavier Vera, Bjrn Lisper, Jingling Xue |
| 2003 | RTSS | Data Caches in Multitasking Hard Real-Time Systems. | Xavier Vera, Bjrn Lisper, Jingling Xue |
| 2000 | EuroPar | Development of Parallel Algorithms in Data Field Haskell (Research Note). | Jonas Holmerin, Bjrn Lisper |
| 1994 | SAS | Extended Analysis of Data Fields. | Bjrn Lisper, Jean-Francois Collard |
| 1991 | PEPM | Detecting Static Algorithms by Partial Evaluation. | Bjrn Lisper |
| 1990 | SPAA | Preconditioning Index Set Transformations for Time-Optimal Affine Scheduling. | Bjrn Lisper |
| 1986 | ICALP | Synthesis and Equivalence of Concurrent Systems. | Bjrn Lisper |