"Lars-åke Fredlund" appeared in Books and Chapters

entries per page

Filter:

Showing 1 to 1 of 1 entry

Book	Author(s)	Year	Publisher
Time and probability in formal design of distributed systems /	Hansson, Hans A.; Fredlund, Lars-åke.	1994.	Elsevier,
Boook	Author(s)	Year	Publisher

Showing 1 to 1 of 1 entry

entries per page

Filter:

Showing 1 to 20 of 24 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
A Framework for Formal Reasoning about Open Distributed Systems	Lars-åke Fredlund; Dilian Gurov	Advances in Computing Science - ASIAN' 99: 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999 Proceedings	P. S. Thiagarajan; Roland Yap	1999	Springer Berlin Heidelberg
Verification of Timed Erlang Programs Using McErlang	Clara Benac Earle; Lars-Åke Fredlund	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	Holger Giese; Grigore Rosu	2012	Springer Berlin Heidelberg
Verification of Language Based Fault-Tolerance	Clara Benac Earle; Lars-Åke Fredlund	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	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada Arencibia	2005	Springer Berlin Heidelberg
Debugging and Verification of Multi-Agent Systems	Clara Benac Earle; Lars-Åke Fredlund	Computer Aided Systems Theory - EUROCAST 2009: 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers	Roberto Moreno-Díaz; Franz Pichler; Alexis Quesada-Arencibia	2009	Springer Berlin Heidelberg
Functional Testing of Java Programs	Clara Benac Earle; Lars-Åke Fredlund	Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers	Manuel Serrano; Jurriaan Hage	1st ed. 2016	Springer International Publishing
An implementation of a translational semantics for an imperative language	Lars-åke Fredlund; Bengt Jonsson; Joachim Parrow	CONCUR ' 90: Theories of Concurrency: Unification and Extension: Theories of Concurrency: Unification and Extension	Joseph C.M. Baeten; Jan W. Klop	1990	Springer Berlin Heidelberg
Model Checking a Video–on–Demand Server Using McErlang	Lars-Åke Fredlund; Juan José Sánchez Penas	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	Roberto Moreno Díaz; Franz Pichler; Alexis Quesada Arencibia	2007	Springer Berlin Heidelberg
The Erlang Verification Tool	Thomas Noll; Lars-åke Fredlund; Dilian Gurov	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	Tiziana Margaria; Wang Yi	2001	Springer Berlin Heidelberg
Formalising and prototyping a concurrent object-based language	Lars -åke Fredlund; Jari Koistinen; Fredrik Orava	Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers	Mads Dam	1997	Springer Berlin Heidelberg
Toward Parametric Verification of Open Distributed Systems	Mads Dam; Lars-åke Fredlund; Dilian Gurov	Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures	Willem-Paul de Roever; Hans Langmaack; Amir Pnueli	1998	Springer Berlin Heidelberg
Specification and Validation of a Simple Overtaking Protocol using LOTOS	Patrik Ernberg; Lars-åke Fredlund; Bengt Jonsson	Formal Description Techniques, IV	K.R. Parker and G.A. Rose	1992	Elsevier
A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems	Lars-Åke Fredlund; Ángel Herranz; Julio Mariño	Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers	Carlos Canal; Akram Idani	2015	Springer International Publishing
eJason: An Implementation of Jason in Erlang	Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund	Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers	Mehdi Dastani; Jomi F. Hübner; Brain Logan	2013	Springer Berlin Heidelberg
System description: Verification of distributed Erlang programs	Thomas Arts; Mads Dam; Lars -åke Fredlund; Dilian Gurov	Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings	Claude Kirchner; Hélène Kirchner	1998	Springer Berlin Heidelberg
Pitfalls of Jason Concurrency	Álvaro Fernández Díaz; Clara Benac Earle; Lars-Åke Fredlund	Engineering Multi-Agent Systems: 6th International Workshop, EMAS 2018, Stockholm, Sweden, July 14-15, 2018, Revised Selected Papers	Danny Weyns; Viviana Mascardi; Alessandro Ricci	1st ed. 2019	Springer International Publishing
A Methodology for Addressing the Second-Level Digital Divide	Susana Muñoz Hernández; Clara Benac Earle; Lars-Åke Fredlund	Responsible Design, Implementation and Use of Information and Communication Technology: 19th IFIP WG 6. 11 Conference on e-Business, e-Services, and e-Society, I3E 2020, Skukuza, South Africa, April 6–8, 2020, Proceedings, Part II	Marié Hattingh; Machdel Matthee; Hanlie Smuts; Ilias Pappas; Yogesh K. Dwivedi; Matti Mäntymäki	1st ed. 2020	Springer International Publishing
Runtime Verification in Erlang by Using Contracts	Lars-Åke Fredlund; Julio Mariño; Sergio Pérez; Salvador Tamarit	Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers	Josep Silva	1st ed. 2019	Springer International Publishing
Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang	Qiang Guo; John Derrick; Clara Benac Earle; Lars-Åke Fredlund	Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings	Leonardo Bottaci; Gordon Fraser	2010	Springer Berlin Heidelberg
Execution and Verification of UML State Machines with Erlang	Ricardo J. Rodríguez; Lars-Åke Fredlund; Ángel Herranz; Julio Mariño	Software Engineering and Formal Methods: 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings	Dimitra Giannakopoulou; Gwen Salaün	2014	Springer International Publishing
Trace analysis of Erlang programs	Thomas Arts; Lars-Åke Fredlund	ACM SIGPLAN Erlang Workshop '02: a satellite event of PLI 2002: October 7, 2002, Pittsburgh, Pennsylvania, USA.	ACM SIGPLAN Erlang Workshop (2002 Pittsburgh, Pa.)	2002	Association for Computing Machinery
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 24 entries