Marjan Sirjani

According to our database1, Marjan Sirjani authored at least 98 papers between 2002 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.
Sci. Comput. Program., 2018

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).
Sci. Comput. Program., 2018

Actor-based macroscopic modeling and simulation for smart urban planning.
Sci. Comput. Program., 2018

Coordinated actor model of self-adaptive track-based traffic control systems.
Journal of Systems and Software, 2018

Safe and efficient fleet operation for autonomous machines: an actor-based approach.
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018

What Good are Models?
Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Reo Connectors and Components as Tagged Signal Models.
Proceedings of the It's All About Coordination, 2018

Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience.
Proceedings of the Principles of Modeling, 2018

2017
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.
SIGBED Review, 2017

Runtime compositional analysis of track-based traffic control systems.
SIGBED Review, 2017

A Survey of Active Object Languages.
ACM Comput. Surv., 2017

Compositional schedulability analysis of real-time actor-based systems.
Acta Inf., 2017

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives.
Proceedings of the Software Engineering and Formal Methods, 2017

2016
PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program., 2016

Statistical model checking of Timed Rebeca models.
Computer Languages, Systems & Structures, 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Coordinated Actors for Reliable Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

On Time Actors.
Proceedings of the Theory and Practice of Formal Methods, 2016

2015
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.
Sci. Comput. Program., 2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).
Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.
ECEASST, 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014
Modelling and simulation of asynchronous real-time systems using Timed Rebeca.
Sci. Comput. Program., 2014

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

Event-Based Analysis of Timed Rebeca Models using SQL.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.
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).
Sci. Comput. Program., 2013

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

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analysing timed Rebeca using McErlang.
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).
Sci. Comput. Program., 2012

Symbolic execution of Reo circuits using constraint automata.
Sci. Comput. Program., 2012

Formal modeling of evolving self-adaptive systems.
Sci. Comput. Program., 2012

Fundamentals of software engineering (selected papers of FSEN '09).
Sci. Comput. Program., 2012

HPobSAM for modeling and analyzing IT Ecosystems - Through a case study.
Journal of Systems and Software, 2012

Guided Search for Deadlocks in Actor-Based Models.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.
Proceedings of the 2nd edition on Programming systems, 2012

2011
Comparing three coordination models: Reo, ARC, and PBRD.
Sci. Comput. Program., 2011

Preface.
Sci. Comput. Program., 2011

Formal Analysis of SystemC Designs in Process Algebra.
Fundam. Inform., 2011

Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
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.
Proceedings of the Formal Methods and Software Engineering, 2011

Networks of Real-Time Actors.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

Ten Years of Analyzing Actors: Rebeca Experience.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embedded Comput. Syst., 2010

Actor-based slicing techniques for efficient reduction of Rebeca models.
Sci. Comput. Program., 2010

Slicing-based Reductions for Rebeca.
Electr. Notes Theor. Comput. Sci., 2010

PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems.
Electr. Notes Theor. Comput. Sci., 2010

Vulnerability analysis of networks to detect multiphase attacks using the actor-based language Rebeca.
Computers & Electrical Engineering, 2010

Symmetry and partial order reduction techniques in model checking Rebeca.
Acta Inf., 2010

Formal analysis of policy-based self-adaptive systems.
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010

Decomposition of Constraint Automata.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

2009
Schedulability of asynchronous real-time concurrent objects.
J. Log. Algebr. Program., 2009

Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM.
Electr. Notes Theor. Comput. Sci., 2009

Automated Analysis of Reo Circuits using Symbolic Execution.
Electr. Notes Theor. Comput. Sci., 2009

Preface.
Electr. Notes Theor. Comput. Sci., 2009

Modeling networking issues of network-on-chip: a coloured petri nets approach.
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.
Proceedings of the Fundamentals of Software Engineering, 2009

Formal Analysis of Smart Home Policies using Compositional Verification.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008
Comparing Three Coordination Models: Reo, ARC, and RRD.
Electr. Notes Theor. Comput. Sci., 2008

QoS Aspects in Web Services Compositions.
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.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Modeling and Analysis of Reo Connectors Using Alloy.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Process algebraic verification of SystemC codes.
Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

An effective approach for model checking SystemC designs.
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).
J. UCS, 2007

Applications of Formal Methods to System Design and Verification.
J. UCS, 2007

Modeling Web Service Interactions Using the Coordination Language Reo.
Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

A New Approach for Design and Verification of Transaction Level Models.
Proceedings of the International Symposium on Circuits and Systems (ISCAS 2007), 2007

ReUML: a UML Profile for Modeling and Verification of Reactive Systems.
Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Compositional Semantics of System-Level Designs Written in SystemC.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Sarir: A Rebeca to mCRL2 Translator.
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.
Sci. Comput. Program., 2006

Formal Semantics and Analysis of Component Connectors in Reo.
Electr. Notes Theor. Comput. Sci., 2006

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca.
Electr. Notes Theor. Comput. Sci., 2006

Automated Mapping of Reo Circuits to Constraint Automata.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Specification and Implementation of Multi-Agent Organizations.
Proceedings of the WEBIST 2006, 2006

Using UML to Develop Verifiable Reactive Systems.
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.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Using Reo for formal specification and verification of system designs.
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.
Proceedings of the Formal Methods and Software Engineering, 2006

Rebeca: Theory, Applications, and Tools.
Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Compositional Semantics of an Actor-Based Language Using Constraint Automata.
Proceedings of the Coordination Models and Languages, 8th International Conference, 2006

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

Modular Verification of a Component-Based Actor Language.
J. UCS, 2005

Efficient Symmetry Reduction for an Actor-Based Model.
Proceedings of the Distributed Computing and Internet Technology, 2005

Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing.
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.
Fundam. Inform., 2004

Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2004

Modeling Behavior in Compositions of Software Architectural Primitives.
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.
Proceedings of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), 2004

2003
Model Checking in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

2002
Simulation in Rebeca.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002


  Loading...