Fredrik Larsson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
1996–2016
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISSTA | Verdict machinery: on the need to automatically make sense of test results. | Mikael Fagerstrm, Emre Emir Ismail, Grischa Liebel, Rohit Guliani, Fredrik Larsson, Karin Nordling, Eric Knauss, Patrizio Pelliccione |
| 2011 | FUSION | Bicycle tracking using ellipse extraction. | Tohid Ardeshiri, Fredrik Larsson, Fredrik Gustafsson, Thomas B. Schn, Michael Felsberg |
| 2010 | ICPR | Torchlight Navigation. | Michael Felsberg, Fredrik Larsson, Han Wang, Anders Ynnerman, Thomas B. Schn |
| 2009 | DICTA | Patch Contour Matching by Correlating Fourier Descriptors. | Fredrik Larsson, Michael Felsberg, Per-Erik Forssn |
| 2009 | ISVC | Learning Higher-Order Markov Models for Object Tracking in Image Sequences. | Michael Felsberg, Fredrik Larsson |
| 2000 | TACAS | On Memory-Block Traversal Problems in Model-Checking Timed-Systems. | Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1998 | USENIX | SimICS/Sun4m: A Virtual Workstation. | Peter S. Magnusson, Fredrik Larsson, Andreas Moestedt, Bengt Werner, Jim Nilsson, Per Stenstrm, Fredrik Lundholm, Magnus Karlsson, Fredrik Dahlgren, Hkan Grahn |
| 1997 | RTSS | Efficient verification of real-time systems: compact data structure and state-space reduction. | Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | CAV | Verification of an Audio Protocol with Bus Collision Using UPPAAL. | Johan Bengtsson, W. O. David Griffioen, Kre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |
| 1996 | TACAS | UPPAAL in 1995. | Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi |