Per Lindgren

59 papers A 1B 1C 21Journal 11Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Efficient and Predictable Context Switching for Mixed-Criticality and Real-Time Systems.
IEEE Trans. Very Large Scale Integr. Syst.
Antti Nurmi, Abdesattar Kalache, Henri Lunnikivi, Per Lindgren, Timo D. Hämäläinen
2025 J jnl
Modular RTIC: Lightweight Real Time for Customized Architectures.
IEEE Trans. Very Large Scale Integr. Syst.
Henri Lunnikivi, Zakaria Madaoui, Pawel Dzialo, Per Lindgren
2024 — conf
Atalanta: Open-Source RISC-V Microcontroller for Rust-Based Hard Real-Time Systems.
ARCS
Antti Nurmi, Per Lindgren, Abdesattar Kalache, Henri Lunnikivi, Timo D. Hämäläinen
2024 — conf
Towards modularity of the Rust RTIC real-time scheduling framework.
NorCAS
Zakaria Madaoui, Henri Lunnikivi, Pawel Dzialo, Per Lindgren
2023 C conf
AnTiQ: A Hardware-Accelerated Priority Queue Design with Constant Time Arbitrary Element Removal.
DSD
Antti Nurmi, Per Lindgren, Thomas Szymkowiak, Timo D. Hämäläinen
2023 — conf
Hardware support for Static-Priority Stack Resource Policy based scheduling.
ISIE
Per Lindgren, Pawel Dzialo, Henri Lunnikivi
2023 — conf
SyncRim - A modern Simulator for Synchronous Circuits implemented in Rust.
NorCAS
Pawel Dzialo, Erik Vd. Boom, Per Lindgren
2019 C conf
Cargo-call-stack Static Call-stack Analysis for Rust.
INDIN
Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera
2019 C conf
Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.
INDIN
Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren
2018 C conf
Hardware-in-the-loop based WCET analysis with KLEE.
ETFA
Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson
2018 C conf
Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust.
INDIN
Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren
2018 — conf
Introducing Certified Compilation in Education by a Functional Language Approach.
TFPIE@TFP
Per Lindgren, Marcus Lindner, Nils Fitinghoff
2018 C conf
No Panic! Verification of Rust Programs by Symbolic Execution.
INDIN
Marcus Lindner, Jorge Aparicius, Per Lindgren
2017 J jnl
End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.
IEEE Trans. Ind. Informatics
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2016 C conf
A Comparison of Formal Verification Approaches for IEC 61499.
ETFA
Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl
2016 J jnl
Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.
SIGBED Rev.
Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2016 C conf
Contract based verification of IEC 61499.
INDIN
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2016 J jnl
RTFM-core: course in compiler construction.
SIGBED Rev.
Marcus Lindner, Andreas Lindner, Per Lindgren
2016 C conf
Safe tasks: Run time verification of the RTFM-lang model of computation.
ETFA
Marcus Lindner, Andreas Lindner, Per Lindgren
2016 C conf
Towards certified compilation of RTFM-core applications.
ETFA
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2015 — conf
A Formal Perspective on IEC 61499 Execution Control Chart Semantics.
TrustCom/BigDataSE/ISPA (3)
Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho
2015 C conf
A real-time semantics for the IEC 61499 standard.
ETFA
Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho
2015 — conf
Abstract Timers and their Implementation onto the ARM Cortex-M family of MCUs.
EWiLi
Per Lindgren, Marcus Lindner, Andreas Lindner, Emil Fresk, David Pereira, Luís Miguel Pinho
2015 C conf
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499.
ETFA
Andreas Lindner, Marcus Lindner, Per Lindgren
2015 C conf
Response time for IEC 61499 over Ethernet.
INDIN
Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2015 C conf
Well-formed control flow for critical sections in RTFM-core.
INDIN
Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho
2014 — conf
RTFM-core: Course in Compiler Construction.
WESE
Marcus Lindner, Andreas Lindner, Per Lindgren
2014 C conf
Real-time execution of function blocks for Internet of Things using the RTFM-kernel.
ETFA
Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin
2013 — conf
A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing.
ISIE
Per Lindgren, Rumen Kyusakov, Jens Eliasson, Henrik Mäkitaavola, Pawel Pietrzak
2013 — conf
Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives.
SIES
Johan Eriksson, Fredrik Haggstrom, Simon Aittamaa, Andrey Kruglyak, Per Lindgren
2012 C conf
Leveraging tinyos for integration in process automation and control systems.
IECON
Per Lindgren, Henrik Mäkitaavola, Johan Eriksson, Jens Eliasson
2012 C conf
Towards a lightweight CEP engine for embedded systems.
IECON
Pawel Pietrzak, Per Lindgren, Henrik Mäkitaavola
2011 — conf
An IDE for component-based design of embedded real-time software.
SIES
Jimmie Wiklander, Johan Eriksson, Per Lindgren
2010 — conf
Road Surface Networks technology enablers for enhanced ITS.
VNC
Wolfgang Birk, Jens Eliasson, Per Lindgren, Evgeny Osipov, Laurynas Riliskis
2009 J jnl
Enabling Component-Based Design for Embedded Real-Time Software.
J. Comput.
Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Per Lindgren, Johan Nordlander
2008 J jnl
A Bluetooth-based Sensor Node for Low-Power Ad Hoc Networks.
J. Comput.
Jens Eliasson, Per Lindgren, Jerker Delsing
2008 — conf
IP over CAN, Transparent Vehicular to Infrastructure Access.
CCNC
Per Lindgren, Simon Aittamaa, Johan Eriksson
2008 A conf
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.
DATE
Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander
2007 B conf
A Power Management Architecture for Sensor Nodes.
WCNC
Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng
2007 C conf
A correct and useful incremental copying garbage collector.
ISMM
Martin Kero, Johan Nordlander, Per Lindgren
2007 C conf
FIFO WiDOM: Timely control over wireless links.
CCA
Viktor Leijon, Per Lindgren, Johan Eriksson
2006 J jnl
An Infrastructure for Service Oriented Sensor Networks.
J. Comput.
Åke Östmark, Jens Eliasson, Per Lindgren, Aart van Halteren, Lianne Meppelink
2006 — conf
Service and device discovery of nodes in a wireless sensor network.
CCNC
Åke Östmark, Per Lindgren, Aart van Halteren, Lianne Meppelink
2006 — conf
Time synchronous Bluetooth sensor networks.
CCNC
Jens Eliasson, Magnus Lundberg, Per Lindgren
2004 — conf
Enriched Media-Experience of Sport Events.
WMCSA
Josef Hallberg, Sara Svensson, Åke Östmark, Per Lindgren, Kåre Synnes, Jerker Delsing
2004 J jnl
Mobile internet enabled sensors using mobile phones as access network.
J. Inf. Technol. Constr.
Jerker Delsing, Per Lindgren, Åke Östmark
2002 — conf
Low Power Optimization Techniques for BDD Mapped Finite State Machines.
IWLS
Mikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton
2002 — conf
Switching activity estimation of finite state machines for low power synthesis.
ISCAS (4)
Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler
2001 — conf
Low power optimization technique for BDD mapped circuits.
ASP-DAC
Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler
2000 C conf
Minimization of Ordered Pseudo Kronecker Decision Diagrams.
ICCD
Per Lindgren, Rolf Drechsler, Bernd Becker
1999 — —
Applications of decision diagrams in digital circuit design.
Per Lindgren
1999 C conf
Synthesis of Pseudo Kronecker Lattice Diagrams.
ICCD
Per Lindgren, Rolf Drechsler, Bernd Becker
1998 — conf
Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions.
ISMVL
Per Lindgren, Rolf Drechsler, Bernd Becker
1996 J jnl
Fast Circuit Switching for the Next Generation of High Performance Networks.
IEEE J. Sel. Areas Commun.
Christer Bohm, Markus Hidell, Per Lindgren, Lars H. Ramfelt, Peter Sjödin
1995 — conf
Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram.
ASP-DAC
Per Lindgren
1994 — conf
Fast Connection Establishment in the DTM Gigabit Network.
HPN
Per Lindgren, Christer Bohm
1994 — conf
Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic.
Annual Simulation Symposium
Glenn Jennings, Joachim Isaksson, Per Lindgren
1994 J jnl
The DTM Gigabit Network.
J. High Speed Networks
Christer Bohm, Per Lindgren, Lars H. Ramfelt, Peter Sjödin
1992 — conf
The Swedish multiG-PTM dual fiber network.
Broadband Communications
P. Pehrson, F. Reichert, Per Lindgren, Christer Bohm, Lars Håkansson, L. Elmstedt, Lars Gauffin