Marjan Sirjani

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

SARAF: Searching for Adversarial Robust Activation Functions.

[BibT_eX]

[DOI]

Proceedings of the 2023 6th International Conference on Machine Vision and Applications, 2023

Learning Activation Functions for Adversarial Attack Resilience in CNNs.

[BibT_eX]

[DOI]

Maghsood Salimi

Mohammad Loni

Proceedings of the Artificial Intelligence and Soft Computing, 2023

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Model Checking of Hyperledger Fabric Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

Using Automata Learning for Compliance Evaluation of Communication Protocols on an NFC Handshake Example.

[BibT_eX]

[DOI]

Stefan Marksteiner

Mikael Sjödin

Proceedings of the Engineering of Computer-Based Systems - 8th International Conference, 2023

From TARA to Test: Automated Automotive Cybersecurity Test Generation Out of Threat Modeling.

[BibT_eX]

[DOI]

Stefan F. Marksteiner

Proceedings of the 7th ACM Computer Science in Cars Symposium, 2023

2022

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Specification and Verification of Timing Properties in Interoperable Medical Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Monitoring Cyber-Physical Systems Using a Tiny Twin to Prevent Cyber-Attacks.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 28th International Symposium, 2022

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

An actor-based framework for asynchronous event-based cyber-physical systems.

[BibT_eX]

[DOI]

Iman Jahandideh

Softw. Syst. Model., 2021

Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Luciana Provenzano

Mahshid Helali Moghadam

Mehrdad Saadatmand

J. Internet Serv. Appl., 2021

Partial Order Reduction for Timed Actors.

[BibT_eX]

[DOI]

Proceedings of the Software Verification - 13th International Conference, 2021

Using Afra in Different Domains by Tool Orchestration.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

Integration and Orchestration of Analysis Tools.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2020

Safe Design of Flow Management Systems Using Rebeca.

[BibT_eX]

[DOI]

J. Inf. Process., 2020

From Requirements to Verifiable Executable Models Using Rebeca.

[BibT_eX]

[DOI]

Luciana Provenzano

Mahshid Helali Moghadam

Proceedings of the Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

An Actor-Based Approach for Security Analysis of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Fereidoun Moradi

Proceedings of the Formal Methods for Industrial Critical Systems, 2020

Towards Formal Analysis of Vehicle Platoons Using Actor Model.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Formal Modeling and Analysis of Medical Systems.

[BibT_eX]

[DOI]

Mahsa Zarneshan

Proceedings of the Coordination Models and Languages, 2020

Model Checking Software in Cyberphysical Systems.

[BibT_eX]

[DOI]

Edward A. Lee

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Developing Safe Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2017).

[BibT_eX]

[DOI]

Mehdi Dastani

Sci. Comput. Program., 2019

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.

[BibT_eX]

[DOI]

CoRR, 2019

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 26th International Symposium, 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.

[BibT_eX]

[DOI]

Narges Khakpour

Jetty Kleijn

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

On-Off Attack on a Blockchain-based IoT System.

[BibT_eX]

[DOI]

Fereidoun Moradi

Ali Sedaghatbaf

Aida Causevic

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the 6th Conference on the Engineering of Computer Based Systems, 2019

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Analysing Real-time Distributed Systems using Timed Actors.

[BibT_eX]

[DOI]

Alessandro Vittorio Papadopoulos

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

Actors Revisited for Time-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 56th Annual Design Automation Conference 2019, 2019

An Actor-Based Design Platform for System of Systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Towards a Framework for Safe and Secure Adaptive Collaborative Systems.

[BibT_eX]

[DOI]

Aida Causevic

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).

[BibT_eX]

[DOI]

Mehdi Dastani

Jayasoorya Jayanthi Surendran Nair

Sci. Comput. Program., 2018

Actor-based macroscopic modeling and simulation for smart urban planning.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Coordinated actor model of self-adaptive track-based traffic control systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Safe and efficient fleet operation for autonomous machines: an actor-based approach.

