• Publications
  • Influence
A relational trace logic for simple hierarchical actor-based component systems
TLDR
This paper develops trace semantics and specification technique for actor-based component systems, presents important proof rules, proves soundness of the rules, and illustrates the interplay between the trace semantics, the specification technique and the proof rules by an industrial Erlang case study. Expand
  • 6
  • 1
  • PDF
Model-Based Compatibility Checking of System Modifications
TLDR
We investigate compatibility of components that have a bipartite context consisting of, on the one hand, interactions with users or the environment. Expand
  • 7
  • 1
  • PDF
Verification of Open Concurrent Object Systems
TLDR
This chapter presents an approach to hierarchically specify and verify open concurrent object systems. Expand
  • 5
  • PDF
An Automata-Theoretic Approach to Open Actor System Verification
TLDR
We propose an automaton model that captures the challenging aspects of open distributed systems by utilizing actors as universal primitives to represent system entities. Expand
  • 1
  • PDF
Scripted Song-based Audio Media and Its Effect toward the Fifth Grade Students' English Competence in Kubutambahan Sub-district 1 in Academic Year 2014-2015
Penelitian ini adalah sebuah studi experimen yang menyelidiki efek dari penggunaan scripted song-based audio media pada kompetensi bahasa Inggris yang dimiliki oleh siswa kelas 5 di gugus 1 KecamatanExpand
PENDIDIKAN KARAKTER ANAK USIA DINI(Studi Komparasi Al-Ghazali dan Ki Hajar Dewantara)
The background of this research stems from the many problems that occur in Indonesia today, such as corrupt government officials, abuse of office, falsification of documents and others. In additionExpand
Indonesian Olympiad in Informatics
This article describes the experience of Indonesian Olympiad in Informatics (abbreviated as OKI in Indonesian) in introducing informatics to young generation in Indonesia through a form ofExpand
  • 2
  • PDF
Modeling Actor Systems Using Dynamic I/O Automata
TLDR
This paper presents a new automaton model for actor systems and demonstrates how the model can be used for compositional verification. Expand
State-based Object Models Are More Abstract Than Trace-based Models Towards a Unified Specification Framework
The literature distinguishes between trace-based and statebased specification techniques for object-oriented components. Tracebased specifications describe behavior in terms of the message historiesExpand
  • 2
  • PDF
BTSL* Model Checking with Fairness for Reo
TLDR
This thesis introduces Full Branching Time Stream Logic (BTSL*), a combination of CTL and Dynamic LTL which offers the ability to reason about states and actions in a Reo circuit. Expand