Babel Group
UPM UPM

Fred

Lars-Åke Fredlund

Associate Professor

Hi!

I am an associate professor at the Universidad Politécnica de Madrid.

My current research and development interests focuses on functional programming, in particular Elixir and Erlang, and on the use of property-based testing to test software.

Publications

2025

  1. Executable contracts for Elixir
    Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Mariño, J., & Earle, C. B. (2025). Executable contracts for Elixir. J. Log. Algebraic Methods Program., 142, 101019.
  2. Generation of algebraic data type values using evolutionary algorithms
    Ballesteros, I., Earle, C. B., Mariño, J., Fredlund, L.-Å., & Ángel Herranz. (2025). Generation of algebraic data type values using evolutionary algorithms. J. Log. Algebraic Methods Program., 143, 101022.
  3. Checking Concurrency Coding Rules
    Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2025). Checking Concurrency Coding Rules. In E. Erdem & G. Vidal (Eds.), Practical Aspects of Declarative Languages - 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings (Vol. 15537, pp. 113–129). Springer.

2024

  1. Controlled Scheduling of Concurrent Elixir Programs
    Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2024). Controlled Scheduling of Concurrent Elixir Programs. In K. Fernandez-Reyes & A. L. Voinea (Eds.), Proceedings of the 23rd ACM SIGPLAN International Workshop on Erlang, Erlang 2024, Milan, Italy, 2 September 2024 (pp. 67–75). ACM.
  2. Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises
    Calvo-Manzano, J. A., Feliu, T. S., Ángel Herranz, Mariño, J., Fredlund, L.-Å., Colomo-Palacios, R., & Moreno Ana Marı́a. (2024). Towards an Integrated Cybersecurity Framework for Small and Medium Enterprises. In M. Yilmaz, P. M. Clarke, A. Riel, R. Messnarz, C. Greiner, & T. Peisl (Eds.), Systems, Software and Services Process Improvement - 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I (Vol. 2179, pp. 231–244). Springer.

2023

  1. Gaining trust by tracing security protocols
    Fredlund, L.-Å., Earle, C. B., Arts, T., & Svensson, H. (2023). Gaining trust by tracing security protocols. J. Log. Algebraic Methods Program., 130, 100829.
  2. A formal semantics for agent distribution and fault tolerance in Jason
    Fernández Dı́az, Fredlund, L.-Å., Earle, C. B., & Mariño, J. (2023). A formal semantics for agent distribution and fault tolerance in Jason. J. Log. Algebraic Methods Program., 133, 100874.
  3. Testing feature-rich blockchains
    Arts, T., Svensson, H., Earle, C. B., & Fredlund, L.-Å. (2023). Testing feature-rich blockchains. Softw. Pract. Exp., 53(5), 1144–1173.
  4. Generation and Refinement of Testing Models
    Bueso de Barrio, L. E., Fredlund, L.-Å., Earle, C. B., Ángel Herranz, & Mariño, J. (2023). Generation and Refinement of Testing Models. In B. K. Ozkan & K. Fernandez-Reyes (Eds.), Proceedings of the 22nd ACM SIGPLAN International Workshop on Erlang, Erlang 2023, Seattle, WA, USA, 4 September 2023 (pp. 14–23). ACM.

