Fredrik Larsson

24 papers A* 1A 4B 1C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
A micromorphic phase-field model for brittle and quasi-brittle fracture.
CoRR
Ritukesh Bharali, Fredrik Larsson, Ralf Jänicke
2022 J jnl
Phase-field fracture irreversibility using the slack variable approach.
CoRR
Ritukesh Bharali, Fredrik Larsson, Ralf Jänicke
2016 A conf
Verdict machinery: on the need to automatically make sense of test results.
ISSTA
Mikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione
2015 J jnl
Erratum to: Weakly periodic boundary conditions for the homogenization of flow in porous media.
Adv. Model. Simul. Eng. Sci.
Carl Sandström, Fredrik Larsson, Kenneth Runesson
2015 J jnl
On the variationally consistent computational homogenization of elasticity in the incompressible limit.
Adv. Model. Simul. Eng. Sci.
Mikael Öhman, Kenneth Runesson, Fredrik Larsson
2015 — conf
Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation Project.
AMCIS
Fredrik Larsson, Lazar Rusu, Parisa Aasi
2014 J jnl
Weakly periodic boundary conditions for the homogenization of flow in porous media.
Adv. Model. Simul. Eng. Sci.
Carl Sandström, Fredrik Larsson, Kenneth Runesson
2013 J jnl
Online Learning of Correspondences between Images.
IEEE Trans. Pattern Anal. Mach. Intell.
Michael Felsberg, Fredrik Larsson, Johan Wiklund, Niclas Wadströmer, Jörgen Ahlberg
2011 C conf
Bicycle tracking using ellipse extraction.
FUSION
Tohid Ardeshiri, Fredrik Larsson, Fredrik Gustafsson, Thomas B. Schön, Michael Felsberg
2011 — —
Shape Based Recognition - Cognitive Vision Systems in Traffic Safety Applications.
Fredrik Larsson
2011 — conf
Using Fourier Descriptors and Spatial Models for Traffic Sign Recognition.
SCIA
Fredrik Larsson, Michael Felsberg
2010 B conf
Torchlight Navigation.
ICPR
Michael Felsberg, Fredrik Larsson, Han Wang, Anders Ynnerman, Thomas B. Schön
2009 — conf
Learning Higher-Order Markov Models for Object Tracking in Image Sequences.
ISVC (2)
Michael Felsberg, Fredrik Larsson
2009 Misc conf
Patch Contour Matching by Correlating Fourier Descriptors.
DICTA
Fredrik Larsson, Michael Felsberg, Per-Erik Forssén
2009 J jnl
Simultaneously learning to recognize and control a low-cost robotic arm.
Image Vis. Comput.
Fredrik Larsson, Erik Jonsson, Michael Felsberg
2003 J jnl
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.
Real Time Syst.
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2002 J jnl
Automated verification of an audio-control protocol using UPPAAL.
J. Log. Algebraic Methods Program.
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
2002 J jnl
Simics: A Full System Simulation Platform.
Computer
Peter S. Magnusson, Magnus Christensson, Jesper Eskilson, Daniel Forsgren, Gustav Hållberg, Johan Högberg, Fredrik Larsson, Andreas Moestedt, Bengt Werner
2000 A conf
On Memory-Block Traversal Problems in Model-Checking Timed-Systems.
TACAS
Fredrik Larsson, Paul Pettersson, Wang Yi
1998 — conf
SimICS/Sun4m: A Virtual Workstation.
USENIX ATC
Peter S. Magnusson, Fredrik Larsson, Andreas Moestedt, Bengt Werner, Jim Nilsson, Per Stenström, Fredrik Lundholm, Magnus Karlsson, Fredrik Dahlgren, Håkan Grahn
1997 A conf
Efficient verification of real-time systems: compact data structure and state-space reduction.
RTSS
Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1996 A conf
UPPAAL in 1995.
TACAS
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1996 A* conf
Verification of an Audio Protocol with Bus Collision Using UPPAAL.
CAV
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
1995 — conf
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems.
Hybrid Systems
Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi