Lars-Åke Fredlund

Lars-åke Fredlund

	2009
32		Clara Benac Earle, Lars-Åke Fredlund: Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270
31		Clara Benac Earle, Lars-Åke Fredlund: Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100
30		Clara Benac Earle, Lars-Åke Fredlund: Rigorous Software Development Using McErlang. JISBD 2009: 355-358
29		Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo: A Coding Rule Conformance Checker Integrated into GCC. Electr. Notes Theor. Comput. Sci. 248: 149-159 (2009)
	2008
28		Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma: Verifying Robocup Teams. MoChArt 2008: 34-48
27		Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund: Automatic Coding Rule Conformance Checking Using Logic Programming. PADL 2008: 18-34
	2007
26		Simon J. Thompson, Lars-Åke Fredlund: Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 ACM 2007
25		Lars-Åke Fredlund, Juan José Sánchez Penas: Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546
24		Hans Svensson, Lars-Åke Fredlund: Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop 2007: 37-42
23		Hans Svensson, Lars-Åke Fredlund: A more accurate semantics for distributed Erlang. Erlang Workshop 2007: 43-54
22		Lars-Åke Fredlund, Hans Svensson: McErlang: a model checker for a distributed functional programming language. ICFP 2007: 125-136
21		Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro: Automatic Coding Rule Conformance Checking Using Logic Programs CoRR abs/0711.0344: (2007)
	2006
20		Lars-Åke Fredlund, Clara Benac Earle: Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19
	2005
19		Clara Benac Earle, Lars-Åke Fredlund: Verification of Language Based Fault-Tolerance. EUROCAST 2005: 140-149
18		Clara Benac Earle, Lars-Åke Fredlund, John Derrick: Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34
17		Lars-Åke Fredlund: Guaranteeing Correctness Properties of a Java Card Applet. Electr. Notes Theor. Comput. Sci. 113: 217-233 (2005)
	2003
16		Mads Dam, Lars-Åke Fredlund, Dillian Guruv: Formal Methods Research at SICS and KTH: An Overview. Electr. Notes Theor. Comput. Sci. 80: (2003)
15		Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003)
	2002
14		Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov: Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96
13		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23
12		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. SIGPLAN Notices 37(12): 18-24 (2002)
	2001
11		Lars-Åke Fredlund, Dilian Gurov, Thomas Noll: Semi-Automated Verification of Erlang Code. ASE 2001: 319-323
10		Thomas Noll, Lars-Åke Fredlund, Dilian Gurov: The Erlang Verification Tool. TACAS 2001: 582-586
	1999
9		Lars-Åke Fredlund, Dilian Gurov: A Framework for Formal Reasoning about Open Distributed Systems. ASIAN 1999: 87-100
	1998
8		Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov: System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41
7		Mads Dam, Lars-Åke Fredlund: On the verification of open distributed systems. SAC 1998: 532-540
	1997
6		Mads Dam, Lars-Åke Fredlund, Dilian Gurov: Toward Parametric Verification of Open Distributed Systems. COMPOS 1997: 150-185
5		Lars-Åke Fredlund, Jan Friso Groote, Henri Korver: Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. 177(2): 459-486 (1997)
	1996
4		Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava: Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS 1996: 116-125
	1991
3		Lars-Åke Fredlund, Fredrik Orava: Modelling Dynamic Communication Structures in LOTOS. FORTE 1991: 185-200
2		Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson: Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE 1991: 377-392
	1990
1		Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow: An Implementation of a Translational Semantics for an Imperative Language. CONCUR 1990: 246-262

Coauthor Index

1	Thomas Arts	[8] [12] [13] [15]
2	Manuel Carro	[21] [27] [29]
3	Gennady Chugunov	[14] [15]
4	Mads Dam	[6] [7] [8] [15] [16]
5	John Derrick	[18]
6	Clara Benac Earle	[18] [19] [20] [28] [30] [31] [32]
7	Patrik Ernberg	[2]
8	Jan Friso Groote	[5]
9	Dilian Gurov	[6] [8] [9] [10] [11] [14] [15]
10	Dillian Guruv	[16]
11	Ángel Herranz-Nieva	[21] [27] [29]
12	José Antonio Iglesias	[28]
13	Bengt Jonsson	[1] [2]
14	Jari Koistinen	[4]
15	Henri Korver	[5]
16	Agapito Ledezma	[28]
17	Julio Mariño-Carballo (Julio Mariño)	[21] [27] [29]
18	Guillem Marpons-Ucero	[21] [27] [29]
19	Juan José Moreno-Navarro	[21] [27] [29]
20	Thomas Noll	[10] [11] [15]
21	Fredrik Orava	[3] [4]
22	Joachim Parrow	[1]
23	Juan José Sánchez Penas	[25]
24	Álvaro Polo	[29]
25	Hans Svensson	[22] [23] [24]
26	Simon J. Thompson	[26]

Colors in the list of coauthors