2022

  1. Automatic Generation of Attacker Contracts in Solidity
    Ballesteros, I., Earle, C. B., Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, & Mariño, J. (2022). Automatic Generation of Attacker Contracts in Solidity. In Z. Dargaye & C. Schneidewind (Eds.), 4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, August 11, 2022, Haifa, Israel (Vol. 105, pp. 3:1–3:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  2. Executable contracts for Elixir
    Pérez, S., Bueso de Barrio, L. E., Ballesteros, I., Ángel Herranz, Mariño, J., Earle, C. B., & Fredlund, L.-Å. (2022). Executable contracts for Elixir. In S. Aronis & B. K. Ozkan (Eds.), Erlang ’22: 21st ACM SIGPLAN International Workshop on Erlang, Ljubljana, Slovenia, 11 September 2022 (pp. 40–46). ACM.

2021

  1. Makina: a new QuickCheck state machine library
    Bueso de Barrio, L. E., Fredlund, L.-Å., Ángel Herranz, Earle, C. B., & Mariño, J. (2021). Makina: a new QuickCheck state machine library. In S. Aronis & A. Bieniusa (Eds.), Proceedings of the 20th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2021, Virtual Event, Korea, August 26, 2021 (pp. 41–53). ACM.

2019

  1. Synthesis of verifiable concurrent Java components from formal models
    Mariño, J., Alborodo, R. N. N., Fredlund, L.-Å., & Ángel Herranz-Nieva. (2019). Synthesis of verifiable concurrent Java components from formal models. Softw. Syst. Model., 18(1), 71–105.
  2. A Property-based Testing Framework for Multi-Agent Systems
    Earle, C. B., & Fredlund, L.-Å. (2019). A Property-based Testing Framework for Multi-Agent Systems. In E. Elkind, M. Veloso, N. Agmon, & M. E. Taylor (Eds.), Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS ’19, Montreal, QC, Canada, May 13-17, 2019 (pp. 1823–1825). International Foundation for Autonomous Agents and Multiagent Systems.
  3. Gaining trust by tracing security protocols
    Fredlund, L.-Å., Earle, C. B., Arts, T., & Svensson, H. (2019). Gaining trust by tracing security protocols. In A. Francalanza & V. Fördós (Eds.), Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang, Erlang@ICFP 2019, Berlin, Germany, August 18, 2019 (pp. 56–67). ACM.

2018

  1. Pitfalls of Jason Concurrency
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2018). Pitfalls of Jason Concurrency. In D. Weyns, V. Mascardi, & A. Ricci (Eds.), Engineering Multi-Agent Systems - 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers (Vol. 11375, pp. 19–33). Springer.
  2. Runtime Verification in Erlang by Using Contracts
    Fredlund, L.-Å., Mariño, J., Pérez, S., & Tamarit, S. (2018). Runtime Verification in Erlang by Using Contracts. In J. Silva (Ed.), Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers (Vol. 11285, pp. 56–73). Springer.
  3. Runtime verification in Erlang by using contracts
    Fredlund, L.-Å., Mariño, J., Pérez, S., & Tamarit, S. (2018). Runtime verification in Erlang by using contracts. CoRR, abs/1808.07937.

2016

  1. Automatic Grading of Programming Exercises using Property-Based Testing
    Earle, C. B., Fredlund, L.-Å., & Hughes, J. (2016). Automatic Grading of Programming Exercises using Property-Based Testing. In A. Clear, E. Cuadros-Vargas, J. Carter, & Y. Túpac (Eds.), Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016 (pp. 47–52). ACM.

2015

  1. Adding distribution and fault tolerance to Jason
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2015). Adding distribution and fault tolerance to Jason. Sci. Comput. Program., 98, 205–232.
  2. Teaching Software Safety to Master Students
    Earle, C. B., Fernández-Soriano Ana Marı́a, Fredlund, L.-Å., & Gómez-Martı́nez Elena. (2015). Teaching Software Safety to Master Students. 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 306–308.
  3. Applying Property-Based Testing in Teaching Safety-Critical System Programming
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2015). Applying Property-Based Testing in Teaching Safety-Critical System Programming. 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015, 309–316.
  4. Functional Testing of Java Programs
    Earle, C. B., & Fredlund, L.-Å. (2015). Functional Testing of Java Programs. In M. Serrano & J. Hage (Eds.), Trends in Functional Programming - 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers (Vol. 9547, pp. 40–59). Springer.

