default search action
Shiva Nejati
Person information
- affiliation: University of Ottawa, Canada
- affiliation (former): University of Luxembourg
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j32]Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati
:
Evaluating the impact of flaky simulators on testing autonomous driving systems. Empir. Softw. Eng. 29(2): 47 (2024) - [j31]Jia Li
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. ACM Trans. Auton. Adapt. Syst. 19(1): 2:1-2:35 (2024) - [j30]Jaekwon Lee
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages. ACM Trans. Softw. Eng. Methodol. 33(2): 32:1-32:34 (2024) - [j29]Baharin Aliashrafi Jodat
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. ACM Trans. Softw. Eng. Methodol. 33(4): 93:1-93:32 (2024) - [j28]Jia Li
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. IEEE Trans. Software Eng. 50(7): 1827-1851 (2024) - [c65]Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati:
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach. ICSTW 2024: 9-12 - [c64]Gregory Gay, Shiva Nejati:
Message from the Program Co-Chairs; ICST 2024. ICST 2024: xv - [c63]Negin Ayoughi
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. MODELS 2024: 172-182 - [c62]Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh:
Requirements-Driven Slicing of Simulink Models using LLMs. RE Workshops 2024: 72-82 - [c61]João Paulo Karol Santos Nunes
Self-adaptive, Requirements-driven Autoscaling of Microservices. SEAMS@ICSE 2024: 168-174 - [i26]João Paulo Karol Santos Nunes, Shiva Nejati, Mehrdad Sabetzadeh, Elisa Yumi Nakagawa:
Self-adaptive, Requirements-driven Autoscaling of Microservices. CoRR abs/2403.08798 (2024) - [i25]Jia Li, Behrad Moeini, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A Lean Simulation Framework for Stress Testing IoT Cloud Systems. CoRR abs/2404.11542 (2024) - [i24]Cristopher McIntyre-Garcia, Adrien Heymans, Beril Borali, Won-Sook Lee, Shiva Nejati:
Generating Minimalist Adversarial Perturbations to Test Object-Detection Models: An Adaptive Multi-Metric Evolutionary Search Approach. CoRR abs/2404.17020 (2024) - [i23]Dipeeka Luitel, Shiva Nejati, Mehrdad Sabetzadeh:
Requirements-driven Slicing of Simulink Models Using LLMs. CoRR abs/2405.01695 (2024) - [i22]Negin Ayoughi, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Enhancing Automata Learning with Statistical Machine Learning: A Network Security Case Study. CoRR abs/2405.11141 (2024) - [i21]Daksh Chaudhary, Sri Lakshmi Vadlamani, Dimple Thomas, Shiva Nejati, Mehrdad Sabetzadeh:
Developing a Llama-Based Chatbot for CI/CD Question Answering: A Case Study at Ericsson. CoRR abs/2408.09277 (2024) - [i20]Mohammad Hossein Amini, Shiva Nejati:
Bridging the Gap between Real-world and Synthetic Images for Testing Autonomous Driving Systems. CoRR abs/2408.13950 (2024) - 2023
- [j27]Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. Inf. Softw. Technol. 163: 107286 (2023) - [j26]Shiva Nejati, Dániel Varró:
Guest editorial for the special section on MODELS 2021. Softw. Syst. Model. 22(5): 1393-1396 (2023) - [j25]Jaekwon Lee
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages. ACM Trans. Softw. Eng. Methodol. 32(2): 37:1-37:33 (2023) - [c60]Maryam Havakeshian, Yvan Labiche, Shiva Nejati, Stéphane Desjardins, Kourosh Haghighi:
Test Cost Reduction for 5G and Beyond using Machine Learning. ICSTW 2023: 373-376 - [c59]Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. ICST 2023: 386-397 - [c58]Diptikalyan Saha
A Report on Tutorials and Tech-Briefings co-located with ISEC 2023. ISEC 2023: 30:1-30:2 - [i19]Jaekwon Lee, Seung Yeob Shin, Lionel C. Briand, Shiva Nejati:
Probabilistic WCET Estimation for Weakly Hard Real-Time Systems. CoRR abs/2302.10288 (2023) - [i18]Shiva Nejati, Lev Sorokin, Damir Safin, Federico Formica
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models. CoRR abs/2305.00083 (2023) - [i17]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Using Genetic Programming to Build Self-Adaptivity into Software-Defined Networks. CoRR abs/2306.00316 (2023) - [i16]Mohammad Hossein Amini, Shervin Naseri, Shiva Nejati:
Evaluating the Impact of Flaky Simulators on Testing Autonomous Driving Systems. CoRR abs/2311.18768 (2023) - [i15]Baharin Aliashrafi Jodat, Abhishek Chandar, Shiva Nejati, Mehrdad Sabetzadeh:
Test Generation Strategies for Building Failure Models and Explaining Spurious Failures. CoRR abs/2312.05631 (2023) - 2022
- [j24]Fitash Ul Haq
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 27(6): 141 (2022) - [j23]Jaekwon Lee, Seung Yeob Shin
Optimal priority assignment for real-time systems: a coevolution-based approach. Empir. Softw. Eng. 27(6): 142 (2022) - [j22]Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. ACM SIGSOFT Softw. Eng. Notes 47(4): 18-24 (2022) - [j21]Khouloud Gaaloul
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. IEEE Trans. Software Eng. 48(9): 3664-3685 (2022) - [c57]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A domain-specific language for simulation-based testing of IoT edge-to-cloud solutions. MoDELS 2022: 367-378 - [c56]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. SEAMS 2022: 13-24 - [i14]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh:
Learning Self-adaptations for IoT Networks: A Genetic Programming Approach. CoRR abs/2205.04352 (2022) - [i13]Danny Weyns, Ilias Gerostathopoulos, Barbora Buhnova, Nicolás Cardozo, Emilia Cioroaica, Ivana Dusparic, Lars Grunske, Pooyan Jamshidi, Christine Julien, Judith Michael, Gabriel A. Moreno, Shiva Nejati, Patrizio Pelliccione, Federico Quin, Genaína Nunes Rodrigues, Bradley R. Schmerl, Marco Vieira
Guidelines for Artifacts to Support Industry-Relevant Research on Self-Adaptation. CoRR abs/2206.12492 (2022) - [i12]Jia Li, Shiva Nejati, Mehrdad Sabetzadeh, Michael McCallen:
A Domain-Specific Language for Simulation-Based Testing of IoT Edge-to-Cloud Solutions. CoRR abs/2208.06954 (2022) - [i11]Baharin Aliashrafi Jodat, Shiva Nejati, Mehrdad Sabetzadeh, Patricio Saavedra:
Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study. CoRR abs/2212.08726 (2022) - 2021
- [j20]Fitash Ul Haq
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? Empir. Softw. Eng. 26(5): 90 (2021) - [j19]Gregory Gay, Shiva Nejati:
Special Section on the 2019 Symposium on Search-Based Software Engineering. Inf. Softw. Technol. 130: 106440 (2021) - [j18]Seung Yeob Shin
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems. J. Syst. Softw. 171: 110813 (2021) - [j17]Shiva Nejati
Next-Generation Software Verification: An AI Perspective. IEEE Softw. 38(3): 126-130 (2021) - [c55]Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. ICST 2021: 383-393 - [i10]Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Combining Genetic Programming and Model Checking to Generate Environment Assumptions. CoRR abs/2101.01933 (2021) - [i9]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Can Offline Testing of Deep Neural Networks Replace Their Online Testing? CoRR abs/2101.11118 (2021) - [i8]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand:
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach. CoRR abs/2102.07694 (2021) - 2020
- [c54]Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach. SEAMS@ICSE 2020: 137-148 - [c53]Claudio Menghi
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification. ICSE 2020: 372-384 - [c52]Fitash Ul Haq
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. ICST 2020: 85-95 - [c51]Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter:
Automated repair of feature interaction failures in automated driving systems. ISSTA 2020: 88-100 - [c50]Khouloud Gaaloul, Claudio Menghi
Mining assumptions for software components using machine learning. ESEC/SIGSOFT FSE 2020: 159-171 - [c49]Shiva Nejati:
Search-Based Software Testing for Formal Software Verification - and Vice Versa. SSBSE 2020: 3-6 - [i7]Jaekwon Lee, Seung Yeob Shin, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times. CoRR abs/2007.10490 (2020) - [i6]Markus Borg, Raja Ben Abdessalem, Shiva Nejati, François-Xavier Jegeden, Donghwan Shin:
Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators. CoRR abs/2012.06822 (2020)
2010 – 2019
- 2019
- [j16]Bing Liu, Shiva Nejati
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy. Empir. Softw. Eng. 24(1): 444-490 (2019) - [j15]Chetan Arora
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction. ACM Trans. Softw. Eng. Methodol. 28(1): 4:1-4:34 (2019) - [j14]Reza Matinnejad, Shiva Nejati
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior. IEEE Trans. Software Eng. 45(9): 919-944 (2019) - [c48]Shiva Nejati
Testing cyber-physical systems via evolutionary algorithms and machine learning. SBST@ICSE 2019: 1 - [c47]Claudio Menghi
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors. ESEC/SIGSOFT FSE 2019: 27-38 - [c46]Shiva Nejati
Evaluating model testing and model checking for finding requirements violations in Simulink models. ESEC/SIGSOFT FSE 2019: 1015-1025 - [e2]Shiva Nejati, Gregory Gay:
Search-Based Software Engineering - 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings. Lecture Notes in Computer Science 11664, Springer 2019, ISBN 978-3-030-27454-2 [contents] - [i5]Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand:
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. CoRR abs/1903.03399 (2019) - [i4]Shiva Nejati, Khouloud Gaaloul, Claudio Menghi, Lionel C. Briand, Stephen Foster, David Wolfe:
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. CoRR abs/1905.03490 (2019) - [i3]Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora
Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach. CoRR abs/1905.12763 (2019) - [i2]Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache:
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification. CoRR abs/1910.02837 (2019) - [i1]Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand:
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study. CoRR abs/1912.00805 (2019) - 2018
- [j13]Razieh Behjati
Architecture-level configuration of industrial control systems: Foundations for an efficient approach. Sci. Comput. Program. 160: 30-47 (2018) - [j12]Victor R. Basili, Lionel C. Briand, Domenico Bianculli
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact. IEEE Softw. 35(5): 44-49 (2018) - [c45]Raja Ben Abdessalem, Shiva Nejati
Testing vision-based control systems using learnable evolutionary algorithms. ICSE 2018: 1016-1026 - [c44]Seung Yeob Shin
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach. ISSTA 2018: 49-60 - [c43]Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati
Testing autonomous cars for feature interaction failures using many-objective search. ASE 2018: 143-154 - [c42]Carlos A. González, Mojtaba Varmazyar, Shiva Nejati
Enabling Model Testing of Cyber-Physical Systems. MoDELS 2018: 176-186 - [c41]Seung Yeob Shin
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems. MoDELS 2018: 357-367 - 2017
- [j11]Lionel C. Briand, Domenico Bianculli
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated. IEEE Softw. 34(5): 72-75 (2017) - [c40]Yuan Gan, Marsha Chechik, Shiva Nejati, Jon Bennett, Bill O'Farrell, Julie Waterhouse:
Runtime monitoring of web service conversations. CASCON 2017: 2-17 - [c39]Reza Matinnejad, Shiva Nejati
Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies. ESEC/SIGSOFT FSE 2017: 938-943 - [c38]Bing Liu, Lucia, Shiva Nejati
Improving fault localization for Simulink models using search-based testing and prediction models. SANER 2017: 359-370 - 2016
- [j10]Bing Liu, Lucia, Shiva Nejati
Simulink fault localization: an iterative statistical debugging approach. Softw. Test. Verification Reliab. 26(6): 431-459 (2016) - [c37]Reza Matinnejad, Shiva Nejati
SimCoTest: a test suite generation tool for simulink/stateflow controllers. ICSE (Companion Volume) 2016: 585-588 - [c36]Reza Matinnejad, Shiva Nejati
Automated test suite generation for time-continuous simulink models. ICSE 2016: 595-606 - [c35]Lionel C. Briand, Shiva Nejati
Testing the untestable: model testing of complex software-intensive systems. ICSE (Companion Volume) 2016: 789-792 - [c34]Raja Ben Abdessalem, Shiva Nejati
Testing advanced driver assistance systems using multi-objective search and neural networks. ASE 2016: 63-74 - [c33]Shiva Nejati
Automated change impact analysis between SysML models of requirements and design. SIGSOFT FSE 2016: 242-253 - [c32]Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand, Thomas Bruckmann:
Localizing Multiple Faults in Simulink Models. SANER 2016: 146-156 - [e1]Shiva Nejati, Rick Salay:
Proceedings of the Doctoral Symposium at the 19th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2016 (MoDELS 2016), Saint Malo, France, October 2, 2016. CEUR Workshop Proceedings 1735, CEUR-WS.org 2016 [contents] - 2015
- [j9]Reza Matinnejad, Shiva Nejati
Search-based automated testing of continuous controllers: Framework, tool support, and case studies. Inf. Softw. Technol. 57: 705-722 (2015) - [j8]Stefano Di Alesio, Lionel C. Briand, Shiva Nejati
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines. ACM Trans. Softw. Eng. Methodol. 25(1): 4:1-4:37 (2015) - [c31]Razieh Behjati
Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems. FSEN 2015: 110-126 - [c30]Reza Matinnejad, Shiva Nejati
Effective test suites for mixed discrete-continuous stateflow controllers. ESEC/SIGSOFT FSE 2015: 84-95 - 2014
- [j7]Lionel C. Briand, Davide Falessi, Shiva Nejati
Traceability and SysML design slices to support safety inspections: A controlled experiment. ACM Trans. Softw. Eng. Methodol. 23(1): 9:1-9:43 (2014) - [j6]Razieh Behjati
Architecture-Level Configuration of Large-Scale Embedded Software Systems. ACM Trans. Softw. Eng. Methodol. 23(3): 25:1-25:43 (2014) - [c29]Stefano Di Alesio, Shiva Nejati
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing. CP 2014: 813-830 - [c28]Shiva Nejati, Lionel C. Briand:
Identifying optimal trade-offs between CPU time usage and temporal constraints using search. ISSTA 2014: 351-361 - [c27]Reza Matinnejad, Shiva Nejati
MiL testing of highly configurable continuous controllers: scalable search using surrogate models. ASE 2014: 163-174 - [c26]Reza Matinnejad, Shiva Nejati
CoCoTest: a tool for model-in-the-loop testing of continuous controllers. ASE 2014: 855-858 - 2013
- [c25]Stefano Di Alesio, Shiva Nejati
Stress testing of task deadlines: A constraint programming approach. ISSRE 2013: 158-167 - [c24]Shiva Nejati
Minimizing CPU time shortage risks in integrated embedded software. ASE 2013: 529-539 - [c23]Reza Matinnejad, Shiva Nejati
Automated Model-in-the-Loop Testing of Continuous Controllers Using Search. SSBSE 2013: 141-157 - [p1]Marsha Chechik, Jocelyn Simmonds
PWWM: A Personal Web Workflow Methodology. The Personal Web 2013: 11-48 - 2012
- [j5]Shiva Nejati
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies. Inf. Softw. Technol. 54(6): 569-590 (2012) - [j4]Marsha Chechik, Shiva Nejati
A relationship-based approach to model integration. Innov. Syst. Softw. Eng. 8(1): 3-18 (2012) - [j3]Shiva Nejati
Matching and Merging of Variant Feature Specifications. IEEE Trans. Software Eng. 38(6): 1355-1375 (2012) - [c22]Razieh Behjati
Model-Based Automated and Guided Configuration of Embedded Software Systems. ECMFA 2012: 226-243 - [c21]Stefano Di Alesio, Arnaud Gotlieb, Shiva Nejati
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques. ICST 2012: 764-769 - [c20]Shiva Nejati
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing. MoDELS 2012: 759-775 - [c19]Lionel C. Briand, Davide Falessi, Shiva Nejati
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering. MoDELS 2012: 793-809 - 2011
- [c18]Razieh Behjati
Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling. ECMFA 2011: 236-252 - [c17]Mehrdad Sabetzadeh
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. HASE 2011: 193-201 - [c16]Davide Falessi, Shiva Nejati
SafeSlice: a model slicing and design safety inspection tool for SysML. SIGSOFT FSE 2011: 460-463 - 2010
- [c15]Mehrdad Sabetzadeh, Shiva Nejati, Marsha Chechik, Steve Easterbrook:
Reasoning about Consistency in Model Merging. LWI@ASE 2010: 32-38
2000 – 2009
- 2009
- [b1]Shiva Nejati:
Behavioural Model Fusion. University of Toronto, Canada, 2009 - [j2]Jocelyn Simmonds
Runtime Monitoring of Web Service Conversations. IEEE Trans. Serv. Comput. 2(3): 223-244 (2009) - [c14]Marsha Chechik, Winnie Lai, Shiva Nejati
Relationship-based change propagation: A case study. MiSE@ICSE 2009: 7-12 - 2008
- [c13]Shiva Nejati
Behavioural model fusion: an overview of challenges. MiSE 2008: 1-6 - [c12]Mehrdad Sabetzadeh
Global consistency checking of distributed models with TReMer+. ICSE 2008: 815-818 - [c11]Jocelyn Simmonds, Marsha Chechik, Shiva Nejati, Elena Litani, Bill O'Farrell:
Property Patterns for Runtime Monitoring of Web Service Conversations. RV 2008: 137-157 - [c10]Shiva Nejati
Towards compositional synthesis of evolving systems. SIGSOFT FSE 2008: 285-296 - 2007
- [c9]Yuan Gan, Marsha Chechik, Shiva Nejati
Runtime monitoring of web service conversations. CASCON 2007: 42-57 - [c8]Rick Salay, Marsha Chechik, Steve M. Easterbrook
An Eclipse-based tool framework for software model management. ETX 2007: 55-59 - [c7]Mehrdad Sabetzadeh
A Relationship-Driven Framework for Model Merging. MiSE@ICSE 2007: 2 - [c6]Shiva Nejati
Matching and Merging of Statecharts Specifications. ICSE 2007: 54-64 - [c5]Mehrdad Sabetzadeh, Shiva Nejati, Sotirios Liaskos, Steve M. Easterbrook
Consistency Checking of Conceptual Models via Model Merging. RE 2007: 221-230 - 2006
- [j1]Mehrdad Sabetzadeh, Shiva Nejati, Steve M. Easterbrook
A relationship-driven approach to view merging. ACM SIGSOFT Softw. Eng. Notes 31(6): 1-2 (2006) - [c4]Shiva Nejati
Thorough Checking Revisited. FMCAD 2006: 106-116 - 2005
- [c3]Shiva Nejati
Let's agree to disagree. ASE 2005: 287-290 - [c2]Shiva Nejati
Formal support for merging and negotiation. ASE 2005: 456-460 - [c1]Shiva Nejati
Stuttering Abstraction for Model Checkin. SEFM 2005: 311-320
Coauthor Index
Lionel C. Briand
aka: Lionel Claude Briand
aka: Lionel Claude Briand
[j30] [j25] [i19] [j24] [j23] [j21] [j20] [j18] [i10] [i9] [i8] [c54] [c53] [c52] [c51] [c50] [i7] [j16] [j15] [j14] [c47] [c46] [i5] [i4] [i3] [i2] [i1] [j12] [c45] [c44] [c43] [c42] [c41] [j11] [c39] [c38] [j10] [c37] [c36] [c35] [c34] [c33] [c32] [j9] [j8] [c30] [j7] [j6] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [j5] [c22] [c21] [c20] [c19] [c18] [c17] [c16]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: