Per Lindgren

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 17

Top Topics

Interactive Evolutionary Computation

Functional Language

Symbolic Execution

Top Venues

Publications

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