Engineering Multi-Agent Systems: State of Affairs and the Road Ahead

Acm Sigsoft Software Engineering Notes (p. 18-28) - 1/3/2019

• ISSN 01635948

• iMarina

Honesty and trust revisited: The advantages of being neutral about other's cognitive models

Autonomous Agents And Multi-Agent Systems (p. 313-335) - 1/12/2007

10.1007/s10458-007-9015-8 Ver en origen

• ISSN 13872532

• iMarina

Model checking the interaction of Erlang components

Communications Of The Acm - 1/1/2006

• ISSN 00010782

• iMarina

A Methodology for Model-based Verification of Safety Contracts

Communications Of The Acm - 1/1/2010

• ISSN 00010782

• iMarina

Trust dynamics, motivational attitudes and epistemic actions

Communications Of The Acm - 1/1/2007

• ISSN 00010782

• iMarina

McErlang: a Tutorial

Communications Of The Acm - 1/1/2010

• ISSN 00010782

• iMarina

Promoting MBA in the rail sector by deriving process-related evidence via MDSafeCer

Computer Standards & Interfaces (p. 119-128) - 1/11/2017

10.1016/j.csi.2016.11.007 Ver en origen

• ISSN 09205489

• iMarina
• iMarina

Preface

Electronic Communications Of The Easst - 1/1/2013

10.14279/tuj.eceasst.64.959.941 Ver en origen

• ISSN 18632122

• iMarina

A case study on verifying a supervisor component using McErlang

Electronic Notes In Theoretical Computer Science (p. 23-40) - 4/3/2011

10.1016/j.entcs.2011.02.009 Ver en origen

• ISSN 15710661

• iMarina

A cognitive trust and reputation model for the ART testbed

Inteligencia Artificial (p. 29-40) - 27/10/2008

• ISSN 11373601

• iMarina

Verifying Robocup Teams, Model Checking and Artificial Intelligence: 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

1/1/2009

• iMarina

Pitfalls of Jason Concurrency

1/1/2018

• iMarina

Automated Model-Based Testing Based on an Agnostic-Platform Modeling Language

3rd International Conference On Model-Driven Engineering And Software Development (Modelsward), 2015. Vol. 1. Springer (p. 1-8) - 9/2/2015

10.5220/0005237802390246 Ver en origen

• iMarina
• iMarina

A verification of a process supervisor with McErlang

A Verification Of A Process Supervisor With Mcerlang (p. 0-0) - 8/9/2010

• iMarina

A Property-based Testing Framework for Multi-Agent Systems

Aamas '19: Proceedings Of The 18th International Conference On Autonomous Agents And Multiagent Systems (p. 1823-1825) - 1/1/2019

• ISSN 15488403

• iMarina

Rigorous Software Development Using McErlang

Actas De La 14th Conference On Software Engineering An Databases, Jisbd09 (p. 335-338) - 8/9/2009

• iMarina

Erlang implementation and formal verification of a distributed MAS protocol.

Actas De Las Xi Jornadas Sobre Programación Y Lenguajes (Prole2011) (p. 111-125) - 5/9/2011

• iMarina

Automatic grading of programming exercises using property-based testing

Annual Conference On Innovation And Technology In Computer Science Education, Iticse (p. 47-52) - 11/7/2016

10.1145/2899415.2899443 Ver en origen

• ISSN 00010782

• iMarina
• iMarina

Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128

Communications In Computer And Information Science (p. 3-16) - 1/1/2016

10.1007/978-3-319-38980-6_1 Ver en origen

• ISSN 18650929

• iMarina
• iMarina

Teaching students Property-based Testing

Conference Proceedings Of The Euromicro (p. 437-442) - 17/10/2014

10.1109/seaa.2014.74 Ver en origen

• ISSN 10896503

• iMarina
• iMarina

Jsongen: A QuickCheck based library for testing JSON web services

Erlang 2014 - Proceedings Of The 2014 Acm Sigplan Erlang Workshop (p. 33-41) - 1/1/2014

10.1145/2633448.2633454 Ver en origen

• ISSN 00010782

• iMarina
• iMarina

Gaining trust by tracing security protocols

Erlang 2019 - Proceedings Of The 18th Acm Sigplan International Workshop On Erlang, Co-Located With Icfp 2019 (p. 56-67) - 18/8/2019

10.1145/3331542.3342573 Ver en origen

• ISSN 15678326

• iMarina
• iMarina
• iMarina

eJason : a Framework for Distributed and Fault-Tolerant Multi-Agent Systems

1/1/2018

• iMarina