UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Hybrid Systems, 1995)

Verification of an Audio Protocol with Bus Collision Using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (CAV, 1996)

UPPAAL in 1995. - Johan Bengtsson; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 1996)

Efficient verification of real-time systems: compact data structure and state-space reduction. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (RTSS, 1997)

SimICS/Sun4m: A Virtual Workstation. - Peter S. Magnusson; Fredrik Larsson; Andreas Moestedt; Bengt Werner; Jim Nilsson; Per Stenström; Fredrik Lundholm; Magnus Karlsson 002; Fredrik Dahlgren; Håkan Grahn (USENIX ATC, 1998)

On Memory-Block Traversal Problems in Model-Checking Timed-Systems. - Fredrik Larsson; Paul Pettersson; Wang Yi 001 (TACAS, 2000)

Simics: A Full System Simulation Platform. - Peter S. Magnusson; Magnus Christensson; Jesper Eskilson; Daniel Forsgren; Gustav Hållberg; Johan Högberg; Fredrik Larsson; Andreas Moestedt; Bengt Werner (Computer, 2002)

Automated verification of an audio-control protocol using UPPAAL. - Johan Bengtsson; W. O. David Griffioen; Kåre J. Kristoffersen; Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (J. Log. Algebraic Methods Program., 2002)

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. - Kim Guldstrand Larsen; Fredrik Larsson; Paul Pettersson; Wang Yi 001 (Real Time Syst., 2003)

Patch Contour Matching by Correlating Fourier Descriptors. - Fredrik Larsson; Michael Felsberg; Per-Erik Forssén (DICTA, 2009)

Learning Higher-Order Markov Models for Object Tracking in Image Sequences. - Michael Felsberg; Fredrik Larsson (ISVC (2), 2009)

Simultaneously learning to recognize and control a low-cost robotic arm. - Fredrik Larsson; Erik Jonsson; Michael Felsberg (Image Vis. Comput., 2009)

Torchlight Navigation. - Michael Felsberg; Fredrik Larsson; Han Wang 001; Anders Ynnerman; Thomas B. Schön (ICPR, 2010)

Bicycle tracking using ellipse extraction. - Tohid Ardeshiri; Fredrik Larsson; Fredrik Gustafsson; Thomas B. Schön; Michael Felsberg (FUSION, 2011)

Using Fourier Descriptors and Spatial Models for Traffic Sign Recognition. - Fredrik Larsson; Michael Felsberg (SCIA, 2011)

Shape Based Recognition - Cognitive Vision Systems in Traffic Safety Applications. - Fredrik Larsson (2011)

Online Learning of Correspondences between Images. - Michael Felsberg; Fredrik Larsson; Johan Wiklund; Niclas Wadströmer; Jörgen Ahlberg (IEEE Trans. Pattern Anal. Mach. Intell., 2013)

Weakly periodic boundary conditions for the homogenization of flow in porous media. - Carl Sandström; Fredrik Larsson; Kenneth Runesson (Adv. Model. Simul. Eng. Sci., 2014)

Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation Project. - Fredrik Larsson; Lazar Rusu; Parisa Aasi (AMCIS, 2015)

On the variationally consistent computational homogenization of elasticity in the incompressible limit. - Mikael Öhman; Kenneth Runesson; Fredrik Larsson (Adv. Model. Simul. Eng. Sci., 2015)

Erratum to: Weakly periodic boundary conditions for the homogenization of flow in porous media. - Carl Sandström; Fredrik Larsson; Kenneth Runesson (Adv. Model. Simul. Eng. Sci., 2015)

Verdict machinery: on the need to automatically make sense of test results. - Mikael Fagerström; Emre Emir Ismail; Grischa Liebel; Rohit Guliani; Fredrik Larsson; Karin Nordling; Eric Knauss; Patrizio Pelliccione (ISSTA, 2016)

Phase-field fracture irreversibility using the slack variable approach. - Ritukesh Bharali; Fredrik Larsson; Ralf Jänicke (CoRR, 2022)

A micromorphic phase-field model for brittle and quasi-brittle fracture. - Ritukesh Bharali; Fredrik Larsson; Ralf Jänicke (CoRR, 2022)