Lars-Åke Fredlund

Lars-åke Fredlund

	2011
37		David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas: A Case Study on Verifying a Supervisor Component Using McErlang. Electr. Notes Theor. Comput. Sci. 271: 23-40 (2011)
	2010
36		Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle: A unified semantics for future Erlang. Erlang Workshop 2010: 23-32
35		Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74
34		Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund: Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART 2010: 23-38
	2009
33		Clara Benac Earle, Lars-Åke Fredlund: Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270
32		Clara Benac Earle, Lars-Åke Fredlund: Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100
31		John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson: Property-Based Testing - The ProTest Project. FMCO 2009: 250-271
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: 267-272 (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] [31]
2	Manuel Carro	[21] [27] [29]
3	David Castro	[37]
4	Francesco Cesarini	[31]
5	Gennady Chugunov	[14] [15]
6	Mads Dam	[6] [7] [8] [15] [16]
7	John Derrick	[18] [31] [34]
8	Álvaro Fernández Díaz	[35]
9	Clara Benac Earle	[18] [19] [20] [28] [30] [31] [32] [33] [34] [35] [36] [37]
10	Patrik Ernberg	[2]
11	Jan Friso Groote	[5]
12	Víctor M. Gulías	[31] [37]
13	Qiang Guo	[34]
14	Dilian Gurov	[6] [8] [9] [10] [11] [14] [15]
15	Dillian Guruv	[16]
16	Ángel Herranz-Nieva	[21] [27] [29]
17	John Hughes	[31]
18	José Antonio Iglesias	[28]
19	Bengt Jonsson	[1] [2]
20	Jari Koistinen	[4]
21	Henri Korver	[5]
22	Agapito Ledezma (Agapito Ledezma Espino)	[28]
23	Julio Mariño-Carballo (Julio Mariño)	[21] [27] [29]
24	Guillem Marpons-Ucero	[21] [27] [29]
25	Juan José Moreno-Navarro	[21] [27] [29]
26	Thomas Noll	[10] [11] [15]
27	Fredrik Orava	[3] [4]
28	Joachim Parrow	[1]
29	Juan José Sánchez Penas	[25]
30	Álvaro Polo	[29]
31	Samuel Rivas	[37]
32	Hans Svensson	[22] [23] [24] [36]
33	Simon J. Thompson	[26] [31]
34	Neil Walkinshaw	[31]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page