Time and probability in formal design of distributed systems. HA Hansson | 451 | 1993 |
McErlang: a model checker for a distributed functional programming language LÅ Fredlund, H Svensson Proceedings of the 12th ACM SIGPLAN international conference on Functional …, 2007 | 134 | 2007 |
A framework for reasoning about Erlang code LÅ Fredlund Mikroelektronik och informationsteknik, 2001 | 82 | 2001 |
Toward parametric verification of open distributed systems M Dam, L Fredlund, D Gurov International Symposium on Compositionality, 150-185, 1997 | 56 | 1997 |
A unified semantics for future Erlang H Svensson, LÅ Fredlund, C Benac Earle Proceedings of the 9th ACM SIGPLAN Workshop on Erlang, 23-32, 2010 | 55 | 2010 |
Formal verification of a leader election protocol in process algebra L Fredlund, JF Groote, H Korver Theoretical Computer Science 177 (2), 459-486, 1997 | 52 | 1997 |
Engineering multi-agent systems: State of affairs and the road ahead V Mascardi, D Weyns, A Ricci, CB Earle, A Casals, M Challenger, ... ACM SIGSOFT Software Engineering Notes 44 (1), 18-28, 2019 | 51 | 2019 |
A verification tool for Erlang LÅ Fredlund, D Gurov, T Noll, M Dam, T Arts, G Chugunov International Journal on Software Tools for Technology Transfer 4, 405-420, 2003 | 45 | 2003 |
A more accurate semantics for distributed Erlang H Svensson, LÅ Fredlund Proceedings of the 2007 SIGPLAN workshop on ERLANG Workshop, 43-54, 2007 | 40 | 2007 |
Trace analysis of Erlang programs T Arts, LÅ Fredlund Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, 16-23, 2002 | 40 | 2002 |
Property-based testing-the protest project J Derrick, N Walkinshaw, T Arts, C Benac Earle, F Cesarini, LA Fredlund, ... Formal Methods for Components and Objects: 8th International Symposium, FMCO …, 2010 | 37 | 2010 |
Implementing ws-cdl L Fredlund Proceedings of the second Spanish workshop on Web Technologies (JSWEB 2006), 2006 | 35 | 2006 |
Automatic grading of programming exercises using property-based testing C Benac Earle, LÅ Fredlund, J Hughes Proceedings of the 2016 ACM Conference on Innovation and Technology in …, 2016 | 33 | 2016 |
System description: Verification of distributed Erlang programs T Arts, M Dam, L Fredlund, D Gurov Automated Deduction—CADE-15: 15th International Conference on Automated …, 1998 | 26 | 1998 |
Modelling dynamic communication structures in LOTOS LÅ Fredlund, F Orava Formal Description Techniques, IV, 185-200, 1992 | 21 | 1992 |
Property-based testing of JSON based web services LÅ Fredlund, CB Earle, Á Herranz, J Mariño 2014 IEEE International Conference on Web Services, 704-707, 2014 | 20 | 2014 |
Verification of timed erlang programs using mcerlang CB Earle, LÅ Fredlund International Conference on Formal Methods for Open Object-Based Distributed …, 2012 | 19 | 2012 |
Model Checking of {Multi-Applet}{JavaCard} Applications G Chugunov, LÅ Fredlund, D Gurov 5th Smart Card Research and Advanced Application Conference (CARDIS 02), 2002 | 19 | 2002 |
Jsongen: A QuickCheck based library for testing JSON web services C Benac Earle, LÅ Fredlund, Á Herranz, J Mariño Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 33-41, 2014 | 18 | 2014 |
eJason: an implementation of Jason in Erlang ÁF Díaz, CB Earle, LÅ Fredlund Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012 …, 2013 | 18 | 2013 |