WorldCat Identities

Sirjani, Marjan

Overview
Works: 31 works in 170 publications in 2 languages and 4,053 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Other, htt, Author, Publishing director
Publication Timeline
.
Most widely held works by Marjan Sirjani
Fundamentals of software engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22 2011 : revised selected papers by IPM International Conference on Fundamentals of Software Engineering( )

44 editions published between 2012 and 2017 in English and German and held by 1,508 WorldCat member libraries worldwide

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Fundamentals of Software Engineering, FSEN 2017, held in Tehran, Iran, in April 2017. The 16 full papers presented in this volume were carefully reviewed and selected from 49 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings by F Arbab( )

17 editions published in 2007 in English and held by 660 WorldCat member libraries worldwide

The present volume contains the post-proceedings of the second IPM Inter- tional Symposium on Fundamentals of Software Engineering (FSEN), Tehran, Iran, April 17-19, 2007. This event, FSEN 2007, was organized by the School of Computer Science at the Institute for Studies in Fundamental Sciences (IPM) in Iran, in cooperation with the ACM SIGSOFT and IFIP WG 2.2, and was additionally supported by the University of Tehran, Sharif University of Te- nology, andtheInternationalScienti?cMeetingsO?ce(ISMO). Thissymposium brought together researchers and practitioners working on di?erent aspects of formal methods in software engineering. FSEN 2007 covered many aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integrationwith practical engineering techniques. A truly international programcommittee of top researchersfrom 23 di?erent academic institutes in 9 countries selected the technical content of this sym- sium. We received a total of 73 submissions, out of which the PC selected 22 as regular papers and 8 as short papers to be published in the post-proceedings, and 6 papers accepted for poster presentations at the symposium. Each subm- sion was reviewed by at least 3 independent referees, for its quality, originality, contribution, clarity of presentation, and its relevance to the symposium topics. We had 93 registered participants at the symposium from 12 countries
Fundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers by F Arbab( )

15 editions published in 2010 in English and held by 484 WorldCat member libraries worldwide

Annotation
Coordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. Proceedings by Marjan Sirjani( )

18 editions published in 2012 in English and German and held by 473 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 14th International Conference on Coordination Models and Languages, COORDINATION 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 18 revised full papers presented were carefully reviewed and selected from 55 submissions. The papers cover a wide range of topics including coordination of social collaboration processes, coordination of mobile systems in peer-to-peer and ad-hoc networks, programming and reasoning about distributed and concurrent software, types, contracts, synchronization, coordination patterns, and families of distributed systems
Software engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : Proceedings by International Conference on Software Engineering and Formal Methods( )

15 editions published in 2017 in English and held by 288 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; an d design principles.
Principles of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthday by Edward A. Lee Festschrift Symposium( )

10 editions published in 2018 in English and held by 259 WorldCat member libraries worldwide

This Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday. The title of this Festschrift is "Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics. The Festschrift contains 29 papers that feature the broad range of Edward A. Lee's research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design
Software architecture : 15th European Conference, ECSA 2021, virtual event, Sweden, September 13-17, 2021, proceedings by Stefan Biffl( )

4 editions published in 2021 in English and Undetermined and held by 157 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021. Due to the COVID-19 pandemic, the conference was held virtually. For the Research Track, 11 full papers, presented together with 5 short papers, were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: architectures for reconfigurable and self-adaptive systems; machine learning for software architecture; architectural knowledge, decisions, and rationale; architecting for quality attributes; architecture-centric source code analysis; and experiences and learnings from industrial case studies
Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers by F Arbab( )

13 editions published between 2012 and 2013 in English and Undetermined and held by 118 WorldCat member libraries worldwide

This book constitutes the proceedings of the 5th IPM International Conference on Fundamentals of Software Engineering, FSEN 2013, held in Tehran, Iran, in April 2013. The 17 full papers presented in this volume were carefully reviewed and selected from 65 submissions. The topics of interest in FSEN span over all aspects of formal methods, especially those related to advancing the application of formal methods in software industry and promoting their integration with practical engineering techniques
Software Architecture : 15th European Conference, ECSA 2021, Virtual Event, Sweden, September 13-17, 2021, Proceedings by Stefan Biffl( )

2 editions published in 2021 in English and held by 23 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021. Due to COVID-19 pandemic the conference was held virtually. In the Research Track, 11 full papers presented together with 5 short papers were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections as follows: architectures for reconfigurable and self-adaptive systems; machine learning for software architecture; architectural knowledge, decisions, and rationale; architecting for quality attributes¸ hitecture-centric source code analysis
International Symposium on Fundamentals of Software Engineering by F Arbab( )

2 editions published in 2007 in English and held by 22 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the International Symposium on Fundamentals of Software Engineering, FSEN 2007, held in Tehran, Iran, April 17-19, 2007. The 32 revised papers presented were carefully reviewed and selected from 73 submissions. The topics include Models of programs and systems, Software specification, validation and verification, Software architectures and their description languages, Object and multi-agent systems, Coordination and feature interaction, Integration of formal and informal methods, Integration of different formal methods, Component-based develop
Fundamentals of Software Engineering by F Arbab( Book )

5 editions published between 2010 and 2015 in English and Undetermined and held by 20 WorldCat member libraries worldwide

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers by F Arbab( )

2 editions published in 2010 in English and held by 14 WorldCat member libraries worldwide

Extending Rebeca with synchronous messages and reusable components( Book )

1 edition published in 2005 in English and held by 4 WorldCat member libraries worldwide

Effective modeling of software architectural assemblies using constraint automata by Nikunj R Mehta( Book )

1 edition published in 2003 in English and held by 4 WorldCat member libraries worldwide

Effective modeling of software architectural assemblies using constraint automata by N. R Mehta( Book )

3 editions published in 2003 in English and held by 4 WorldCat member libraries worldwide

A Formal Approach to Multi-level Complex Systems Modeling and Analysis by E Merelli( Book )

2 editions published between 2014 and 2017 in English and held by 3 WorldCat member libraries worldwide

Extending Rebeca with synchronous messages and reusable components( Book )

2 editions published in 2005 in English and held by 2 WorldCat member libraries worldwide

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking by Ehsan Khamespanah( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

Compositional schedulability analysis of real-time actor-based systems by Mohammad Mahdi Jaghoori( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

IPM International conference on fundamentals of software engineering (FSEN 09) : Kish Island, Persian Gulf : April 15-17, 2009 by Institute for studies in theoretical physics and mathematics( Book )

1 edition published in 2009 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.54 (from 0.49 for Internatio ... to 0.98 for IPM Intern ...)

WorldCat IdentitiesRelated Identities
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings
Covers
International Symposium on Fundamentals of Software Engineering : international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedingsFundamentals of software engineering : third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papersCoordination models and languages : 14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012. ProceedingsSoftware engineering and formal methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 :  ProceedingsPrinciples of modeling : essays dedicated to Edward A. Lee on the occasion of his 60th birthdayFundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected PapersFundamentals of Software Engineering
Languages
English (151)

German (4)