5 citations · 6 across the 7 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.SE2020
Empowering Multilevel DSMLs with Integrated Runtime Verification
Fernando Macías, Adrian Rutle, Volker Stolz +2
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable…
cs.SE2020
Coverage Analysis of Net Inscriptions in Coloured Petri Net Models
Faustin Ahishakiye, José Ignacio Requeno Jarabo, Lars Michael Kristensen +1
High-level Petri net such as Coloured Petri Nets (CPNs) are characterised by the combination of Petri nets and a high-level programming language. In the context of CPNs and CPN Too…