2014

  1. Jsongen: a quickcheck based library for testing JSON web services
    Earle, C. B., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Jsongen: a quickcheck based library for testing JSON web services. In L. M. Castro & H. Svensson (Eds.), Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, Gothenburg, Sweden, September 5, 2014 (pp. 33–41). ACM.
  2. Teaching Students Property-Based Testing
    Earle, C. B., Fredlund, L.-Å., Mariño, J., & Arts, T. (2014). Teaching Students Property-Based Testing. 40th EUROMICRO Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2014, Verona, Italy, August 27-29, 2014, 437–442.
  3. Property-Based Testing of JSON Based Web Services
    Fredlund, L.-Å., Earle, C. B., Ángel Herranz-Nieva, & Mariño-Carballo, J. (2014). Property-Based Testing of JSON Based Web Services. 2014 IEEE International Conference on Web Services, ICWS, 2014, Anchorage, AK, USA, June 27 - July 2, 2014, 704–707.
  4. A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems
    Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems. In C. Canal & A. Idani (Eds.), Software Engineering and Formal Methods - SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers (Vol. 8938, pp. 116–130). Springer.
  5. Execution and Verification of UML State Machines with Erlang
    Rodrı́guez Ricardo J., Fredlund, L.-Å., Ángel Herranz-Nieva, & Mariño, J. (2014). Execution and Verification of UML State Machines with Erlang. In D. Giannakopoulou & G. Salaün (Eds.), Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings (Vol. 8702, pp. 284–289). Springer.

2012

  1. Adding distribution and fault tolerance to jason
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). Adding distribution and fault tolerance to jason. In G. A. Agha, R. H. Bordini, A. Marron, & A. Ricci (Eds.), Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions, AGERE! 2012, October 21-22, 2012, Tucson, Arizona, USA (pp. 95–106). ACM.
  2. Erlang as an implementation platform for BDI languages
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). Erlang as an implementation platform for BDI languages. In T. Hoffman & J. Hughes (Eds.), Proceedings of the Eleventh ACM SIGPLAN Erlang Workshop, Copenhagen, Denmark, September 14, 2012 (pp. 1–10). ACM.
  3. Verification of Timed Erlang Programs Using McErlang
    Earle, C. B., & Fredlund, L.-Å. (2012). Verification of Timed Erlang Programs Using McErlang. In H. Giese & G. Rosu (Eds.), Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings (Vol. 7273, pp. 251–267). Springer.
  4. eJason: An Implementation of Jason in Erlang
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2012). eJason: An Implementation of Jason in Erlang. In M. Dastani, J. F. Hübner, & B. Logan (Eds.), Programming Multi-Agent Systems - 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers (Vol. 7837, pp. 1–16). Springer.
  5. Static Partial Order Reduction for Probabilistic Concurrent Systems
    Fernández Dı́az, Baier, C., Earle, C. B., & Fredlund, L.-Å. (2012). Static Partial Order Reduction for Probabilistic Concurrent Systems. Ninth International Conference on Quantitative Evaluation of Systems, QEST 2012, London, United Kingdom, September 17-20, 2012, 104–113.

2010

  1. A unified semantics for future Erlang
    Svensson, H., Fredlund, L.-Å., & Earle, C. B. (2010). A unified semantics for future Erlang. In S. L. Fritchie & K. Sagonas (Eds.), Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 (pp. 23–32). ACM.
  2. Implementing a multiagent negotiation protocol in Erlang
    Fernández Dı́az, Earle, C. B., & Fredlund, L.-Å. (2010). Implementing a multiagent negotiation protocol in Erlang. In S. L. Fritchie & K. Sagonas (Eds.), Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010 (pp. 69–74). ACM.
  3. Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
    Guo, Q., Derrick, J., Earle, C. B., & Fredlund, L.-Å. (2010). Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang. In L. Bottaci & G. Fraser (Eds.), Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings (Vol. 6303, pp. 23–38). Springer.
  4. A Case Study on Verifying a Supervisor Component Using McErlang
    Castro, D., Gulı́as Vı́ctor M., Earle, C. B., Fredlund, L.-Å., & Rivas, S. (2010). A Case Study on Verifying a Supervisor Component Using McErlang. In Gulı́as Vı́ctor M. & J. S. Galiana (Eds.), Proceedings of the Tenth Spanish Conference on Programming and Languages, PROLE 2010, Valencia, Spain, September 8-10, 2010 (Vol. 271, pp. 23–40). Elsevier.

2009

  1. Recent improvements to the McErlang model checker
    Earle, C. B., & Fredlund, L.-Å. (2009). Recent improvements to the McErlang model checker. In C. B. Earle & S. J. Thompson (Eds.), Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 (pp. 93–100). ACM.
  2. Debugging and Verification of Multi-Agent Systems
    Earle, C. B., & Fredlund, L.-Å. (2009). Debugging and Verification of Multi-Agent Systems. In Moreno-Dı́az Roberto, F. Pichler, & A. Quesada-Arencibia (Eds.), Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers (Vol. 5717, pp. 263–270). Springer.
  3. Property-Based Testing - The ProTest Project
    Derrick, J., Walkinshaw, N., Arts, T., Earle, C. B., Cesarini, F., Fredlund, L.-Å., Gulı́as Vı́ctor M., Hughes, J., & Thompson, S. J. (2009). Property-Based Testing - The ProTest Project. In F. S. de Boer, M. M. Bonsangue, S. Hallerstede, & M. Leuschel (Eds.), Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers (Vol. 6286, pp. 250–271). Springer.
  4. Rigorous Software Development Using McErlang
    Earle, C. B., & Fredlund, L.-Å. (2009). Rigorous Software Development Using McErlang. In A. Vallecillo & G. Sagardui (Eds.), XIV Jornadas de Ingenierı́a del Software y Bases de Datos (JISBD 2009), San Sebastián, Spain, September 8-11, 2009 (pp. 355–358).

2008

  1. Verifying Robocup Teams
    Earle, C. B., Fredlund, L.-Å., Iglesias, J. A., & Ledezma, A. (2008). Verifying Robocup Teams. In D. A. Peled & M. J. Wooldridge (Eds.), Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers (Vol. 5348, pp. 34–48). Springer.
  2. Automatic Coding Rule Conformance Checking Using Logic Programming
    Marpons-Ucero, G., Mariño-Carballo, J., Carro, M., Ángel Herranz-Nieva, Moreno-Navarro, J. J., & Fredlund, L.-Å. (2008). Automatic Coding Rule Conformance Checking Using Logic Programming. In P. Hudak & D. S. Warren (Eds.), Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008 (Vol. 4902, pp. 18–34). Springer.
  3. A Coding Rule Conformance Checker Integrated into GCC
    Marpons-Ucero, G., Mariño, J., Carro, M., Ángel Herranz-Nieva, Fredlund, L.-Å., Moreno-Navarro, J. J., & Álvaro Polo. (2008). A Coding Rule Conformance Checker Integrated into GCC. In J. M. Almendros-Jiménez (Ed.), Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008 (Vol. 248, pp. 149–159). Elsevier.

2007

  1. Programming distributed Erlang applications: pitfalls and recipes
    Svensson, H., & Fredlund, L.-Å. (2007). Programming distributed Erlang applications: pitfalls and recipes. In S. J. Thompson & L.-Å. Fredlund (Eds.), Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 (pp. 37–42). ACM.
  2. A more accurate semantics for distributed Erlang
    Svensson, H., & Fredlund, L.-Å. (2007). A more accurate semantics for distributed Erlang. In S. J. Thompson & L.-Å. Fredlund (Eds.), Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007 (pp. 43–54). ACM.
  3. Model Checking a Video-on-Demand Server Using McErlang
    Fredlund, L.-Å., & Penas, J. J. S. (2007). Model Checking a Video-on-Demand Server Using McErlang. In Moreno-Dı́az Roberto, F. Pichler, & A. Quesada-Arencibia (Eds.), Computer Aided Systems Theory - EUROCAST 2007, 11th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 12-16, 2007, Revised Selected Papers (Vol. 4739, pp. 539–546). Springer.
  4. McErlang: a model checker for a distributed functional programming language
    Fredlund, L.-Å., & Svensson, H. (2007). McErlang: a model checker for a distributed functional programming language. In R. Hinze & N. Ramsey (Eds.), Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 (pp. 125–136). ACM.
  5. Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007
    Thompson, S. J., & Fredlund, L.-Å. (Eds.). (2007). Proceedings of the 2007 ACM SIGPLAN Workshop on Erlang, Freiburg, Germany, October 5, 2007. ACM.
  6. Automatic Coding Rule Conformance Checking Using Logic Programs
    Marpons-Ucero, G., Mariño, J., Ángel Herranz-Nieva, Fredlund, L.-Å., Carro, M., & Moreno-Navarro, J. J. (2007). Automatic Coding Rule Conformance Checking Using Logic Programs. CoRR, abs/0711.0344.

