Export 26 results:
Search results for biblio_year:2013
Filters: 1 is biblio_type:Proceedings, refereed and 2 is biblio_year:2001 and 3 is biblio_year:2015 and 4 is biblio_year:1997 and 5 is biblio_year:2008 and Author is Shiva Nejati  [Reset Search]
2015
S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb. "Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines." ACM Transactions on Software Engineering and Methodology (TOSEM) 25, no. 1 (2015): 1-37.PDF icon dialesio2015combining.pdf (1.31 MB)
R. Behjati and S. Nejati. Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems In 6th International Conference on Fundamentals of Software Engineering (FSEN). Tehran, Iran, April 22-24. Springer, 2015.
2013
S. Di Alesio, S. Nejati, L. Briand and A. Gotlieb. Stress Testing of Task Deadlines: A Constraint Programming Approach In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013.PDF icon dialesio2013stress.pdf (331.68 KB)
2012
R. Behjati, S. Nejati and L. Briand. Architecture-Level Configuration of Large-Scale Embedded Software Systems. Simula Research Laboratory, 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, 2012.PDF icon Simula.simula.1168.pdf (405.69 KB)
S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook and P. Zave. "Matching and Merging of Variant Feature Specifications." IEEE Transactions on Software Engineering 38 (2012): 1355-1375.
R. Behjati, S. Nejati, T. Yue, A. Gotlieb and L. C. Briand. Model-Based Automated and Guided Configuration of Embedded Software Systems In ECMFA 2012, Edited by A. Vallecillo, J. Tolvanen, E. Kindler, H. Störrle and D. Kolovos. Vol. 7349. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.PDF icon Simula.simula.1280.pdf (609.56 KB)
S. Nejati, S. Di Alesio, M. Sabetzadeh and L. C. Briand. Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing In The ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012)., 2012.PDF icon nejati2012modeling.pdf (566.74 KB)
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, Edited by L. Briand. Vol. 7590. Springer Berlin Heidelberg, 2012.PDF icon researchbased.pdf (380.53 KB)
S. Nejati, M. Sabetzadeh, D. Falessi, L. C. 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 (2012): 569-590.PDF icon Simula.simula.1122.pdf (1.06 MB)
S. Di Alesio, A. Gotlieb, S. Nejati and L. C. Briand. Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012)., 2012.PDF icon dialesio2012testing.pdf (285.38 KB)
2011
R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic. An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments. Simula Research Laboratory, 2011.PDF icon Simula.simula.380.pdf (1.12 MB)
R. Behjati, T. Yue, S. Nejati, L. C. Briand and B. Selic. Extending SysML With AADL Concepts for Comprehensive System Architecture Modeling In 7th European Conference on Modelling Foundations and Applications. Berlin Heidelberg: Springer, 2011.PDF icon Simula.simula.434.pdf (493.51 KB)
S. Nejati. Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. Simula Research Laboratory, 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 Laboratory, 2011.PDF icon Simula.simula.820.pdf (397.42 KB)
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), Edited by A. Z. T. Gyimóthy. ACM, 2011.PDF icon Simula.simula.970.pdf (681.53 KB)
S. Nejati, M. Sabetzadeh, D. Falessi, L. C. 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 Laboratory, 2011.PDF icon Simula.simula.193.pdf (1.35 MB)
M. Sabetzadeh, S. Nejati, L. C. Briand and A. E. 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). Boca Raton, FL: IEEE, 2011.PDF icon Simula.simula.804.pdf (609.5 KB)
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, Edited by A. Egyed, R. Lopez-Herrejon, B. Nuseibeh, G. Botterweck, M. Chechik and Z. Hu. CEUR Workshop Proceedings, 2010.PDF icon Simula.approve.58.pdf (503.52 KB)

Pages