Publications
Found 16 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,
Information and Software Technology, 54(6, June 2012):569-590,
2012.
Refereed Proceedings
R. Behjati,
S. Nejati,
T. Yue,
A. Gotlieb,
and
L. Briand.
Model-Based Automated and Guided Configuration of Embedded Software Systems,
In: ECMFA 2012, ed. by Vallecillo, Antonio; Tolvanen, Juha-Pekka; Kindler, Ekkart; Störrle, Harald; Kolovos, Dimitris, vol. 7349, pp. 226-243, Springer Berlin Heidelberg,
2012.
L. Briand,
D. Falessi,
S. Nejati,
M. Sabetzadeh,
and
T. Yue.
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering,
In: Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012, ed. by Robert France, Juergen Kazmeier, Colin Atkinson, Ruth Breu, vol. 7590, pp. 793-809, Springer Berlin Heidelberg,
2012.
S. Di Alesio,
A. Gotlieb,
S. Nejati,
and
L. Briand.
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques,
In: Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), ed. by , pp. 764-769,
2012.
S. Nejati,
S. Di Alesio,
M. Sabetzadeh,
and
L. Briand.
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing,
In: ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), ed. by France, Robert B; Kazmeier, Jürgen; Breu, Ruth; Atkinson, Colin, pp. 759-775, Springer Berlin Heidelberg,
2012.
Technical Reports
R. Behjati, S. Nejati, and L. Briand. Architecture-Level Configuration of Large-Scale Embedded Software Systems, Simula Research Laboratory, Technical Report(2012-19), 2012.
R. Behjati,
S. Nejati,
A. Gotlieb,
T. Yue,
and
L. Briand.
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction over Finite Domains,
Simula Research Laboratory, Technical Report (2012-05),
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,
a journal,
2011.
Refereed Proceedings
R. Behjati,
T. Yue,
S. Nejati,
L. Briand,
and
B. Selic.
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling,
In: 7th European Conference on Modelling Foundations and Applications, ed. by Robert B. France, Jochen M. Kuester, Behzad Bordbar, Richard F. Paige, pp. 236-252, Springer (ISBN: 978-3-642-21469-1),
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.
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
R. Behjati,
T. Yue,
S. Nejati,
L. Briand,
and
B. Selic.
An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments,
Simula Research Laboratory, Technical Report (2011-03),
2011.
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.
2010
Refereed Proceedings
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 (ISBN: urn:nbn:de:0074-661-4),
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
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.
