default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPer Lindgren
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c47]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: 316-330- [c46]Zakaria Madaoui, Henri Lunnikivi, Pawel Dzialo, Per Lindgren:
Towards modularity of the Rust RTIC real-time scheduling framework. NorCAS 2024: 1-7 - 2023
- [c45]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: 462-469 - [c44]Per Lindgren, Pawel Dzialo, Henri Lunnikivi:
Hardware support for Static-Priority Stack Resource Policy based scheduling. ISIE 2023: 1-5 - [c43]Pawel Dzialo, Erik Vd. Boom, Per Lindgren:
SyncRim - A modern Simulator for Synchronous Circuits implemented in Rust. NorCAS 2023: 1-6
2010 – 2019
- 2019
- [c42]Marcus Lindner, Nils Fitinghoff, Johan Eriksson, Per Lindgren:
Verification of Safety Functions Implemented in Rust - a Symbolic Execution based approach. INDIN 2019: 432-439 - [c41]Per Lindgren, Nils Fitinghoff, Jorge Aparicio Rivera:
Cargo-call-stack Static Call-stack Analysis for Rust. INDIN 2019: 1169-1176 - 2018
- [c40]Marcus Lindner, Jorge Aparicio Rivera, Henrik Tjader, Per Lindgren, Johan Eriksson:
Hardware-in-the-loop based WCET analysis with KLEE. ETFA 2018: 345-352 - [c39]Jorge Aparicio Rivera, Marcus Lindner, Per Lindgren:
Heapless: Dynamic Data Structures without Dynamic Heap Allocator for Rust. INDIN 2018: 87-94 - [c38]Marcus Lindner, Jorge Aparicius, Per Lindgren:
No Panic! Verification of Rust Programs by Symbolic Execution. INDIN 2018: 108-114 - [c37]Per Lindgren, Marcus Lindner, Nils Fitinghoff:
Introducing Certified Compilation in Education by a Functional Language Approach. TFPIE@TFP 2018: 65-78 - 2017
- [j9]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): 287-297 (2017) - 2016
- [j8]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): 48-53 (2016) - [j7]Marcus Lindner, Andreas Lindner, Per Lindgren:
RTFM-core: course in compiler construction. SIGBED Rev. 14(1): 29-36 (2016) - [c36]Jan Olaf Blech, Per Lindgren, David Pereira, Valeriy Vyatkin, Alois Zoitl:
A Comparison of Formal Verification Approaches for IEC 61499. ETFA 2016: 1-4 - [c35]Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho:
Towards certified compilation of RTFM-core applications. ETFA 2016: 1-6 - [c34]Marcus Lindner, Andreas Lindner, Per Lindgren:
Safe tasks: Run time verification of the RTFM-lang model of computation. ETFA 2016: 1-8 - [c33]Per Lindgren, Marcus Lindner, David Pereira, Luís Miguel Pinho:
Contract based verification of IEC 61499. INDIN 2016: 132-141 - 2015
- [c32]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: 1-6 - [c31]Andreas Lindner, Marcus Lindner, Per Lindgren:
RTFM-RT: A threaded runtime for RTFM-core - towards execution of IEC 61499. ETFA 2015: 1-8 - [c30]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 - [c29]Per Lindgren, Johan Eriksson, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho:
Response time for IEC 61499 over Ethernet. INDIN 2015: 1206-1212 - [c28]Per Lindgren, Marcus Lindner, Andreas Lindner, David Pereira, Luís Miguel Pinho:
Well-formed control flow for critical sections in RTFM-core. INDIN 2015: 1438-1445 - [c27]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: 293-300 - 2014
- [c26]Marcus Lindner, Andreas Lindner, Per Lindgren:
RTFM-core: Course in Compiler Construction. WESE 2014: 4:1-4:9 - [c25]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: 1-6 - 2013
- [c24]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: 1-7 - [c23]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: 110-113 - 2012
- [c22]Per Lindgren, Henrik Mäkitaavola, Johan Eriksson, Jens Eliasson:
Leveraging tinyos for integration in process automation and control systems. IECON 2012: 5779-5785 - [c21]Pawel Pietrzak, Per Lindgren, Henrik Mäkitaavola:
Towards a lightweight CEP engine for embedded systems. IECON 2012: 5805-5810 - 2011
- [c20]Jimmie Wiklander, Johan Eriksson, Per Lindgren:
An IDE for component-based design of embedded real-time software. SIES 2011: 47-50 - 2010
- [c19]Wolfgang Birk, Jens Eliasson, Per Lindgren, Evgeny Osipov, Laurynas Riliskis:
Road Surface Networks technology enablers for enhanced ITS. VNC 2010: 152-159
2000 – 2009
- 2009
- [j6]Jimmie Wiklander, Jens Eliasson, Andrey Kruglyak, Per Lindgren, Johan Nordlander:
Enabling Component-Based Design for Embedded Real-Time Software. J. Comput. 4(12): 1309-1321 (2009) - 2008
- [j5]Jens Eliasson, Per Lindgren, Jerker Delsing:
A Bluetooth-based Sensor Node for Low-Power Ad Hoc Networks. J. Comput. 3(5): 1-10 (2008) - [c18]Per Lindgren, Simon Aittamaa, Johan Eriksson:
IP over CAN, Transparent Vehicular to Infrastructure Access. CCNC 2008: 758-759 - [c17]Per Lindgren, Johan Eriksson, Simon Aittamaa, Johan Nordlander:
TinyTimber, Reactive Objects in C for Real-Time Embedded Systems. DATE 2008: 1382-1385 - 2007
- [c16]Viktor Leijon, Per Lindgren, Johan Eriksson:
FIFO WiDOM: Timely control over wireless links. CCA 2007: 1024-1030 - [c15]Martin Kero, Johan Nordlander, Per Lindgren:
A correct and useful incremental copying garbage collector. ISMM 2007: 129-140 - [c14]Jens Eliasson, Per Lindgren, Jerker Delsing, Simon J. Thompson, Yi-Bing Cheng:
A Power Management Architecture for Sensor Nodes. WCNC 2007: 3008-3013 - 2006
- [j4]Åke Östmark, Jens Eliasson, Per Lindgren, Aart van Halteren, Lianne Meppelink:
An Infrastructure for Service Oriented Sensor Networks. J. Comput. 1(5): 20-29 (2006) - [c13]Åke Östmark, Per Lindgren, Aart van Halteren, Lianne Meppelink:
Service and device discovery of nodes in a wireless sensor network. CCNC 2006: 218-222 - [c12]Jens Eliasson, Magnus Lundberg, Per Lindgren:
Time synchronous Bluetooth sensor networks. CCNC 2006: 336-340 - 2004
- [j3]Jerker Delsing, Per Lindgren, Åke Östmark:
Mobile internet enabled sensors using mobile phones as access network. J. Inf. Technol. Constr. 9: 381-388 (2004) - [c11]Josef Hallberg, Sara Svensson, Åke Östmark, Per Lindgren, Kåre Synnes, Jerker Delsing:
Enriched Media-Experience of Sport Events. WMCSA 2004: 2-9 - 2002
- [c10]Mikael Kerttu, Per Lindgren, Mitchell A. Thornton, Rolf Drechsler:
Switching activity estimation of finite state machines for low power synthesis. ISCAS (4) 2002: 65-68 - [c9]Mikael Kerttu, Per Lindgren, Rolf Drechsler, Mitchell A. Thornton:
Low Power Optimization Techniques for BDD Mapped Finite State Machines. IWLS 2002: 143-148 - 2001
- [c8]Per Lindgren, Mikael Kerttu, Mitchell A. Thornton, Rolf Drechsler:
Low power optimization technique for BDD mapped circuits. ASP-DAC 2001: 615-621 - 2000
- [c7]Per Lindgren, Rolf Drechsler, Bernd Becker:
Minimization of Ordered Pseudo Kronecker Decision Diagrams. ICCD 2000: 504-510
1990 – 1999
- 1999
- [b1]Per Lindgren:
Applications of decision diagrams in digital circuit design. Luleå University of Technology, Sweden, 1999 - [c6]Per Lindgren, Rolf Drechsler, Bernd Becker:
Synthesis of Pseudo Kronecker Lattice Diagrams. ICCD 1999: 307-310 - 1998
- [c5]Per Lindgren, Rolf Drechsler, Bernd Becker:
Look-up Table FPGA Synthesis from Minimized Multi-Valued Pseudo Kronecker Expressions. ISMVL 1998: 95-101 - 1996
- [j2]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): 298-305 (1996) - 1995
- [c4]Per Lindgren:
Improved computational methods and lazy evaluation of the Ordered Ternary Decision Diagram. ASP-DAC 1995 - 1994
- [j1]Christer Bohm, Per Lindgren, Lars H. Ramfelt, Peter Sjödin:
The DTM Gigabit Network. J. High Speed Networks 3(2): 109-126 (1994) - [c3]Glenn Jennings, Joachim Isaksson, Per Lindgren:
Ordered ternary decision diagrams and the multivalued compiled simulation of unmapped logic. Annual Simulation Symposium 1994: 99-105 - [c2]Per Lindgren, Christer Bohm:
Fast Connection Establishment in the DTM Gigabit Network. HPN 1994: 285-296 - 1992
- [c1]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: 101-112
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 2025-01-28 22:32 CET 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:
