| An Architecture for Distributed Ledger-Based M2M Auditing for Electric Autonomous Vehicles. | 0 | 0.34 | 2019 |
| Towards Code Review Guideline in a Classroom. | 0 | 0.34 | 2019 |
| Towards Dynamic Interaction-Based Reputation Models. | 1 | 0.35 | 2018 |
| On M2M Micropayments : A Case Study of Electric Autonomous Vehicles. | 1 | 0.41 | 2018 |
| Hikester - the event management application. | 0 | 0.34 | 2018 |
| Gene Expression for Simulation of Biological Tissue | 0 | 0.34 | 2018 |
| AutoFrame: Automatic Frame Inference for Object-Oriented Languages. | 0 | 0.34 | 2018 |
| Reputation in M2M Economy. | 0 | 0.34 | 2018 |
| Second-level degree-based entity resolution in online social networks. | 1 | 0.36 | 2018 |
| AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. | 0 | 0.34 | 2018 |
| M2M Billing for Electric Autonomous Vehicles. | 0 | 0.34 | 2018 |
| Model Checking In Multiplayer Games Development | 1 | 0.41 | 2018 |
| Towards dynamic interaction-based model. | 0 | 0.34 | 2018 |
| GA-based Fractal and Neuroevolution Compressions | 0 | 0.34 | 2018 |
| Translating Event-B machines to Eiffel programs. | 0 | 0.34 | 2017 |
| Introducing ADegree: Anonymisation of Social Networks Through Constraint Programming. | 0 | 0.34 | 2017 |
| Teaching Programming and Design-by-Contract. | 1 | 0.37 | 2017 |
| Code generation for Event-B | 5 | 0.53 | 2017 |
| Data-Driven Workflows for Microservices: Genericity in Jolie | 11 | 0.84 | 2016 |
| EventB2Java: A Code Generator for Event-B. | 4 | 0.55 | 2016 |
| Domain Objects and Microservices for Systems Development: a roadmap. | 0 | 0.34 | 2016 |
| Refinement types in Jolie. | 5 | 0.71 | 2016 |
| Usability of AutoProof: a case study of software verification. | 0 | 0.34 | 2016 |
| Microservices Science and Engineering | 0 | 0.34 | 2016 |
| Self-adaptive node-based PCA encodings. | 0 | 0.34 | 2016 |
| Undertaking the tokeneer challenge in event-b. | 1 | 0.39 | 2016 |
| Jolie Community on the Rise | 0 | 0.34 | 2016 |
| Initial Steps Towards Assessing the Usability of a Verification Tool | 0 | 0.34 | 2016 |
| Unifying Requirements And Code: An Example | 3 | 0.41 | 2015 |
| Translating event-B to JML-specified Java programs | 7 | 0.57 | 2014 |
| Translating B machines to JML specifications | 6 | 0.50 | 2012 |
| The EventB2Dafny rodin plug-in | 5 | 0.46 | 2012 |