2006

  1. Model checking erlang programs: the functional approach
    Fredlund, L.-Å., & Earle, C. B. (2006). Model checking erlang programs: the functional approach. In M. Feeley & P. W. Trinder (Eds.), Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang, Portland, Oregon, USA, September 16, 2006 (pp. 11–19). ACM.

2005

  1. Verifying fault-tolerant Erlang programs
    Earle, C. B., Fredlund, L.-Å., & Derrick, J. (2005). Verifying fault-tolerant Erlang programs. In K. Sagonas & J. Armstrong (Eds.), Proceedings of the 2005 ACM SIGPLAN Workshop on Erlang, Tallinn, Estonia, September 26-28, 2005 (pp. 26–34). ACM.
  2. Verification of Language Based Fault-Tolerance
    Earle, C. B., & Fredlund, L.-Å. (2005). Verification of Language Based Fault-Tolerance. In Moreno-Dı́az Roberto, F. Pichler, & A. Quesada-Arencibia (Eds.), Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers (Vol. 3643, pp. 140–149). Springer.

2004

  1. Guaranteeing Correctness Properties of a Java Card Applet
    Fredlund, L.-Å. (2004). Guaranteeing Correctness Properties of a Java Card Applet. In K. Havelund & G. Rosu (Eds.), Proceedings of the Fourth Workshop on Runtime Verification, RV@ETAPS 2004, Barcelona, Spain, April 3, 2004 (Vol. 113, pp. 217–233). Elsevier.

2003

  1. A verification tool for ERLANG
    Fredlund, L.-Å., Gurov, D., Noll, T., Dam, M., Arts, T., & Chugunov, G. (2003). A verification tool for ERLANG. Int. J. Softw. Tools Technol. Transf., 4(4), 405–420.
  2. Formal Methods Research at SICS and KTH: An Overview
    Dam, M., Fredlund, L.-Å., & Gurov, D. (2003). Formal Methods Research at SICS and KTH: An Overview. In T. Arts & W. J. Fokkink (Eds.), Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003 (Vol. 80, pp. 267–272). Elsevier.

2002

  1. Trace analysis of Erlang programs
    Arts, T., & Fredlund, L.-Å. (2002). Trace analysis of Erlang programs. ACM SIGPLAN Notices, 37(12), 18–24.
  2. Model Checking of Multi-Applet JavaCard Applications
    Chugunov, G., Fredlund, L.-Å., & Gurov, D. (2002). Model Checking of Multi-Applet JavaCard Applications. In P. Honeyman (Ed.), Proceedings of the Fifth Smart Card Research and Advanced Application Conference, CARDIS ’02, November 21-22, 2002, San Jose, CA, USA (pp. 87–96). USENIX.
  3. Trace analysis of Erlang programs
    Arts, T., & Fredlund, L.-Å. (2002). Trace analysis of Erlang programs. In R. L. Page & J. Hughes (Eds.), Proceedings of the 2002 ACM SIGPLAN Workshop on Erlang, Pittsburgh, Pennsylvania, USA, October 7, 2002 (pp. 16–23). ACM.

