| Metalevel algorithms for variant satisfiability |
4 |
| From distributed coordination to field calculus and aggregate computing |
4 |
| On the essence and initiality of conflicts in M-adhesive transformation systems |
3 |
| From probability monads to commutative effectuses |
3 |
| Multilevel coupled model transformations for precise and reusable definition of model behaviour |
3 |
| Model checking and synthesis for branching multi-weighted logics |
2 |
| A logic-algebraic tool for reasoning with Knowledge-Based Systems |
2 |
| Verification of finite-state machines: A distributed approach |
2 |
| Sequential pattern mining for ICT risk assessment and management |
2 |
| Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours |
2 |
| Executable component-based semantics |
2 |
| Complete algebraic solution of multidimensional optimization problems in tropical semifield |
2 |
| Semantics of global view of choreographies |
2 |
| Fixed points of functors |
2 |
| Axiomatization and characterization of BSP algorithms |
2 |
| The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication |
2 |
| CoReS: A tool for computing core graphs via SAT/SMT solvers |
1 |
| Graph transformation through graph surfing in reaction systems |
1 |
| A denotational semantics of textually aligned SPMD programs |
1 |
| A coordination protocol language for power grid operation control |
1 |
| A verified static information-flow control library |
1 |
| A modular framework for verifying versatile distributed systems |
1 |
| Realisability of pomsets |
1 |
| An axiomatic semantics for iocos conformance relation |
1 |
| The PBPO graph transformation approach |
1 |
| Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework |
1 |
| Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach |
1 |
| Operational semantics of a weak memory model with channel synchronization |
1 |
| Designing context-aware systems: A method for understanding and analysing context in practice |
1 |
| A core Erlang semantics for declarative debugging |
1 |
| Formalization of functional variation in HOL Light |
1 |
| A uniform approach to completions of posets |
1 |
| A logical study of group-size based social network creation |
1 |
| Verifying minimum spanning tree algorithms with Stone relation algebras |
1 |
| On the accuracy of formal verification of selective defenses for TDoS attacks |
1 |
| Reduction semantics in Markovian process algebra |
1 |
| Termination and complexity analysis for programs with bitvector arithmetic by symbolic execution |
1 |
| Algorithmic debugging generalized |
1 |
| Precise subtyping for synchronous multiparty sessions |
1 |
| Specifying graph languages with type graphs |
1 |
| Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models |
1 |
| Automated test case generation for the Paxos single-decree protocol using a Coloured Petri Net model |
1 |
| Formalization and correctness of predictive shift-reduce parsers for graph grammars based on hyperedge replacement |
0 |
| A stable non-interleaving early operational semantics for the pi-calculus |
0 |
| Geographic wayfinders and space-time algebra |
0 |
| A general overview of formal languages for individual-based modelling of ecosystems |
0 |
| Higher-order linearisability |
0 |
| Nested-unit Petri nets |
0 |
| Keep it fair: Equivalence and composition |
0 |
| Towards a categorical representation of reversible event structures |
0 |
