Lars-Åke Fredlund

76 papers A* 1A 5B 3C 6Misc 1Journal 16Unranked 42

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Makina: A QuickCheck state machine library. J. Log. Algebraic Methods Program. Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
2025	C	`conf`	Checking Concurrency Coding Rules. PADL Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
2025	J	`jnl`	CyberESP: An Integrated Cybersecurity Framework for SMEs. J. Softw. Evol. Process. José A. Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ana María Moreno
2025	—	`conf`	Cybersecurity Vulnerabilities Management for Small and Medium Enterprises. EuroSPI (1) José Antonio Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ricardo Colomo-Palacios, Ana M. Moreno
2025	J	`jnl`	Executable contracts for Elixir. J. Log. Algebraic Methods Program. Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño, Clara Benac Earle
2025	J	`jnl`	Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program. Ignacio Ballesteros, Clara Benac Earle, Julio Mariño, Lars-Åke Fredlund, Ángel Herranz
2024	—	`conf`	Controlled Scheduling of Concurrent Elixir Programs. Erlang Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2024	—	`conf`	Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. EuroSPI (1) José Antonio Calvo-Manzano, Tomás San Feliu, Ángel Herranz, Julio Mariño, Lars-Åke Fredlund, Ricardo Colomo-Palacios, Ana María Moreno
2023	J	`jnl`	A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program. Álvaro Fernández Díaz, Lars-Åke Fredlund, Clara Benac Earle, Julio Mariño
2023	J	`jnl`	Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program. Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2023	—	`conf`	Generation and Refinement of Testing Models. Erlang Workshop Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz, Julio Mariño
2023	J	`jnl`	Testing feature-rich blockchains. Softw. Pract. Exp. Thomas Arts, Hans Svensson, Clara Benac Earle, Lars-Åke Fredlund
2022	—	`conf`	Automatic Generation of Attacker Contracts in Solidity. FMBC@CAV Ignacio Ballesteros, Clara Benac Earle, Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Julio Mariño
2022	—	`conf`	Executable contracts for Elixir. Erlang Workshop Sergio Pérez, Luis Eduardo Bueso de Barrio, Ignacio Ballesteros, Ángel Herranz, Julio Mariño, Clara Benac Earle, Lars-Åke Fredlund
2021	—	`conf`	Makina: a new QuickCheck state machine library. Erlang Workshop Luis Eduardo Bueso de Barrio, Lars-Åke Fredlund, Ángel Herranz, Clara Benac Earle, Julio Mariño
2019	A	`conf`	A Property-based Testing Framework for Multi-Agent Systems. AAMAS Clara Benac Earle, Lars-Åke Fredlund
2019	—	`conf`	Gaining trust by tracing security protocols. Erlang Workshop Lars-Åke Fredlund, Clara Benac Earle, Thomas Arts, Hans Svensson
2019	J	`jnl`	Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model. Julio Mariño, Raúl N. N. Alborodo, Lars-Åke Fredlund, Ángel Herranz-Nieva
2018	—	`conf`	Pitfalls of Jason Concurrency. EMAS@AAMAS Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2018	—	`conf`	Runtime Verification in Erlang by Using Contracts. WFLP Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2018	J	`jnl`	Runtime verification in Erlang by using contracts. CoRR Lars-Åke Fredlund, Julio Mariño, Sergio Pérez, Salvador Tamarit
2016	B	`conf`	Automatic Grading of Programming Exercises using Property-Based Testing. ITiCSE Clara Benac Earle, Lars-Åke Fredlund, John Hughes
2015	J	`jnl`	Adding distribution and fault tolerance to Jason. Sci. Comput. Program. Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2015	—	`conf`	Applying Property-Based Testing in Teaching Safety-Critical System Programming. EUROMICRO-SEAA Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2015	—	`conf`	Functional Testing of Java Programs. TFP Clara Benac Earle, Lars-Åke Fredlund
2015	J	`jnl`	Proceedings of the XIII Spanish Conference on Programming and Computer Languages (PROLE 2013). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Lars-Åke Fredlund
2015	—	`conf`	Teaching Software Safety to Master Students. EUROMICRO-SEAA Clara Benac Earle, Ana María Fernández-Soriano, Lars-Åke Fredlund, Elena Gómez-Martínez
2014	—	`conf`	A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. SEFM Workshops Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014	B	`conf`	Execution and Verification of UML State Machines with Erlang. SEFM Ricardo J. Rodríguez, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014	—	`conf`	Jsongen: a quickcheck based library for testing JSON web services. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund, Ángel Herranz-Nieva, Julio Mariño
2014	A	`conf`	Property-Based Testing of JSON Based Web Services. ICWS Lars-Åke Fredlund, Clara Benac Earle, Ángel Herranz-Nieva, Julio Mariño-Carballo
2014	—	`conf`	Teaching Students Property-Based Testing. EUROMICRO-SEAA Clara Benac Earle, Lars-Åke Fredlund, Julio Mariño, Thomas Arts
2012	—	`conf`	Adding distribution and fault tolerance to jason. AGERE!@SPLASH Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Erlang as an implementation platform for BDI languages. Erlang Workshop Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Static Partial Order Reduction for Probabilistic Concurrent Systems. QEST Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	Verification of Timed Erlang Programs Using McErlang. FMOODS/FORTE Clara Benac Earle, Lars-Åke Fredlund
2012	—	`conf`	eJason: An Implementation of Jason in Erlang. ProMAS Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2010	—	`conf`	A Case Study on Verifying a Supervisor Component Using McErlang. PROLE David Castro, Víctor M. Gulías, Clara Benac Earle, Lars-Åke Fredlund, Samuel Rivas
2010	—	`conf`	A unified semantics for future Erlang. Erlang Workshop Hans Svensson, Lars-Åke Fredlund, Clara Benac Earle
2010	—	`conf`	Implementing a multiagent negotiation protocol in Erlang. Erlang Workshop Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund
2010	—	`conf`	Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. TAIC PART Qiang Guo, John Derrick, Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Debugging and Verification of Multi-Agent Systems. EUROCAST Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Property-Based Testing - The ProTest Project. FMCO John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Åke Fredlund, Víctor M. Gulías, John Hughes, Simon J. Thompson
2009	—	`conf`	Recent improvements to the McErlang model checker. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund
2009	—	`conf`	Rigorous Software Development Using McErlang. JISBD Clara Benac Earle, Lars-Åke Fredlund
2008	—	`conf`	A Coding Rule Conformance Checker Integrated into GCC. PROLE Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo
2008	C	`conf`	Automatic Coding Rule Conformance Checking Using Logic Programming. PADL Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund
2008	—	`conf`	Verifying Robocup Teams. MoChArt Clara Benac Earle, Lars-Åke Fredlund, José Antonio Iglesias, Agapito Ledezma
2007	—	`conf`	A more accurate semantics for distributed Erlang. Erlang Workshop Hans Svensson, Lars-Åke Fredlund
2007	J	`jnl`	Automatic Coding Rule Conformance Checking Using Logic Programs CoRR Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro
2007	A	`conf`	McErlang: a model checker for a distributed functional programming language. ICFP Lars-Åke Fredlund, Hans Svensson
2007	—	`conf`	Model Checking a Video-on-Demand Server Using McErlang. EUROCAST Lars-Åke Fredlund, Juan José Sánchez Penas
2007	—	`ed.`	Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 Erlang Workshop Simon J. Thompson, Lars-Åke Fredlund
2007	—	`conf`	Programming distributed Erlang applications: pitfalls and recipes. Erlang Workshop Hans Svensson, Lars-Åke Fredlund
2006	—	`conf`	Model checking erlang programs: the functional approach. Erlang Workshop Lars-Åke Fredlund, Clara Benac Earle
2005	—	`conf`	Verification of Language Based Fault-Tolerance. EUROCAST Clara Benac Earle, Lars-Åke Fredlund
2005	—	`conf`	Verifying fault-tolerant Erlang programs. Erlang Workshop Clara Benac Earle, Lars-Åke Fredlund, John Derrick
2004	—	`conf`	Guaranteeing Correctness Properties of a Java Card Applet. RV@ETAPS Lars-Åke Fredlund
2003	J	`jnl`	A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf. Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov
2003	C	`conf`	Formal Methods Research at SICS and KTH: An Overview. FMICS Mads Dam, Lars-Åke Fredlund, Dilian Gurov
2002	C	`conf`	Model Checking of Multi-Applet JavaCard Applications. CARDIS Gennady Chugunov, Lars-Åke Fredlund, Dilian Gurov
2002	—	`conf`	Trace analysis of Erlang programs. Erlang Workshop Thomas Arts, Lars-Åke Fredlund
2002	J	`jnl`	Trace analysis of Erlang programs. ACM SIGPLAN Notices Thomas Arts, Lars-Åke Fredlund
2001	—	`—`	A framework for reasoning about Erlang code. Lars-Åke Fredlund
2001	A*	`conf`	Semi-Automated Verification of Erlang Code. ASE Lars-Åke Fredlund, Dilian Gurov, Thomas Noll
2001	A	`conf`	The Erlang Verification Tool. TACAS Thomas Noll, Lars-Åke Fredlund, Dilian Gurov
1999	—	`conf`	A Framework for Formal Reasoning about Open Distributed Systems. ASIAN Lars-Åke Fredlund, Dilian Gurov
1998	Misc	`conf`	On the verification of open distributed systems. SAC Mads Dam, Lars-Åke Fredlund
1998	A	`conf`	System Description: Verification of Distributed Erlang Programs. CADE Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov
1997	J	`jnl`	Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci. Lars-Åke Fredlund, Jan Friso Groote, Henri Korver
1997	—	`conf`	Toward Parametric Verification of Open Distributed Systems. COMPOS Mads Dam, Lars-Åke Fredlund, Dilian Gurov
1996	—	`conf`	Formalising and Prototyping a Concurrent Object-Based Language. LOMAPS Lars-Åke Fredlund, Jari Koistinen, Fredrik Orava
1991	J	`jnl`	Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991). Comput. Commun. Rev. Lars-Åke Fredlund
1991	C	`conf`	Modelling Dynamic Communication Structures in LOTOS. FORTE Lars-Åke Fredlund, Fredrik Orava
1991	C	`conf`	Specification and Validation of a Simple Overtaking Protokol using LOTOS. FORTE Patrik Ernberg, Lars-Åke Fredlund, Bengt Jonsson
1990	B	`conf`	An Implementation of a Translational Semantics for an Imperative Language. CONCUR Lars-Åke Fredlund, Bengt Jonsson, Joachim Parrow