Fredrik Larsson - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 21 from 21

2016

Verdict machinery: on the need to automatically make sense of test resultsMikael Fagerström, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione. ISSTA 2016: 225-234 [doi]

2015

Organizational Structure in IT Governance: A Case Study of an IT Governance Implementation ProjectFredrik Larsson, Lazar Rusu, Parisa Aasi. amcis 2015: [doi]

Erratum to: Weakly periodic boundary conditions for the homogenization of flow in porous mediaCarl Sandström, Fredrik Larsson, Kenneth Runesson. amses, 2(1), 2015. [doi]

On the variationally consistent computational homogenization of elasticity in the incompressible limitMikael Öhman, Kenneth Runesson, Fredrik Larsson. amses, 2(1), 2015. [doi]

2014

Weakly periodic boundary conditions for the homogenization of flow in porous mediaCarl Sandström, Fredrik Larsson, Kenneth Runesson. amses, 1(1), 2014. [doi]

2013

Online Learning of Correspondences between ImagesMichael Felsberg, Fredrik Larsson, Johan Wiklund, Niclas Wadströmer, Jörgen Ahlberg. pami, 35(1):118-129, 2013. [doi]

2011

Bicycle tracking using ellipse extractionTohid Ardeshiri, Fredrik Larsson, Fredrik Gustafsson, Thomas B. Schön, Michael Felsberg. fusion 2011: 1-8 [doi]

Using Fourier Descriptors and Spatial Models for Traffic Sign RecognitionFredrik Larsson, Michael Felsberg. scia 2011: 238-249 [doi]

2010

Torchlight NavigationMichael Felsberg, Fredrik Larsson, Wang Han, Anders Ynnerman, Thomas B. Schon. icpr 2010: 302-306 [doi]

2009

Learning Higher-Order Markov Models for Object Tracking in Image SequencesMichael Felsberg, Fredrik Larsson. isvc 2009: 184-195 [doi]

Patch Contour Matching by Correlating Fourier DescriptorsFredrik Larsson, Michael Felsberg, Per-Erik ForssÃ©n. dicta 2009: 40-46 [doi]

Simultaneously learning to recognize and control a low-cost robotic armFredrik Larsson, Erik Jonsson, Michael Felsberg. ivc, 27(11):1729-1739, 2009. [doi]

2003

Compact Data Structures and State-Space Reduction for Model-Checking Real-Time SystemsKim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. rts, 25(2-3):255-275, 2003. [doi]

2002

2000

On Memory-Block Traversal Problems in Model-Checking Timed-SystemsFredrik Larsson, Paul Pettersson, Wang Yi. TACAS 2000: 127-141 [doi]

1998

SimICS/Sun4m: A Virtual WorkstationPeter S. Magnusson, Fredrik Larsson, Andreas Moestedt, Bengt Werner, Jim Nilsson, Per Stenström, Fredrik Lundholm, Magnus Karlsson, Fredrik Dahlgren, Håkan Grahn. usenix 1998: [doi]

1997

Efficient verification of real-time systems: compact data structure and state-space reductionKim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. rtss 1997: 14-24 [doi]

1996

UPPAAL in 1995Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. TACAS 1996: 431-434

Verification of an Audio Protocol with Bus Collision Using UPPAALJohan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. cav 1996: 244-256

1995

UPPAAL - a Tool Suite for Automatic Verification of Real-Time SystemsJohan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi. hybrid 1996: 232-243

Sign in or sign up to see more results.

runs on WebDSL