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.