Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday...

— —

Edward A. Lee Mohammad Reza Mousavi

Rebeca for Actor Analysis in Action

Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

$162.95 $130.01

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer International Publishing AG
21 March 2025

Software Engineering

Series: Lecture Notes in Computer Science

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.

Marjan Sirjani received her PhD in Computer Engineering from Sharif University of Technology for work on the Formal Specification and Verification of Concurrent and Reactive Systems. After Postdoc, Lecturer, Visiting Scholar, Associate Professor, and Professor positions in Iran, The Netherlands, Iceland, and the US, she has been a Professor in the School of Innovation, Design and Engineering of Mälardalen University since 2016. Her main fields of interest are Software Engineering, Formal Methods, Cyber-Physical Systems Analysis, Model Checking, Distributed Systems, and Applying Formal Methods in System Design. Among other successes, Marjan invented the Rebeca modelling language, one of the best-known actor-based languages with a formal semantics and a wealth of analysis and verification tools. Rebeca has been used in modelling and analysis of a wide range of systems, including in domains such as biomedical engineering, automotive, and aviation.

Throughout her career, Marjan has trained many students and worked successfully with a range of scientists and engineers across disciplines, these collaborations are reflected in the papers in this volume.

Edited by: Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
Imprint: Springer International Publishing AG
Country of Publication: Switzerland
Volume: 15560
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9783031851339
ISBN 10: 3031851331
Series: Lecture Notes in Computer Science
Pages: 442
Publication Date: 21 March 2025
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

-. Modelling Cyber-Physical Systems for Verification and Synthesis. -. 20 Years of Actor Model Checking with Rebeca - From Dining Philosophers to MicroServices. Responsibility in Actor-Based Systems. -. Semantics and Formal Analysis of Lingua Franca CPS Specifications in Rewriting Logic. -. Parallel Composition of Constraint Automata. -. Privacy-Aware Modeling and Analysis of Social Networks Using Rebeca Ranch: Rebeca on Chip Animating Rebeca. -. Verify Engineering Models, not Scientific Models. -. Black-box protocol testing using Rebeca and Automata Learning. -. From LTL to Scenarios: Automatic test case generation for Axini Modeling Language. -. Concurrent Rules Machines Verifying ROS Systems Using Timed and Stochastic Timed Automata. -. An LAGC Semantics for Timed Rebeca Inside Every Multi-Threaded Program There Are Active Objects Struggling To Get Out. -. A Debugging System for Language-parameterized Proofs Security Threats and Challenges of Digital Twins-enabled Self-adaptive Systems. -. Ten Years of Spatial Model Checking.

PRIZES to win! PROMOTIONS

Rebeca for Actor Analysis in Action

Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott

$162.95 $130.01

Paperback

See Also

Contact Abbeys

Contact Galaxy

Contact Language

Contact Us

About ABBEY'S