Per Lindgren

According to our database, Per Lindgren authored at least 52 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

SyncRim - A modern Simulator for Synchronous Circuits implemented in Rust.

Pawel Dzialo, Erik Vd. Boom, Per Lindgren

Proceedings of the IEEE Nordic Circuits and Systems Conference, 2023

Hardware support for Static-Priority Stack Resource Policy based scheduling.

Per Lindgren, Pawel Dzialo, Henri Lunnikivi

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023

AnTiQ: A Hardware-Accelerated Priority Queue Design with Constant Time Arbitrary Element Removal.

Antti Nurmi, Per Lindgren, Tom Szymkowiak, Timo D. Hämäläinen

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2019

Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach.

Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

Cargo-call-stack Static Call-stack Analysis for Rust.

Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera

Proceedings of the 17th IEEE International Conference on Industrial Informatics, 2019

2018

Introducing Certified Compilation in Education by a Functional Language Approach.

Per Lindgren, Marcus Lindner, Nils Fitinghoff

Proceedings of the Proceedings Seventh International Workshop on Trends in Functional Programming in Education, 2018

Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust.

Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

No Panic! Verification of Rust Programs by Symbolic Execution.

Marcus Lindner, Jorge Aparicius, Per Lindgren

Proceedings of the 16th IEEE International Conference on Industrial Informatics, 2018

Hardware-in-the-loop based WCET analysis with KLEE.

Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2017

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.

Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

IEEE Trans. Ind. Informatics, 2017

2016

RTFM-core: course in compiler construction.

Marcus Lindner, Andreas Lindner, Per Lindgren

SIGBED Rev., 2016

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.

Per Lindgren, Emil Fresk, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

SIGBED Rev., 2016

Contract based verification of IEC 61499.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Safe tasks: Run time verification of the RTFM-lang model of computation.

Marcus Lindner, Andreas Lindner, Per Lindgren

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Towards certified compilation of RTFM-core applications.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

A Comparison of Formal Verification Approaches for IEC 61499.

Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

A Formal Perspective on IEC 61499 Execution Control Chart Semantics.

Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Well-formed control flow for critical sections in RTFM-core.

Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.

Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499.

Andreas Lindner, Marcus Lindner, Per Lindgren

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

A real-time semantics for the IEC 61499 standard.

Per Lindgren, Marcus Lindner, Andreas Lindner, Valeriy Vyatkin, David Pereira, Luís Miguel Pinho

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Real-time execution of function blocks for Internet of Things using the RTFM-kernel.

Per Lindgren, Marcus Lindner, Andreas Lindner, Johan Eriksson, Valeriy Vyatkin

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Real-time for the masses, step 1: Programming API and static priority SRP kernel primitives.

Johan Eriksson, Fredrik Haggstrom, Simon Aittamaa, Andrey Kruglyak, Per Lindgren

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing.

Per Lindgren, Rumen Kyusakov, Jens Eliasson, Henrik Mäkitaavola, Pawel Pietrzak

Proceedings of the 22nd IEEE International Symposium on Industrial Electronics, 2013

2012

Towards a lightweight CEP engine for embedded systems.

Pawel Pietrzak, Per Lindgren, Henrik Mäkitaavola

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

Leveraging tinyos for integration in process automation and control systems.

Per Lindgren, Henrik Mäkitaavola, Johan Eriksson, Jens Eliasson

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2011

An IDE for component-based design of embedded real-time software.

Jimmie Wiklander, Johan Eriksson, Per Lindgren

Proceedings of the Industrial Embedded Systems (SIES), 2011

2010

Road Surface Networks technology enablers for enhanced ITS.

Wolfgang Birk, Jens Eliasson, Per Lindgren, Evgeny Osipov, Laurynas Riliskis

Proceedings of the Second IEEE Vehicular Networking Conference, 2010

2009

Enabling Component-Based Design for Embedded Real-Time Software.

Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Per Lindgren, Johan Nordlander

J. Comput., 2009

2008

A Bluetooth-based Sensor Node for Low-Power Ad Hoc Networks.

