Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleApril 2024
Predicting multi-subsequent events and actors in public health emergencies: An event-based knowledge graph approach
Computers and Industrial Engineering (CINE), Volume 187, Issue CJan 2024https://doi.org/10.1016/j.cie.2023.109852Highlights- Predicting subsequent events and potential actors are important in public health emergencies.
- Both relational and semantical information should be considered.
- Graph convolution network could address these issues effectively.
- ...
Public health emergencies trigger series of chain reactions that have devastating impacts on society. In addition, the subsequent events and actors in public health emergencies represent comprehensive emergency scenarios. Taking this information ...
- ArticleAugust 2023
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
Fundamentals of Software EngineeringMay 2023, Pages 72–87https://doi.org/10.1007/978-3-031-42441-0_6AbstractAfra is an Eclipse-based tool for the modeling and model checking of Rebeca family models. Together with the standard enriched editor, easy to trace counter-example viewer, modular temporal property definition, exporting a model and its transition ...
- research-articleJune 2023
Concurrent runtime verification of data rich events
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 25, Issue 4Aug 2023, Pages 481–501https://doi.org/10.1007/s10009-023-00713-2AbstractThis paper presents the open-source runtime verification tool MESA (MEssage-based System Analysis), implemented in Scala, which supports concurrent monitors using the Actor model. Furthermore, the tool supports indexing (slicing) on the data ...
- ArticleJune 2022
- research-articleOctober 2021
Poker: visual instrumentation of reactive programs with programmable probes
REBLS 2021: Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and SystemsOctober 2021, Pages 14–26https://doi.org/10.1145/3486605.3486785This paper presents Poker, a visual instrumentation platform for reactive programs. Similar to other platforms, Poker features a visual dashboard that allows the programmer to inspect the flow of values through the reactive program. The novelty of Poker ...
-
- ArticleOctober 2020
Step-Wise Development of Provably Correct Actor Systems
Leveraging Applications of Formal Methods, Verification and Validation: Verification PrinciplesOct 2020, Pages 426–448https://doi.org/10.1007/978-3-030-61362-4_25AbstractConcurrent and distributed software is widespread, but is inherently complex. The Actor model avoids the common pitfall of shared mutable state and interprocess communication is done via asynchronous message passing. Actors are used in Erlang, the ...
- research-articleOctober 2019
Modal assertions for actor correctness
AGERE 2019: Proceedings of the 9th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized ControlOctober 2019, Pages 11–20https://doi.org/10.1145/3358499.3361221The actor model is a well-established way to approach to modularly designing and implementing concurrent and/or distributed systems, seeing increasing adoption in industry. But deductive verification tailored to actor programs remains underexplored; ...
- research-articleOctober 2019
Asynchronous snapshots of actor systems for latency-sensitive applications
MPLR 2019: Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and RuntimesOctober 2019, Pages 157–171https://doi.org/10.1145/3357390.3361019The actor model is popular for many types of server applications. Efficient snapshotting of applications is crucial in the deployment of pre-initialized applications or moving running applications to different machines, e.g for debugging purposes. A key ...
- ArticleJune 2019
Composable Actor Behaviour
Distributed Applications and Interoperable SystemsJun 2019, Pages 57–73https://doi.org/10.1007/978-3-030-22496-7_4AbstractCode reusability is the cornerstone of object-oriented programming. Reuse mechanisms such as inheritance and trait composition lay at the basis of a whole range of software engineering practices with the goal to improve software quality and ...
- research-articleFebruary 2019
Making Sense of Actor Behaviour: An Algebraic Filmstrip Pattern and its Implementation
ISEC '19: Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)February 2019, Article No.: 13, Pages 1–10https://doi.org/10.1145/3299771.3299783Sense-making with respect to actor-based systems is challenging because of the non-determinism arising from concurrent behaviour. One strategy is to produce a trace of event histories that can be processed post-execution. Given a semantic domain, the ...
- research-articleNovember 2018
EActors: Fast and flexible trusted computing using SGX
Middleware '18: Proceedings of the 19th International Middleware ConferenceNovember 2018, Pages 187–200https://doi.org/10.1145/3274808.3274823Novel trusted execution support, as offered by Intel's Software Guard eXtensions (SGX), embeds seamlessly into user space applications by establishing regions of encrypted memory, called enclaves. Enclaves comprise code and data that is executed under ...
- articleSeptember 2018
Performance tuning for actor programs through decoupled concurrency
Software Quality Journal (KLU-SQJO), Volume 26, Issue 3September 2018, Pages 1097–1117https://doi.org/10.1007/s11219-017-9371-9Recent advances in hardware architectures, particularly multicore and manycore processors, implicitly require programmers to write concurrent programs that can be executed in parallel on multiple cores. However, writing correct and efficient concurrent ...
- research-articleAugust 2018
A Comprehensive Study on Bugs in Actor Systems
ICPP '18: Proceedings of the 47th International Conference on Parallel ProcessingAugust 2018, Article No.: 56, Pages 1–9https://doi.org/10.1145/3225058.3225139The Actor model of concurrency provides a convenient way to build large-scale distributed systems, harnessing its inherent parallelism and the message-driven nature. As a result, the Actor model has been widely used in a variety of distributed ...
- articleApril 2018
Actor model of Anemone functional language
The Journal of Supercomputing (JSCO), Volume 74, Issue 4April 2018, Pages 1485–1496https://doi.org/10.1007/s11227-017-2233-1This paper describes actor system of a new functional language called Anemone and compares it with actor systems of Scala and Erlang. Implementation details of the actor system are described. Performance evaluation is provided on sequential and ...
- research-articleOctober 2017
Transactional actors: communication in transactions
SEPS 2017: Proceedings of the 4th ACM SIGPLAN International Workshop on Software Engineering for Parallel SystemsOctober 2017, Pages 31–41https://doi.org/10.1145/3141865.3141866Developers often require different concurrency models to fit the various concurrency needs of the different parts of their applications. Many programming languages, such as Clojure, Scala, and Haskell, cater to this need by incorporating different ...
- research-articleOctober 2017
A principled approach towards debugging communicating event-loops
AGERE 2017: Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized ControlOctober 2017, Pages 41–49https://doi.org/10.1145/3141834.3141839Since the multicore revolution, software systems are more and more inherently concurrent. Debugging such concurrent software systems is still hard, but in the recent years new tools and techniques are being proposed. For such novel debugging techniques,...
- research-articleOctober 2017
Sparrow: a DSL for coordinating large groups of heterogeneous actors
AGERE 2017: Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized ControlOctober 2017, Pages 31–40https://doi.org/10.1145/3141834.3141838Actor-based programming is a well-established programming model for the development of concurrent and parallel systems. However, due to the asynchronous nature of its communication mechanism, it is often difficult to express coordination between ...
- research-articleOctober 2017
Advanced debugging techniques to identify concurrency bugs in actor-based programs
SPLASH Companion 2017: Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for HumanityOctober 2017, Pages 13–15https://doi.org/10.1145/3135932.3135936Actor-based programs are not exempt from concurrency bugs. Inspiring contributions for debugging actor-based programs have been developed, however there is no approach that reliably identifies the root cause of complex concurrency bugs. Solving this ...
- research-articleSeptember 2017
The shared-memory interferences of Erlang/OTP built-ins
Erlang 2017: Proceedings of the 16th ACM SIGPLAN International Workshop on ErlangSeptember 2017, Pages 43–54https://doi.org/10.1145/3123569.3123573Erlang is a concurrent functional language based on the actor model of concurrency. In the purest form of this model, actors are realized by processes that do not share memory and communicate with each other exclusively via message passing. Erlang ...
- articleJuly 2017
Cyberspace: The New Battlefield-An Approach via the Analytics Hierarchy Process
International Journal of Cyber Warfare and Terrorism (IJCWT), Volume 7, Issue 3July 2017, Pages 1–15https://doi.org/10.4018/IJCWT.2017070101The transition of the warfare mentality from the conventional domains of engagement air, land, maritime, and space to the cyberspace domain has not been an easy one for established organizations and institutions. The battlefield, in which now speed and ...