My publications according to DBLP

The following publications have been obtained by filtering the Babel Group publications database:

[FCL12a]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Adding distribution and fault tolerance to Jason. In Workshop on Programming based on Actors, Agents, and Decentralized Control 2012(AGERE! 2012), Tucson, Arizona (USA), October 21-22 2012.
[FCCL12]
Álvaro Fernández Díaz, Christel Baier, Clara Benac Earle, and Lars-Åke Fredlund. Static partial order reduction for probabilistic concurrent systems. In 9th International Conference on Quantitative Evaluation of SysTems (QEST) 2012, London, United Kingdom, September 17-20 2012.
[FCL12c]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Erlang as an implementation platform for BDI languages. In Eleventh ACM SIGPLAN Erlang Workshop 2012(Erlang 12), Copenhagen, Denmark, September 14 2012.
[FCL12b]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. ejason: an implementation of Jason in Erlang. In 10th International Workshop on Programming Multi-Agent Systems (ProMAS 2012), Valencia, Spain, June 5 2012. Under evaluation to be included in LNCS.
[CL12]
Clara Benac Earle and Lars-Åke Fredlund. Verification of timed Erlang programs using McErlang. In 14th IFIP WG 6.1 International Conference FMOODS 2012 and 32nd IFIP WG 6.1 International Conference FORTE 2012, Stockholm, Sweden, 13-16 June, 2012, volume 7273 of IFIP-LNCS, June 2012.
[HBMM11]
Ángel Herranz, Clara Benac, Guillem Marpons, and Julio Mariño. Mechanising the validation of ERTMS requirements and new procedures. In 9th World Congress on Railway Research, page 33, May 2011.
[CEF+11]
D. Castro, C. Benac Earle, L. Fredlund, V. Gulías, and S. Rivas. A case study on verifying a supervisor component using McErlang. ENTCS, 271:23-40, March 2011.
[FCL10]
Álvaro Fernández Díaz, Clara Benac Earle, and Lars-Åke Fredlund. Implementing a multiagent negotiation protocol in erlang. In Ninth ACM SIGPLAN Erlang Workshop, Erlang'10, pages 69-74, Baltimore, Maryland, USA, September 30 2010. ACM.
[SEF10]
H. Svensson, C. Benac Earle, and L. Fredlund. A unified semantics for future erlang. In Ninth ACM SIGPLAN Erlang Workshop, Erlang'10, pages 23-32, Baltimore, Maryland, USA, September 2010. ACM.
[CEF+10b]
D. Castro, C. Benac Earle, L. Fredlund, V. Gul}ias, and S. Rivas. A verification of a process supervisor with mcerlang. In PROLE 2010 - Jornadas sobre Programacion y Lenguajes, September 2010.
[CEF+10a]
D. Castro, C. Benac Earle, L. Fredlund, V. Gul}ias, and S. Rivas. Using McErlang to verify an Erlang process supervision component. In Trends in Functional Programming 2010, May 2010.
[DWA+10]
John Derrick, Neil Walkinshaw, Thomas Arts, Clara Benac Earle, Francesco Cesarini, Lars-Ake Fredlund, Victor Gulias, John Hughes, and Simon Thompson. Property-based testing - the protest project. 6286:250-271, 2010.
[GDEF10]
Qiang Guo, John Derrick, Clara Benac Earle, and Lars-Åke Fredlund. Model-checking erlang - a comparison between etomcrl2 and mcerlang. In Testing - practice and research techniques (TAIC PART 2010), number 6303, pages 23-3. LNCS, Springer Verlag, 2010.
[BF09b]
Clara Benac Earle and Lars-Åke Fredlund. Rigorous software development using mcerlang. In 14th Conference on Software Engineering and Databases, JISBD'09, pages 335-338, San Sebastián, Spain, September 8-11 2009.
[TB09]
S. Thompson and Clara Benac Earle, editors. Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, September 2009.
[EF09]
Clara Benac Earle and Lars-Åke Fredlund. Debugging and verification of multi-agent systems. In Roberto Moreno-Díaz, Franz Pichler, and Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2009, 12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected Papers, volume 5717 of Lecture Notes in Computer Science, pages 263-270. Springer, 2009.
[BF09a]
Clara Benac Earle and Lars-Åke Fredlund. Recent improvements to the mcerlang model checker. In Thompson and Benac Earle [TB09], pages 93-100, 2009.
[BFIL09]
Clara Benac Earle, Lars-Åke Fredlund, J. Iglesias, and A. Ledezma. Verifying robocup teams. Electronic Notes in Theoretical Computer Science, 5348/2009:34-48, 2009.
[BFIL08]
Clara Benac Earle, Lars-Åke Fredlund, J. Iglesias, and A. Ledezma. Verifying robocup teams. In In Proceedings of the 2008 workshop on Model Checking and Artificial Intelligence (MochART), July 2008.
[FB06]
Lars-Åke Fredlund and Clara Benac Earle. Model checking Erlang programs: The functional approach. In ACM Sigplan International Erlang Workshop, Portland, USA, 2006.

This file was generated by bibtex2html 1.96.