Lars-Åke Fredlund

Lars-åke Fredlund

	2012
c31		Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Erlang as an implementation platform for BDI languages. Erlang Workshop 2012: 1-10
c30		Clara Benac Earle, Lars-Åke Fredlund: Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE 2012: 251-267
c29		Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund: Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST 2012: 104-113
	2011
j7		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
c28		Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle: A unified semantics for future Erlang. Erlang Workshop 2010: 23-32
c27		Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund: Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop 2010: 69-74
c26		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
j6		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)
c25		Clara Benac Earle, Lars-Åke Fredlund: Recent improvements to the McErlang model checker. Erlang Workshop 2009: 93-100
c24		Clara Benac Earle, Lars-Åke Fredlund: Debugging and Verification of Multi-Agent Systems. EUROCAST 2009: 263-270
c23		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
c22		Clara Benac Earle, Lars-Åke Fredlund: Rigorous Software Development Using McErlang. JISBD 2009: 355-358
	2008
c21		Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma: Verifying Robocup Teams. MoChArt 2008: 34-48
c20		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
c19		Hans Svensson, Lars-Åke Fredlund: Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop 2007: 37-42
c18		Hans Svensson, Lars-Åke Fredlund: A more accurate semantics for distributed Erlang. Erlang Workshop 2007: 43-54
c17		Lars-Åke Fredlund, Juan José Sánchez Penas: Model Checking a Video-on-Demand Server Using McErlang. EUROCAST 2007: 539-546
c16		Lars-Åke Fredlund, Hans Svensson: McErlang: a model checker for a distributed functional programming language. ICFP 2007: 125-136
e1		Simon J. Thompson, Lars-Åke Fredlund (Eds.): Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM 2007, isbn 978-1-59593-675-2
i1		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
c15		Lars-Åke Fredlund, Clara Benac Earle: Model checking erlang programs: the functional approach. Erlang Workshop 2006: 11-19
	2005
j5		Lars-Åke Fredlund: Guaranteeing Correctness Properties of a Java Card Applet. Electr. Notes Theor. Comput. Sci. 113: 217-233 (2005)
c14		Clara Benac Earle, Lars-Åke Fredlund, John Derrick: Verifying fault-tolerant Erlang programs. Erlang Workshop 2005: 26-34
c13		Clara Benac Earle, Lars-Åke Fredlund: Verification of Language Based Fault-Tolerance. EUROCAST 2005: 140-149
	2003
j4		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)
j3		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
j2		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. SIGPLAN Notices 37(12): 18-24 (2002)
c12		Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov: Model Checking of Multi-Applet JavaCard Applications. CARDIS 2002: 87-96
c11		Thomas Arts, Lars-Åke Fredlund: Trace analysis of Erlang programs. Erlang Workshop 2002: 16-23
	2001
c10		Lars-Åke Fredlund, Dilian Gurov, Thomas Noll: Semi-Automated Verification of Erlang Code. ASE 2001: 319-323
c9		Thomas Noll, Lars-Åke Fredlund, Dilian Gurov: The Erlang Verification Tool. TACAS 2001: 582-586
	1999
c8		Lars-Åke Fredlund, Dilian Gurov: A Framework for Formal Reasoning about Open Distributed Systems. ASIAN 1999: 87-100
	1998
c7		Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov: System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41
c6		Mads Dam, Lars-Åke Fredlund: On the verification of open distributed systems. SAC 1998: 532-540
	1997
j1		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)
c5		Mads Dam, Lars-Åke Fredlund, Dilian Gurov: Toward Parametric Verification of Open Distributed Systems. COMPOS 1997: 150-185
	1996
c4		Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava: Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS 1996: 116-125
	1991
c3		Lars-Åke Fredlund, Fredrik Orava: Modelling Dynamic Communication Structures in LOTOS. FORTE 1991: 185-200
c2		Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson: Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE 1991: 377-392
	1990
c1		Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow: An Implementation of a Translational Semantics for an Imperative Language. CONCUR 1990: 246-262

Coauthor Index

Colors in the list of coauthors

Last update Sun May 26 08:01:03 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page