2001

  1. A framework for reasoning about Erlang code
    Fredlund, L.-Å. (2001). A framework for reasoning about Erlang code [PhD thesis, Research Institutes of Sweden, Sweden].
  2. Semi-Automated Verification of Erlang Code
    Fredlund, L.-Å., Gurov, D., & Noll, T. (2001). Semi-Automated Verification of Erlang Code. 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, 319–323.
  3. The Erlang Verification Tool
    Noll, T., Fredlund, L.-Å., & Gurov, D. (2001). The Erlang Verification Tool. In T. Margaria & W. Yi (Eds.), Tools and Algorithms for the Construction and Analysis of Systems, 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings (Vol. 2031, pp. 582–586). Springer.

1999

  1. A Framework for Formal Reasoning about Open Distributed Systems
    Fredlund, L.-Å., & Gurov, D. (1999). A Framework for Formal Reasoning about Open Distributed Systems. In P. S. Thiagarajan & R. H. C. Yap (Eds.), Advances in Computing Science - ASIAN’99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings (Vol. 1742, pp. 87–100). Springer.

1998

  1. System Description: Verification of Distributed Erlang Programs
    Arts, T., Dam, M., Fredlund, L.-Å., & Gurov, D. (1998). System Description: Verification of Distributed Erlang Programs. In C. Kirchner & H. Kirchner (Eds.), Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Vol. 1421, pp. 38–41). Springer.
  2. On the verification of open distributed systems
    Dam, M., & Fredlund, L.-Å. (1998). On the verification of open distributed systems. In K. M. George & G. B. Lamont (Eds.), Proceedings of the 1998 ACM symposium on Applied Computing, SAC’98, Atlanta, GA, USA, February 27 - March 1, 1998 (pp. 532–540). ACM.

1997

  1. Formal Verification of a Leader Election Protocol in Process Algebra
    Fredlund, L.-Å., Groote, J. F., & Korver, H. (1997). Formal Verification of a Leader Election Protocol in Process Algebra. Theor. Comput. Sci., 177(2), 459–486.
  2. Toward Parametric Verification of Open Distributed Systems
    Dam, M., Fredlund, L.-Å., & Gurov, D. (1997). Toward Parametric Verification of Open Distributed Systems. In W. P. de Roever, H. Langmaack, & A. Pnueli (Eds.), Compositionality: The Significant Difference, International Symposium, COMPOS’97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures (Vol. 1536, pp. 150–185). Springer.

1996

  1. Formalising and Prototyping a Concurrent Object-Based Language
    Fredlund, L.-Å., Koistinen, J., & Orava, F. (1996). Formalising and Prototyping a Concurrent Object-Based Language. In M. Dam (Ed.), Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Vol. 1192, pp. 116–125). Springer.

1991

  1. Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991)
    Fredlund, L.-Å. (1991). Book Review: Design and Validation of Computer Protocols by Gerard J. Holzmann (Prentice Hall, 1991). Comput. Commun. Rev., 21(2), 14.
  2. Modelling Dynamic Communication Structures in LOTOS
    Fredlund, L.-Å., & Orava, F. (1991). Modelling Dynamic Communication Structures in LOTOS. In K. R. Parker & G. A. Rose (Eds.), Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE ’91, Sydney, Australia, 19-22 November 1991: Vol. C-2 (pp. 185–200). North-Holland.
  3. Specification and Validation of a Simple Overtaking Protokol using LOTOS
    Ernberg, P., Fredlund, L.-Å., & Jonsson, B. (1991). Specification and Validation of a Simple Overtaking Protokol using LOTOS. In K. R. Parker & G. A. Rose (Eds.), Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE ’91, Sydney, Australia, 19-22 November 1991: Vol. C-2 (pp. 377–392). North-Holland.

1990

  1. An Implementation of a Translational Semantics for an Imperative Language
    Fredlund, L.-Å., Jonsson, B., & Parrow, J. (1990). An Implementation of a Translational Semantics for an Imperative Language. In J. C. M. Baeten & J. W. Klop (Eds.), CONCUR ’90, Theories of Concurrency: Unification and Extension, Amsterdam, The Netherlands, August 27-30, 1990, Proceedings (Vol. 458, pp. 246–262). Springer.
    © Babel Group 2025