On the public citation graph
A Survey of Active Object Languages
0 signed · 186 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/spe.2270openalex-snapshot
Programming distributed and adaptable autonomous components-the GCM/ProActive framework
inferredcites →https://doi.org/10.1007/11785477_16openalex-snapshot
Ambient-Oriented Programming in AmbientTalk
inferredcites →https://doi.org/10.1007/3-540-61487-7_25openalex-snapshot
Reactive programming in Eiffel//
inferredcites →https://doi.org/10.1007/978-1-4419-8528-6openalex-snapshot
A Discipline of Multiprogramming
inferredcites →https://doi.org/10.1007/978-1-4471-1525-0_41openalex-snapshot
CJava: Introducing Concurrent Objects in Java
inferredcites →https://doi.org/10.1007/978-3-319-06410-9_9openalex-snapshot
The VerCors Tool for Verification of Concurrent Programs
inferredcites →https://doi.org/10.1007/978-3-319-07317-0_1openalex-snapshot
Analysis of Executable Software Models
inferredcites →https://doi.org/10.1007/978-3-319-13464-2_8openalex-snapshot
Towards Type-Based Optimizations in Distributed Applications Using ABS and JAVA 8
inferredcites →https://doi.org/10.1007/978-3-319-18941-3_1openalex-snapshot
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore
inferredcites →https://doi.org/10.1007/978-3-319-21401-6_35openalex-snapshot
KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS
inferredcites →https://doi.org/10.1007/978-3-319-24644-4_5openalex-snapshot
Modeling and Efficient Verification of Broadcasting Actors
inferredcites →https://doi.org/10.1007/978-3-319-24953-7_21openalex-snapshot
Test Case Generation of Actor Systems
inferredcites →https://doi.org/10.1007/978-3-319-25423-4_14openalex-snapshot
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
inferredcites →https://doi.org/10.1007/978-3-319-28934-2_13openalex-snapshot
Floating Time Transition System: More Efficient Analysis of Timed Actors
inferredcites →https://doi.org/10.1007/978-3-319-33693-0_26openalex-snapshot
Combining Static Analysis and Testing for Deadlock Detection
inferredcites →https://doi.org/10.1007/978-3-319-39519-7_13openalex-snapshot
From Modelling to Systematic Deployment of Distributed Active Objects
inferredcites →https://doi.org/10.1007/978-3-540-71316-6_22openalex-snapshot
A Complete Guide to the Future
inferredcites →https://doi.org/10.1007/978-3-540-76778-7_9openalex-snapshot
Garbage Collecting the Grid: A Complete DGC for Activities
inferredcites →https://doi.org/10.1007/978-3-540-89330-1_11openalex-snapshot
Minimal Ownership for Active Objects
inferredcites →https://doi.org/10.1007/978-3-642-11623-0_17openalex-snapshot
Bounded Rational Search for On-the-Fly Model Checking of LTL Properties
inferredcites →https://doi.org/10.1007/978-3-642-14107-2_13openalex-snapshot
JCoBox: Generalizing Active Objects to Concurrent Components
inferredcites →https://doi.org/10.1007/978-3-642-21878-1_37openalex-snapshot
First Class Futures: Specification and Implementation of Update Strategies
inferredcites →https://doi.org/10.1007/978-3-642-24933-4_3openalex-snapshot
Ten Years of Analyzing Actors: Rebeca Experience
inferredcites →https://doi.org/10.1007/978-3-642-25271-6_8openalex-snapshot
ABS: A Core Language for Abstract Behavioral Specification
inferredcites →https://doi.org/10.1007/978-3-642-35861-6_15openalex-snapshot
Guided Search for Deadlocks in Actor-Based Models
inferredcites →https://doi.org/10.1007/978-3-642-35887-6_6openalex-snapshot
HATS Abstract Behavioral Specification: The Architectural View
inferredcites →https://doi.org/10.1007/978-3-642-38493-6_7openalex-snapshot
Multi-threaded Active Objects
inferredcites →https://doi.org/10.1007/978-3-642-54862-8_46openalex-snapshot
SACO: Static Analyzer for Concurrent Objects
inferredcites →https://doi.org/10.1007/978-3-662-49665-7_5openalex-snapshot
Integrated Environment for Verifying and Running Distributed Components
inferredcites →https://doi.org/10.1007/978-3-662-54494-5_22openalex-snapshot
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools
inferredcites →https://doi.org/10.1007/s00165-014-0322-yopenalex-snapshot
Compositional reasoning about active objects with shared futures
inferredcites →https://doi.org/10.1007/s00165-017-0429-zopenalex-snapshot
Modeling and efficient verification of wireless ad hoc networks
inferredcites →https://doi.org/10.1007/s00236-009-0111-xopenalex-snapshot
Symmetry and partial order reduction techniques in model checking Rebeca
inferredcites →https://doi.org/10.1007/s004460050018openalex-snapshot
Synchronous, asynchronous, and causally ordered communication
inferredcites →https://doi.org/10.1007/s10009-012-0250-1openalex-snapshot
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems
inferredcites →https://doi.org/10.1007/s10270-006-0011-2openalex-snapshot
An Asynchronous Communication Model for Distributed Concurrent Objects
inferredcites →https://doi.org/10.1007/s10270-014-0444-yopenalex-snapshot
A framework for deadlock detection in core ABS
inferredcites →https://doi.org/10.1007/s11334-012-0184-5openalex-snapshot
User-defined schedulers for real-time concurrent objects
inferredcites →https://doi.org/10.1007/s11761-013-0148-0openalex-snapshot
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
inferredcites →https://doi.org/10.1016/0950-5849(91)90083-nopenalex-snapshot
Communication and concurrency
inferredcites →https://doi.org/10.1016/j.jlamp.2014.07.001openalex-snapshot
Integrating deployment architectures and resource consumption in timed object-oriented models
inferredcites →https://doi.org/10.1016/j.scico.2010.12.008openalex-snapshot
ASPfun : A typed functional active object calculus
inferredcites →https://doi.org/10.1016/j.scico.2014.01.008openalex-snapshot
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
inferredcites →https://doi.org/10.1016/j.scico.2014.07.005openalex-snapshot
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
inferredcites →https://doi.org/10.1016/j.scico.2015.07.003openalex-snapshot
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
inferredcites →https://doi.org/10.1016/j.tcs.2004.09.019openalex-snapshot
An assertion-based proof system for multithreaded Java
inferredcites →https://doi.org/10.1016/j.tcs.2006.07.031openalex-snapshot
Creol: A type-safe object-oriented model for distributed concurrent systems
inferredcites →https://doi.org/10.1016/j.tcs.2008.09.019openalex-snapshot
Scala Actors: Unifying thread-based and event-based programming
inferredcites →https://doi.org/10.1109/acsd.2005.12openalex-snapshot
Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing
inferredcites →https://doi.org/10.1109/acsd.2007.24openalex-snapshot
Sarir: A Rebeca to mCRL2 Translator
inferredcites →https://doi.org/10.1109/acsd.2007.62openalex-snapshot
Sarir: A Rebeca to mCRL2 Translator
inferredcites →https://doi.org/10.1109/mic.2016.108openalex-snapshot
Developing Cloud Services Using the Orleans Virtual Actor Model
inferredcites →https://doi.org/10.1145/162685.162705openalex-snapshot
Systematic concurrent object-oriented programming
inferredcites →https://doi.org/10.1145/2509136.2509557openalex-snapshot
Fully concurrent garbage collection of actors on many-core machines
inferredcites →https://doi.org/10.1145/2554850.2554957openalex-snapshot
Declarative scheduling for active objects
inferredcites →https://doi.org/10.1145/2824815.2824816openalex-snapshot
Deny capabilities for safe, fast actors
inferredcites →https://doi.org/10.1145/28697.28722openalex-snapshot
Object-oriented concurrent programming ABCL/1
inferredcites →https://doi.org/10.1145/357980.358021openalex-snapshot
Communicating sequential processes
inferredcites →https://doi.org/10.1145/365813.365819openalex-snapshot
SIMULA: an ALGOL-based simulation language
inferredcites →https://doi.org/10.1145/4472.4478openalex-snapshot
MULTILISP: a language for concurrent symbolic computation
inferredcites →https://doi.org/10.1145/53990.54016openalex-snapshot
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
inferredcites →https://doi.org/10.1145/72551.72552openalex-snapshot
Programming languages for distributed computing systems
inferredcites →https://doi.org/10.1145/800228.806932openalex-snapshot
The incremental garbage collection of processes
inferredcites →https://doi.org/10.1145/960112.28722openalex-snapshot
Object-oriented concurrent programming in ABCL/1
inferredcites →https://doi.org/10.1145/960116.54016openalex-snapshot
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
inferredcites →https://doi.org/10.1145/964001.964012openalex-snapshot
Asynchronous and deterministic objects
inferredcites →https://doi.org/10.14279/tuj.eceasst.70.984openalex-snapshot
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
inferredcites →https://doi.org/10.14279/tuj.eceasst.72.1022openalex-snapshot
State Distribution Policy for Distributed Model Checking of Actor Models
inferredcites →https://doi.org/10.3217/jucs-011-10-1695openalex-snapshot
Modular Verification of a Component-Based Actor Language.
inferredcites →https://doi.org/10.3217/jucs-019-02-0207openalex-snapshot
Modeling and Verification of Reconfigurable Actor Families
inferredcites →https://doi.org/10.3233/fun-2004-63405openalex-snapshot
Modeling and Verification of Reactive Systems using Rebeca
inferredcites →https://doi.org/10.4204/eptcs.58.1openalex-snapshot
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
inferredcites →https://doi.org/10.4230/lipics.ecoop.2016.5openalex-snapshot
Reference Capabilities for Concurrency Control
inferredcites →https://doi.org/10.4230/lipics.ecoop.2017.47openalex-snapshot
Relaxed Linear References for Lock-free Data Structures
inferredcites →https://doi.org/10.4230/lipics.ecoop.2017.6openalex-snapshot
Relaxed Linear References for Lock-free Data Structures
inferredcites →https://doi.org/10.5555/1516124.1516136openalex-snapshot
Garbage collecting the grid: a complete DGC for activities
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_12openalex-snapshot
Actors with Coroutine Support in Java
inferred← citeshttps://doi.org/10.1007/978-3-030-02146-7_8openalex-snapshot
Using Coloured Petri Nets for Resource Analysis of Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-16722-6_20openalex-snapshot
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
inferred← citeshttps://doi.org/10.1007/978-3-030-29026-9_22openalex-snapshot
Behavioral Program Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-30446-1_3openalex-snapshot
Asynchronous Cooperative Contracts for Cooperative Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-030-30923-7_14openalex-snapshot
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
inferred← citeshttps://doi.org/10.1007/978-3-030-31517-7_15openalex-snapshot
Modeling Non-deterministic C Code with Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_31openalex-snapshot
Summary of: An Evaluation of Interaction Paradigms for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-34968-4_9openalex-snapshot
Axiomatic Characterization of Trace Reachability for Concurrent Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-42051-2_18openalex-snapshot
A Language-Based Approach to Prevent DDoS Attacks in Distributed Financial Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-45234-6_7openalex-snapshot
Global Reproducibility Through Local Control for Distributed Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-57506-9_20openalex-snapshot
From SOS to Asynchronously Communicating Actors
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_1openalex-snapshot
Who Carries the Burden of Modularity?
inferred← citeshttps://doi.org/10.1007/978-3-030-61362-4_32openalex-snapshot
A Formal Model of the Kubernetes Container Framework
inferred← citeshttps://doi.org/10.1007/978-3-030-61470-6_9openalex-snapshot
Refactoring and Active Object Languages
inferred← citeshttps://doi.org/10.1007/978-3-030-63461-2_10openalex-snapshot
Active Objects with Deterministic Behaviour
inferred← citeshttps://doi.org/10.1007/978-3-030-64354-6_4openalex-snapshot
Behavioral Contracts for Cooperative Scheduling
inferred← citeshttps://doi.org/10.1007/978-3-030-67220-1_6openalex-snapshot
From Requirements to Verifiable Executable Models Using Rebeca
inferred← citeshttps://doi.org/10.1007/978-3-030-70852-8_5openalex-snapshot
Information-Flow Control by Means of Security Wrappers for Active Object Languages with Futures
inferred← citeshttps://doi.org/10.1007/978-3-030-78142-2_1openalex-snapshot
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction
inferred← citeshttps://doi.org/10.1007/978-3-030-83723-5_7openalex-snapshot
Designing Distributed Control with Hybrid Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-030-87657-9_19openalex-snapshot
Towards a Resource-Aware Formal Modelling Language for Workflow Planning
inferred← citeshttps://doi.org/10.1007/978-3-030-95561-8_4openalex-snapshot
Partial Order Reduction for Timed Actors
inferred← citeshttps://doi.org/10.1007/978-3-031-06981-9_12openalex-snapshot
Never Mind the Semantic Gap: Modular, Lazy and Safe Loading of RDF Data
inferred← citeshttps://doi.org/10.1007/978-3-031-08166-8_9openalex-snapshot
Reasoning About Active Objects: A Sound and Complete Assertional Proof Method
inferred← citeshttps://doi.org/10.1007/978-3-031-28694-0_14openalex-snapshot
Programming Paradigms for the Cloud Continuum
inferred← citeshttps://doi.org/10.1007/978-3-031-47963-2_11openalex-snapshot
An Autonomous Data Language
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_1openalex-snapshot
Active Objects Based on Algebraic Effects
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_10openalex-snapshot
Integrating Data Privacy Compliance in Active Object Languages
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_11openalex-snapshot
Context-Aware Trace Contracts
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_12openalex-snapshot
Type-Based Verification of Delegated Control in Hybrid Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_13openalex-snapshot
Enforced Dependencies for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_2openalex-snapshot
Actor-Based Designs for Distributed Self-organisation Programming
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_4openalex-snapshot
Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_5openalex-snapshot
A Survey of Actor-Like Programming Models for Serverless Computing
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_8openalex-snapshot
Simulating User Journeys with Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-031-51060-1_9openalex-snapshot
Actors Upgraded for Variability, Adaptability, and Determinism
inferred← citeshttps://doi.org/10.1007/978-3-031-57978-3_4openalex-snapshot
Assuring GDPR Conformance Through Language-Based Compliance
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_14openalex-snapshot
An LAGC Semantics for Timed Rebeca
inferred← citeshttps://doi.org/10.1007/978-3-031-85134-6_15openalex-snapshot
Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_1openalex-snapshot
A Formal Specification For Half a Century of Actor Systems
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_3openalex-snapshot
Actor Capabilities for Message Ordering
inferred← citeshttps://doi.org/10.1007/978-3-032-05291-9_5openalex-snapshot
On the Development of the Active Object Paradigm: A Personal Account
inferred← citeshttps://doi.org/10.1007/978-3-032-12086-1_9openalex-snapshot
Resource Contracts for Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-319-90089-6_8openalex-snapshot
Release the Beasts: When Formal Methods Meet Real World Data
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_10openalex-snapshot
Active Objects for Coordinating BSP Computations (Short Paper)
inferred← citeshttps://doi.org/10.1007/978-3-319-92408-3_7openalex-snapshot
Forward to a Promising Future
inferred← citeshttps://doi.org/10.1007/978-3-319-92970-5_5openalex-snapshot
Program Verification for Exception Handling on Active Objects Using Futures
inferred← citeshttps://doi.org/10.1007/978-3-319-95246-8_25openalex-snapshot
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience
inferred← citeshttps://doi.org/10.1007/978-3-319-98047-8_10openalex-snapshot
Dynamic Software Updates and Context Adaptation for Distributed Active Objects
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_13openalex-snapshot
Stateful Behavioral Types for Active Objects
inferred← citeshttps://doi.org/10.1007/978-981-95-3585-9_2openalex-snapshot
Fair Termination for Resource-Aware Active Objects
inferred← citeshttps://doi.org/10.1007/s10009-020-00579-8openalex-snapshot
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance
inferred← citeshttps://doi.org/10.1007/s10270-023-01086-5openalex-snapshot
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
inferred← citeshttps://doi.org/10.1007/s10703-026-00491-yopenalex-snapshot
Modular analysis of distributed hybrid systems using post-regions
inferred← citeshttps://doi.org/10.1016/b978-0-323-95502-7.00040-3openalex-snapshot
Intelligent Agents: Multi-Agent Systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.11.008openalex-snapshot
An evaluation of interaction paradigms for active objects
inferred← citeshttps://doi.org/10.1016/j.jlamp.2021.100733openalex-snapshot
Static checking of GDPR-related privacy compliance for object-oriented distributed systems
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100772openalex-snapshot
A lightweight approach to smart contracts supporting safety, security, and privacy
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111750openalex-snapshot
Predicting resource consumption of Kubernetes container systems using resource models
inferred← citeshttps://doi.org/10.1016/j.scico.2019.04.002openalex-snapshot
Translating active objects into colored Petri nets for communication analysis
inferred← citeshttps://doi.org/10.1016/j.scico.2020.102597openalex-snapshot
Automated model extraction: From non-deterministic C code to active objects
inferred← citeshttps://doi.org/10.1016/j.scico.2022.102861openalex-snapshot
The ABS simulator toolchain
inferred← citeshttps://doi.org/10.1016/j.scico.2023.102928openalex-snapshot
Deductive verification of active objects with Crowbar
inferred← citeshttps://doi.org/10.1016/j.tcs.2025.115560openalex-snapshot
The Autonomous Data Language – Concepts, design and formal verification
inferred← citeshttps://doi.org/10.1017/s0956796824000091openalex-snapshot
Programming and reasoning about actors that share state
inferred← citeshttps://doi.org/10.1109/ds-rt47707.2019.8958682openalex-snapshot
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems
inferred← citeshttps://doi.org/10.1109/formalise58978.2023.00018openalex-snapshot
Transparent Actor Model
inferred← citeshttps://doi.org/10.1109/models50736.2021.00018openalex-snapshot
Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development
inferred← citeshttps://doi.org/10.1145/3281366.3281371openalex-snapshot
Attached and detached closures in actors
inferred← citeshttps://doi.org/10.1145/3341105.3373896openalex-snapshot
On the nature of cooperative scheduling in active objects
inferred← citeshttps://doi.org/10.1145/3365438.3410939openalex-snapshot
Efficient reordering and replay of execution traces of distributed reactive systems in the context of model-driven development
inferred← citeshttps://doi.org/10.1145/3447928.3456633openalex-snapshot
From post-conditions to post-region invariants
inferred← citeshttps://doi.org/10.1145/3486607.3486747openalex-snapshot
Dala: a simple capability-based dynamic language design for data race-freedom
inferred← citeshttps://doi.org/10.1145/3564529openalex-snapshot
A Survey on Parallelism and Determinism
inferred← citeshttps://doi.org/10.1145/3609022.3609414openalex-snapshot
TLS the Erlang/OTP Way (Experience Report)
inferred← citeshttps://doi.org/10.1145/3648439openalex-snapshot
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
inferred← citeshttps://doi.org/10.1145/3660630openalex-snapshot
Proving Correctness of Parallel Implementations of Transition System Models
inferred← citeshttps://doi.org/10.1145/3673226openalex-snapshot
Context, Composition, Automation, and Communication: The C 2 AC Roadmap for Modeling and Simulation
inferred← citeshttps://doi.org/10.1186/s13174-021-00132-zopenalex-snapshot
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
inferred← citeshttps://doi.org/10.17760/d20560782openalex-snapshot
Reasoning about actors that share state
inferred← citeshttps://doi.org/10.22152/programming-journal.org/2024/8/6openalex-snapshot
Provably Fair Cooperative Scheduling
inferred← citeshttps://doi.org/10.23638/lmcs-13(4:12)2017openalex-snapshot
Multiactive objects and their applications
inferred← citeshttps://doi.org/10.3897/jucs.103011openalex-snapshot
Knowledge-Related Policy Analysis in an Inference-Enabled Actor Model
inferred← citeshttps://doi.org/10.4204/eptcs.302.3openalex-snapshot
Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors
inferred← citeshttps://doi.org/10.4204/eptcs.365.1openalex-snapshot
The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics
inferred← citeshttps://doi.org/10.4204/eptcs.387.1openalex-snapshot
Timed Actors and Their Formal Verification
inferred← citeshttps://doi.org/10.4230/oasics.gabbrielli.1openalex-snapshot
Locally Static, Globally Dynamic Session Types for Active Objects
inferred← citeshttps://doi.org/10.48550/arxiv.1802.08492openalex-snapshot
Stateful Behavioral Types for ABS
inferred← citeshttps://doi.org/10.48550/arxiv.1811.09303openalex-snapshot
Object-oriented design for massively parallel computing
inferred← citeshttps://doi.org/10.48550/arxiv.1904.13338openalex-snapshot
Behavioral Program Logic and LAGC Semantics without Continuations (Technical Report)
inferred← citeshttps://doi.org/10.48550/arxiv.2002.10900openalex-snapshot
Security Wrappers for Information-Flow Control in Active Object Languages with Futures
inferred← citeshttps://doi.org/10.48550/arxiv.2102.10127openalex-snapshot
Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects
inferred← citeshttps://doi.org/10.48550/arxiv.2110.01964openalex-snapshot
Deductive Verification of Programs with Underspecified Semantics by Model Extraction
inferred← citeshttps://doi.org/10.70675/1fee7259z417az4362z9745z718efadc68e9openalex-snapshot
Simple, Safe and Efficient Abstractions for Communication and Streaming in Parallel Computing
inferred← citeshttps://doi.org/10.70675/3d17a2d6z19bbz4b7az8011z1ee81781cceeopenalex-snapshot
Varda : a language for programming distributed systems by composition
inferred← citeshttps://doi.org/10.70675/550046f8z21f7z4dc5zae2dz7b3e27aff45eopenalex-snapshot
Analysis of synchronisation patterns in active objects based on behavioural types
inferred← citeshttps://doi.org/10.70675/ee0b611cz9b27z4b0eza6cez5ff275ab0fecopenalex-snapshot
Combining active object and BSP programs
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.