Export 26 results:
Search results for biblio_year:1991
Filters: 1 is biblio_year:2011 and 2 is field_publication_state:18 and 3 is biblio_year:2010 and 4 is biblio_year:1983 and 5 is biblio_year:2006 and 6 is biblio_type:Proceedings, non-refereed and Author is Shiva Nejati [Reset Search]
Filters: 1 is biblio_year:2011 and 2 is field_publication_state:18 and 3 is biblio_year:2010 and 4 is biblio_year:1983 and 5 is biblio_year:2006 and 6 is biblio_type:Proceedings, non-refereed and Author is Shiva Nejati [Reset Search]
"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.
dialesio2015combining.pdf (1.31 MB)
dialesio2015combining.pdf (1.31 MB) 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.
"Architecture-Level Configuration of Large-Scale Embedded Software Systems." ACM Transactions on Software Engineering and Methodology 23 (2014). Simula.simula.2598.pdf (1.37 MB)
Simula.simula.2598.pdf (1.37 MB) Backtrack-Free Consistent Configuration of Highly-Configurable Systems. Simula Research Laboratory, 2014. Simula.simula.2608.pdf (523.9 KB)
Simula.simula.2608.pdf (523.9 KB) Interactive Configuration Verification Using Constraint Programming In Lyon, France. Lyon, France: CP meets Verification, 2014.
"Traceability and SysML Design Slices to Support Safety Inspections: a Controlled Experiment." ACM Transactions on Software Engineering and Methodology 23 (2014).
Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing In The 20th International Conference on Principles and Practice of Constraint Programming (CP 2014)., 2014. dialesio2014worstcase.pdf (360.77 KB)
dialesio2014worstcase.pdf (360.77 KB) Stress Testing of Task Deadlines: A Constraint Programming Approach In The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013)., 2013. dialesio2013stress.pdf (331.68 KB)
dialesio2013stress.pdf (331.68 KB) Architecture-Level Configuration of Large-Scale Embedded Software Systems. Simula Research Laboratory, 2012.
Guided Interactive Configuration of Embedded Software Systems Using Constraint Satisfaction Over Finite Domains. Simula Research Laboratory, 2012. Simula.simula.1168.pdf (405.69 KB)
Simula.simula.1168.pdf (405.69 KB) "Matching and Merging of Variant Feature Specifications." IEEE Transactions on Software Engineering 38 (2012): 1355-1375.
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. Simula.simula.1280.pdf (609.56 KB)
Simula.simula.1280.pdf (609.56 KB) 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. nejati2012modeling.pdf (566.74 KB)
nejati2012modeling.pdf (566.74 KB) 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. researchbased.pdf (380.53 KB)
researchbased.pdf (380.53 KB) "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. Simula.simula.1122.pdf (1.06 MB)
Simula.simula.1122.pdf (1.06 MB) 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. dialesio2012testing.pdf (285.38 KB)
dialesio2012testing.pdf (285.38 KB) An AADL-Based SysML Profile for Architecture Level Systems Engineering: Approach, Metamodels, and Experiments. Simula Research Laboratory, 2011. Simula.simula.380.pdf (1.12 MB)
Simula.simula.380.pdf (1.12 MB) Extending SysML With AADL Concepts for Comprehensive System Architecture Modeling In 7th European Conference on Modelling Foundations and Applications. Berlin Heidelberg: Springer, 2011. Simula.simula.434.pdf (493.51 KB)
Simula.simula.434.pdf (493.51 KB) Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. Simula Research Laboratory, 2011.
Research-Based Innovation: a Tale of Three Projects in Model-Driven Engineering. Simula Research Laboratory, 2011. Simula.simula.820.pdf (397.42 KB)
Simula.simula.820.pdf (397.42 KB) 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. Simula.simula.970.pdf (681.53 KB)
Simula.simula.970.pdf (681.53 KB) 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. Simula.simula.193.pdf (1.35 MB)
Simula.simula.193.pdf (1.35 MB) 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. Simula.simula.804.pdf (609.5 KB)
Simula.simula.804.pdf (609.5 KB) 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. Simula.approve.58.pdf (503.52 KB)
Simula.approve.58.pdf (503.52 KB) "Runtime Monitoring of Web Service Conversations." IEEE Transactions on Service Computing 2 (2009): 223-244.