[BibT_eX]

[DOI]

Ali Jafari

Stephan Baumgart

Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

What Good are Models?

[BibT_eX]

[DOI]

Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Iman Jahandideh

Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

Reo Connectors and Components as Tagged Signal Models.

[BibT_eX]

[DOI]

Bahman Pourvatan

Proceedings of the It's All About Coordination, 2018

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.

[BibT_eX]

[DOI]

Proceedings of the Principles of Modeling, 2018

2017

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

Runtime compositional analysis of track-based traffic control systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

A Survey of Active Object Languages.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2017

Compositional schedulability analysis of real-time actor-based systems.

[BibT_eX]

[DOI]

Acta Informatica, 2017

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

2016

PTRebeca: Modeling and analysis of distributed and asynchronous systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

Statistical model checking of Timed Rebeca models.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Coordinated Actors for Reliable Self-adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

On Time Actors.

[BibT_eX]

[DOI]

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

[BibT_eX]

[DOI]

Mohammad-Javad Izadi

Sci. Comput. Program., 2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.

[BibT_eX]

[DOI]

Mohamadreza Razzazi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

Modelling and simulation of asynchronous real-time systems using Timed Rebeca.

[BibT_eX]

[DOI]

Arni Hermann Reynisson

Steinar Hugi Sigurdarson

Sci. Comput. Program., 2014

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Event-Based Analysis of Timed Rebeca Models using SQL.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

2013

Fundamentals of Software Engineering (selected papers of FSEN 2011).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analysing timed Rebeca using McErlang.

[BibT_eX]

[DOI]

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09).

[BibT_eX]

[DOI]

Gwen Salaün

Sci. Comput. Program., 2012

Symbolic execution of Reo circuits using constraint automata.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Formal modeling of evolving self-adaptive systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Fundamentals of software engineering (selected papers of FSEN '09).

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.

[BibT_eX]

[DOI]

Bahareh Abolhasanzadeh

J. Syst. Softw., 2012

Guided Search for Deadlocks in Actor-Based Models.

[BibT_eX]

[DOI]

Steinar Hugi Sigurdarson

Yngvi Björnsson

Arni Hermann Reynisson

Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

[BibT_eX]

[DOI]

Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012

2011

Comparing three coordination models: Reo, ARC, and PBRD.

[BibT_eX]

[DOI]

Carolyn L. Talcott

Shangping Ren

Sci. Comput. Program., 2011

Preface.

[BibT_eX]

[DOI]

Carlos Canal

Pascal Poizat

Sci. Comput. Program., 2011

Formal Analysis of SystemC Designs in Process Algebra.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

[BibT_eX]

[DOI]

Luca Aceto

Matteo Cimini

Anna Ingólfsdóttir

Arni Hermann Reynisson

Steinar Hugi Sigurdarson

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

Context-Based Behavioral Equivalence of Components in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Narges Khakpour

Ursula Goltz

Proceedings of the Formal Methods and Software Engineering, 2011

Networks of Real-Time Actors.

[BibT_eX]

[DOI]

Ólafur Hlynsson

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Ten Years of Analyzing Actors: Rebeca Experience.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Sysfier: Actor-based formal verification of SystemC.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2010

Actor-based slicing techniques for efficient reduction of Rebeca models.

[BibT_eX]

[DOI]

Hamideh Sabouri

Sci. Comput. Program., 2010

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.

[BibT_eX]

[DOI]

Hamid Reza Shahriari

Mohammad Sadegh Makarem

Rasool Jalili

Comput. Electr. Eng., 2010

Symmetry and partial order reduction techniques in model checking Rebeca.

[BibT_eX]

[DOI]

Acta Informatica, 2010

Formal analysis of policy-based self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Decomposition of Constraint Automata.

[BibT_eX]

[DOI]

Bahman Pourvatan

Marcello M. Bonsangue

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009

Schedulability of asynchronous real-time concurrent objects.

[BibT_eX]

[DOI]

Frank S. de Boer

Tom Chothia

J. Log. Algebraic Methods Program., 2009

Automated Analysis of Reo Circuits using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

Modeling networking issues of network-on-chip: a coloured petri nets approach.

[BibT_eX]

[DOI]

Hamid Hajabdolali Bazzaz

Shamim Taheri

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009

Bounded Rational Search for On-the-Fly Model Checking of LTL Properties.

[BibT_eX]

[DOI]

Razieh Behjati

Majid Nili Ahmadabadi

Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Smart Home Policies using Compositional Verification.

[BibT_eX]

[DOI]

Narges Khakpour

Saeed Jalili

Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Slicing-based Reductions for Rebeca.

[BibT_eX]

[DOI]

Hamideh Sabouri

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

QoS Aspects in Web Services Compositions.

[BibT_eX]

[DOI]

Farzad Mahdikhani

Mahmoud Reza Hashemi

Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008

A framework for performance evaluation and functional verification in stochastic process algebras.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Modeling and Analysis of Reo Connectors Using Alloy.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Process algebraic verification of SystemC codes.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

An effective approach for model checking SystemC designs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).

