Fredrik Larsson

According to our database, Fredrik Larsson authored at least 24 papers between 1995 and 2022.

Collaborative distances:

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

2022

A micromorphic phase-field model for brittle and quasi-brittle fracture.

Ritukesh Bharali, Fredrik Larsson, Ralf Jänicke

CoRR, 2022

Phase-field fracture irreversibility using the slack variable approach.

Ritukesh Bharali, Fredrik Larsson, Ralf Jänicke

CoRR, 2022

2016

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

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

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

On the variationally consistent computational homogenization of elasticity in the incompressible limit.

Mikael Öhman, Kenneth Runesson, Fredrik Larsson

Adv. Model. Simul. Eng. Sci., 2015

Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation Project.

Fredrik Larsson, Lazar Rusu, Parisa Aasi

Proceedings of the 21st Americas Conference on Information Systems, 2015

2014

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

2013

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

2011

Shape Based Recognition - Cognitive Vision Systems in Traffic Safety Applications.

Fredrik Larsson

PhD thesis, 2011

Using Fourier Descriptors and Spatial Models for Traffic Sign Recognition.

Fredrik Larsson, Michael Felsberg

Proceedings of the Image Analysis - 17th Scandinavian Conference, 2011

Bicycle tracking using ellipse extraction.

Tohid Ardeshiri, Fredrik Larsson, Fredrik Gustafsson, Thomas B. Schön, Michael Felsberg

Proceedings of the 14th International Conference on Information Fusion, 2011

2010

Torchlight Navigation.

Michael Felsberg, Fredrik Larsson, Han Wang, Anders Ynnerman, Thomas B. Schön

Proceedings of the 20th International Conference on Pattern Recognition, 2010

2009

Simultaneously learning to recognize and control a low-cost robotic arm.

Fredrik Larsson, Erik Jonsson, Michael Felsberg

Image Vis. Comput., 2009

Learning Higher-Order Markov Models for Object Tracking in Image Sequences.

Michael Felsberg, Fredrik Larsson

Proceedings of the Advances in Visual Computing, 5th International Symposium, 2009

Patch Contour Matching by Correlating Fourier Descriptors.

Fredrik Larsson, Michael Felsberg, Per-Erik Forssén

Proceedings of the DICTA 2009, 2009

2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.

Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Real Time Syst., 2003

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

J. Log. Algebraic Methods Program., 2002

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

2000

On Memory-Block Traversal Problems in Model-Checking Timed-Systems.

Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1998

SimICS/Sun4m: A Virtual Workstation.

Peter S. Magnusson, Fredrik Larsson, Andreas Moestedt, Bengt Werner, Jim Nilsson, Per Stenström, Fredrik Lundholm, Magnus Karlsson, Fredrik Dahlgren, Håkan Grahn

Proceedings of the 1998 USENIX Annual Technical Conference, 1998

1997

Efficient verification of real-time systems: compact data structure and state-space reduction.

Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the 18th IEEE Real-Time Systems Symposium (RTSS '97), 1997

1996

UPPAAL in 1995.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

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

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.

Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi

Proceedings of the Hybrid Systems III: Verification and Control, 1995