Jens Eliasson, Per Lindgren, Jerker Delsing

J. Comput., 2008

TinyTimber, Reactive Objects in C for Real-Time Embedded Systems.

Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander

Proceedings of the Design, Automation and Test in Europe, 2008

IP over CAN, Transparent Vehicular to Infrastructure Access.

Per Lindgren, Simon Aittamaa, Johan Eriksson

Proceedings of the 5th IEEE Consumer Communications and Networking Conference, 2008

2007

A Power Management Architecture for Sensor Nodes.

Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng

Proceedings of the IEEE Wireless Communications and Networking Conference, 2007

A correct and useful incremental copying garbage collector.

Martin Kero, Johan Nordlander, Per Lindgren

Proceedings of the 6th International Symposium on Memory Management, 2007

FIFO WiDOM: Timely control over wireless links.

Viktor Leijon, Per Lindgren, Johan Eriksson

Proceedings of the IEEE International Conference on Control Applications, 2007

2006

An Infrastructure for Service Oriented Sensor Networks.

Åke Östmark, Jens Eliasson, Per Lindgren, Aart van Halteren, Lianne Meppelink

J. Comput., 2006

Service and device discovery of nodes in a wireless sensor network.

Åke Östmark, Per Lindgren, Aart van Halteren, Lianne Meppelink

Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

Time synchronous Bluetooth sensor networks.

Jens Eliasson, Magnus Lundberg, Per Lindgren

Proceedings of the 3rd IEEE Consumer Communications and Networking Conference, 2006

2004

Mobile internet enabled sensors using mobile phones as access network.

Jerker Delsing, Per Lindgren, Åke Östmark

J. Inf. Technol. Constr., 2004

Enriched Media-Experience of Sport Events.

Josef Hallberg, Sara Svensson, Åke Östmark, Per Lindgren, Kåre Synnes, Jerker Delsing

Proceedings of the 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2004

2002

Low Power Optimization Techniques for BDD Mapped Finite State Machines.

Mikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

Switching activity estimation of finite state machines for low power synthesis.

Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler

Proceedings of the 2002 International Symposium on Circuits and Systems, 2002

2001

Low power optimization technique for BDD mapped circuits.

Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler

Proceedings of ASP-DAC 2001, 2001

2000

Minimization of Ordered Pseudo Kronecker Decision Diagrams.

Per Lindgren, Rolf Drechsler, Bernd Becker

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

1999

Synthesis of Pseudo Kronecker Lattice Diagrams.

Per Lindgren, Rolf Drechsler, Bernd Becker

Proceedings of the IEEE International Conference On Computer Design, 1999

1998

Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions.

Per Lindgren, Rolf Drechsler, Bernd Becker

Proceedings of the 28th IEEE International Symposium on Multiple-Valued Logic, 1998

1996

Fast Circuit Switching for the Next Generation of High Performance Networks.

Christer Bohm, Markus Hidell, Per Lindgren, Lars H. Ramfelt, Peter Sjödin

IEEE J. Sel. Areas Commun., 1996

1995

Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram.

Per Lindgren

Proceedings of the 1995 Conference on Asia Pacific Design Automation, Makuhari, Massa, Chiba, Japan, August 29, 1995

1994

The DTM Gigabit Network.

Christer Bohm, Per Lindgren, Lars H. Ramfelt, Peter Sjödin

J. High Speed Networks, 1994

Fast Connection Establishment in the DTM Gigabit Network.

Per Lindgren, Christer Bohm

Proceedings of the High Performance Networking V, Proceedings of the IFIP TC6/WG6.4 Fifth International Conference on High Performance Networking, Grenoble, France, 27 June, 1994

Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic.

Glenn Jennings, Joachim Isaksson, Per Lindgren

Proceedings of the Proceedings 27th Annual Simulation Symposium, 1994

1992

The Swedish multiG-PTM dual fiber network.

P. Pehrson, F. Reichert, Per Lindgren, Christer Bohm, Lars Håkansson, L. Elmstedt, Lars Gauffin

Proceedings of the Broadband Communications, 1992