[BibT_eX]

[DOI]

Hootan Nakhost

J. Univers. Comput. Sci., 2007

Applications of Formal Methods to System Design and Verification.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2007

Comparing Three Coordination Models: Reo, ARC, and RRD.

[BibT_eX]

[DOI]

Carolyn L. Talcott

Shangping Ren

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

Modeling Web Service Interactions Using the Coordination Language Reo.

[BibT_eX]

[DOI]

Roshanak Zilouchian Moghaddam

Mohsen Vakilian

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A New Approach for Design and Verification of Transaction Level Models.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

ReUML: a UML Profile for Modeling and Verification of Reactive Systems.

[BibT_eX]

[DOI]

Fatemeh Alavizadeh

Alireza Hashemi Nekoo

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Compositional Semantics of System-Level Designs Written in SystemC.

[BibT_eX]

[DOI]

Niloofar Razavi

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Sarir: A Rebeca to mCRL2 Translator.

[BibT_eX]

[DOI]

Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2006

Modeling component connectors in Reo by constraint automata.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Specification and Implementation of Multi-Agent Organizations.

[BibT_eX]

Proceedings of the WEBIST 2006, 2006

Using UML to Develop Verifiable Reactive Systems.

[BibT_eX]

Fatemeh Alavizadeh

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Modere: the model-checking engine of Rebeca.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Using Reo for formal specification and verification of system designs.

[BibT_eX]

[DOI]

Niloofar Razavi

Proceedings of the 4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 2006

Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm.

[BibT_eX]

[DOI]

Sepand Ansari

Proceedings of the Formal Methods and Software Engineering, 2006

Rebeca: Theory, Applications, and Tools.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.

[BibT_eX]

[DOI]

Christel Baier

Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

2005

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2005

Modular Verification of a Component-Based Actor Language.

[BibT_eX]

[DOI]

Frank S. de Boer

Ali Movaghar-Rahimabadi

J. Univers. Comput. Sci., 2005

Formal Semantics and Analysis of Component Connectors in Reo.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended <i>R</i>ebeca.

[BibT_eX]

[DOI]

Hootan Nakhost

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Automated Mapping of Reo Circuits to Constraint Automata.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Preface.

[BibT_eX]

[DOI]

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Efficient Symmetry Reduction for an Actor-Based Model.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Internet Technology, 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005

2004

Modeling and Verification of Reactive Systems using Rebeca.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Modeling Behavior in Compositions of Software Architectural Primitives.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models.

[BibT_eX]

[DOI]

Amin Shali

Hamed Iravanchi

Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

Model Checking in Rebeca.

[BibT_eX]

Hamed Iravanchi

Amin Shali

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002

Simulation in Rebeca.

[BibT_eX]