Sirjani, Marjan.
Overview
| Works: | 2 works in 8 publications in 1 languages | |
|---|---|---|
Titles
Coordination models and languages24th IFIP WG 6. 1 International Conference, COORDINATION 2022, held as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering7th International Conference, FSEN 2017, Tehran, Iran, April 26-28, 2017 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Software engineering and formal methods15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineeringthird IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Principles of modelingessays dedicated to Edward A. Lee on the occasion of his 60th birthday /
by:
Derler, Patricia.; Lohstroh, Marten.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(1998 :); Dastani, Mehdi.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Fundamentals of software engineering4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(1998 :); Arbab, Farhad.; Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Rebeca for actor analysis in actionessays dedicated to Marjan Sirjani on the occasion of her 60th birthda /
by:
Lee, Edward A.; Mousavi, Mohammad Reza.; Sirjani, Marjan.; SpringerLink (Online service); Talcott, Carolyn.
(Electronic resources)
Coordination models and languages14th International Conference, COORDINATION 2012, Stockholm, Sweden, June 14-15, 2012 : proceedings /
by:
(1998 :); Sirjani, Marjan.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software engineering
Mathematical Logic and Formal Languages.
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Electronic data processing
Software architecture
Programming Techniques.
Information Systems Applications (incl. Internet)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer simulation.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Special Purpose and Application-Based Systems.
Modeling languages (Computer science)
Software engineering.
Models and Principles.
Computer Engineering and Networks.
Semantic computing.
The Computing Profession.
Artificial Intelligence.
Computer Science.
Computer Communication Networks.
System Performance and Evaluation.
Computer Systems Organization and Communication Networks.
Computer Hardware.
Cooperating objects (Computer systems)