Publications
Found 22 scientific publications (published or accepted for publication in forums with peer review).
Simula has implemented a set of publication guidelines based on the Vancouver Convention, which are enforced for all publications available in our online database.
2012
Articles in International Journals
S. Nejati,
M. Sabetzadeh,
D. Falessi,
L. Briand,
and
C. Thierry.
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies,
Accepted for publication in Information and Software Technology,
2012.
2011
Articles in International Journals
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment,
Submitted to a journal,
2011.
D. Falessi,
M. Sabetzadeh,
L. Briand,
E. Turella,
T. Coq,
and
R. K. Panesar-Walawege.
Planning for Safety Evidence Collection: A Tool-Supported Approach Based on Modeling of Standards Compliance Information,
IEEE Software pp(99),
2011.
Refereed Proceedings
H. Espinoza,
A. Ruiz,
M. Sabetzadeh,
and
P. Panoroni.
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems,
In: 1st International Workshop on Software Certification (WoSoCER'11), ed. by R. Pietrantuono and N. Silva, IEEE,
2011.
D. Falessi,
S. Nejati,
M. Sabetzadeh,
L. Briand,
and
A. Messina.
SafeSlice: a model slicing and design safety inspection tool for SysML.,
In: SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), ed. by Tibor Gyimóthy, Andreas Zeller, ACM,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards,
In: 22th IEEE International Symposium on Software Reliability Engineering (ISSRE 2011), ed. by IEEE, pp. 30-39, IEEE, IEEE ,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience,
In: the 1st Intentional Workshop on Software Certification (WoSoCER) at 22th IEEE International Symposium on Software Reliability Engineering. , ed. by Springer , Springer ,
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information,
In: 30th ACM International Conference on Conceptual Modeling (ER), ed. by Springer , vol. 6998/2011, pp. 362-378, ACM, Springer ,
2011.
R. K. Panesar-Walawege,
T. Skyberg Knutsen,
M. Sabetzadeh,
and
L. Briand.
CRESCO: Construction of Evidence Repositories for Managing Standards Compliance,
In: 30th ACM International Conference on Conceptual Modeling (ER2011), ed. by Springer , Springer ,
2011.
M. Sabetzadeh,
D. Falessi,
L. Briand,
S. Di Alesio,
D. McGeorge,
V. Åhjem,
and
J. Borg.
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology,
In: 13th IEEE International High Assurance Systems Engineering Symposium (HASE'11),
2011.
M. Sabetzadeh,
S. Nejati,
L. Briand,
and
Anne-H. Evensen Mills.
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience,
In: 13th IEEE International High Assurance Systems Engineering Symposium (HASE'11),
2011.
Technical Reports
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering,
Simula Research Lab, Technical Report (2011-18),
2011.
S. Nejati,
M. Sabetzadeh,
D. Falessi,
L. Briand,
and
T. Coq.
A SysML-Based Approach to Traceability Management and Design Slicing in Support of Safety Certification: Framework, Tool Support, and Case Studies,
Simula Research Lab, Technical Report(2011-01),
2011.
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information ,
Simula Research Laboratory, Technical Report(2011-10), P.O.Box 134, 1325 Lysaker, Norway,
2011.
Conference Reference
R. K. Panesar-Walawege,
M. Sabetzadeh,
and
L. Briand.
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards,
In: International Symposium on Software Reliability Engineering (ISSRE 2011),
2011.
2010
Refereed Proceedings
R. K. Panesar-Walawege,
L. Briand,
M. Sabetzadeh,
and
T. Coq.
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard,
In: Third IEEE International Conference on Software Testing, Verification and Validation (ICST), ed. by Marie-Claude Gaudel and Ana Rosa Cavalli and Sudipto Ghosh, IEEE Computer Society,
2010.
M. Sabetzadeh,
S. Nejati,
M. Chechik,
and
S. Easterbrook.
Reasoning about Consistency in Model Merging,
In: 3rd Workshop on Living With Inconsistency in Software Development , ed. by A. Egyed and R. Lopez-Herrejon and B. Nuseibeh and G. Botterweck and M. Chechik and Z. Hu, CEUR Workshop Proceedings,
2010.
Chapters in Books
M. Sabetzadeh,
A. Finkelstein,
and
M. Goedicke.
Viewpoints,
In: Encyclopedia of Software Engineering, ed. by Phillip A. Laplante. Auerbach Publications, vol. 2, chap. 54, pp. 1318--1329,
2010.
2008
Conference Reference
S. Nejati,
M. Sabetzadeh,
M. Chechik,
S. Uchitel,
and
P. Zave.
Towards compositional synthesis of evolving systems,
In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'08), pp. 285-296, ACM,
2008.
M. Sabetzadeh,
S. Nejati,
S. Easterbrook,
and
M. Chechik.
Global consistency checking of distributed models with TReMer+,
In: Proceedings of the 30th International Conference on Software Engineering (ICSE'08), pp. 815-818, ACM,
2008.
2007
Conference Reference
M. Chechik,
W. Lai,
M. Chechik,
Z. Diskin,
S. Nejati,
M. Sabetzadeh,
P. McCormick,
and
P. Viriyakattiyaporn.
An Eclipse-Based Model Management Framework,
In: Proceedings of the Workshop on Eclipse Technology (ETX'07) at the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pp. 55-59, ACM,
2007.
S. Nejati,
M. Sabetzadeh,
M. Chechik,
S. Easterbrook,
and
P. Zave.
Matching and Merging of Statecharts Specifications,
In: Proceedings of the 29th International Conference on Software Engineering (ICSE'07), IEEE,
2007.
M. Sabetzadeh,
S. Nejati,
S. Easterbrook,
and
M. Chechik.
A Relationship-Driven Framework for Model Merging,
In: Workshop on Modeling in Software Engineering (MiSE'07) at the 29th International Conference on Software Engineering, IEEE,
2007.
M. Sabetzadeh,
S. Nejati,
S. Liaskos,
S. Easterbrook,
and
M. Chechik.
Consistency Checking of Conceptual Models via Model Merging,
In: Proceedings of the 15th IEEE International Requirements Engineering Conference (RE'07), pp. 221-230, IEEE,
2007.
2006
Articles in International Journals
M. Sabetzadeh
and
S. Easterbrook.
View merging in the presence of incompleteness and inconsistency,
Requirements Engineering 11(3):174-193,
2006.
Conference Reference
G. Brunet,
M. Chechik,
S. Easterbrook,
S. Nejati,
N. Niu,
and
M. Sabetzadeh.
A Manifesto for Model Merging,
In: 1st International Workshop on Global Integrated Model Management (GaMMa'06) at the 28th International Conference on Software Engineering, IEEE,
2006.
