| Executable contracts for Elixir | 0 | 0.34 | 2022 |
| Makina: a new QuickCheck state machine library | 0 | 0.34 | 2021 |
| A Property-based Testing Framework for Multi-Agent Systems | 0 | 0.34 | 2019 |
| Gaining trust by tracing security protocols | 0 | 0.34 | 2019 |
| Pitfalls of Jason Concurrency. | 0 | 0.34 | 2018 |
| Deriving Safety Case Fragments for Assessing MBASafe's Compliance with EN 50128. | 1 | 0.37 | 2016 |
| Automatic Grading of Programming Exercises using Property-Based Testing. | 4 | 0.56 | 2016 |
| Teaching Software Safety to Master Students | 0 | 0.34 | 2015 |
| Functional Testing of Java Programs. | 0 | 0.34 | 2015 |
| Teaching Students Property-Based Testing. | 0 | 0.34 | 2014 |
| Model-Based Verification of Safety Contracts. | 2 | 0.43 | 2014 |
| Jsongen: a quickcheck based library for testing JSON web services | 3 | 0.40 | 2014 |
| Property-Based Testing of JSON Based Web Services. | 5 | 0.47 | 2014 |
| Static Partial Order Reduction for Probabilistic Concurrent Systems | 1 | 0.37 | 2012 |
| eJason: An Implementation of Jason in Erlang. | 0 | 0.34 | 2012 |
| Adding distribution and fault tolerance to Jason. | 3 | 0.42 | 2012 |
| Verification of timed erlang programs using mcerlang | 7 | 0.44 | 2012 |
| Erlang as an implementation platform for BDI languages | 1 | 0.36 | 2012 |
| A Case Study on Verifying a Supervisor Component Using McErlang | 4 | 0.44 | 2011 |
| A unified semantics for future Erlang | 10 | 0.62 | 2010 |
| Model-checking Erlang: a comparison between EtomCRL2 and McErlang | 3 | 0.45 | 2010 |
| Implementing a multiagent negotiation protocol in Erlang | 0 | 0.34 | 2010 |
| Proceedings of the 8th ACM SIGPLAN Workshop on Erlang, Edinburgh, Scotland, UK, September 5, 2009 | 9 | 0.76 | 2009 |
| Property-based testing: the ProTest project | 9 | 0.58 | 2009 |
| Recent improvements to the McErlang model checker | 5 | 0.56 | 2009 |
| Debugging and Verification of Multi-Agent Systems | 1 | 0.34 | 2009 |
| Rigorous Software Development Using McErlang | 0 | 0.34 | 2009 |
| A cognitive trust and reputation model for the ART testbed | 2 | 0.37 | 2008 |
| Verifying Robocup Teams | 7 | 0.59 | 2008 |
| Honesty and trust revisited: the advantages of being neutral about other's cognitive models | 14 | 1.00 | 2007 |
| Model checking erlang programs: the functional approach | 6 | 0.67 | 2006 |
| An Anticipatory Trust Model for Open Distributed Systems | 10 | 0.65 | 2006 |
| Verification of language based fault-tolerance | 2 | 0.40 | 2005 |
| Verifying fault-tolerant Erlang programs | 3 | 0.49 | 2005 |
| Development of a verified Erlang program for resource locking | 16 | 1.94 | 2004 |
| Translating Erlang to µCRL | 7 | 0.74 | 2004 |
| Verifying Erlang Code: A Resource Locker Case-Study | 13 | 1.17 | 2002 |
| Symbolic program execution using the Erlang verification tool | 2 | 0.38 | 2000 |
