Cited in
(66)- Symbolic execution formally explained
- Key-ABS: a deductive verification tool for the concurrent modelling language ABS
- ABS-NET: fully decentralized runtime adaptation for distributed objects
- An evaluation of interaction paradigms for active objects
- Modeling actor systems using dynamic I/O automata
- Actor-based model checking for software-defined networks
- Multiactive objects and their applications
- A multi-domain incremental analysis engine and its application to incremental resource analysis
- Distributed network generation based on preferential attachment in ABS
- On detecting over-eager concurrency in asynchronously communicating concurrent object systems
- A lightweight approach to smart contracts supporting safety, security, and privacy
- Global reproducibility through local control for distributed active objects
- COSTA
- ArchJava
- JoCaml
- ProActive
- Erlang
- SPEED
- Creol
- Multilisp
- COSTABS
- iCanCloud
- Snugglebug
- SOFA 2.0
- VeriCon
- CoBoxes
- Java Jr
- Kilim
- JCobox
- SACO
- Syco
- TyPiCal
- JavAdaptor
- Welterweight Java
- VeriFlow
- ABCL
- AmbientTalk
- SPL Conqueror
- Anteater
- Akka
- Kuai
- TALx86
- ABS-NET
- KryoNet
- CauDEr
- KeY-ABS
- A transformational approach to resource analysis with typed-norms inference
- Scaling up livelock verification for network-on-chip routing algorithms
- Bestow and atomic: concurrent programming using isolation, delegation and grouping
- A transformational approach to resource analysis with typed-norms
- Behavioural semantics for asynchronous components
- May-happen-in-parallel analysis for actor-based concurrency
- Analysis of executable software models
- Resource-usage-aware configuration in software product lines
- Time analysis of actor programs
- Integrating deployment architectures and resource consumption in timed object-oriented models
- Dynamic rebinding for concurrent object groups: theory and practice
- Observable behavior of distributed systems: component reasoning for concurrent objects
- Quantified abstract configurations of distributed systems
- Rely-guarantee termination and cost analyses of loops with concurrent interleavings
- A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell
- A formal, resource consumption-preserving translation of actors to Haskell
- Deadlock detection in linear recursive programs
- A reduction semantics for direct-style asynchronous observables
- A dynamic logic with traces and coinduction
- VerX
This page was built for software: ABS
