Difference between revisions of "Publications"
Jump to navigation
Jump to search
(Created page with "A listing of all publications made: '''2021''' * [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and thei...") |
|||
| Line 1: | Line 1: | ||
A listing of all publications made: | A listing of all publications made: | ||
| − | + | === 2021 === | |
| + | == IVOIRE related == | ||
* [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification] | * [https://arxiv.org/abs/2102.06037 Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification] | ||
* [https://www.springerprofessional.de/en/validation-of-formal-models-by-timed-probabilistic-simulation/19188488 Validation of Formal Models by Timed Probabilistic Simulation] | * [https://www.springerprofessional.de/en/validation-of-formal-models-by-timed-probabilistic-simulation/19188488 Validation of Formal Models by Timed Probabilistic Simulation] | ||
| + | |||
| + | == Fund related == | ||
| + | * [https://onlinelibrary.wiley.com/doi/full/10.1002/smr.2340 Safe and secure cyber-physical systems] | ||
| + | * [https://ieeexplore.ieee.org/abstract/document/9568959 A Literature Review of Using Machine Learning in Software Development Life Cycle Stages] | ||
| + | * [https://ieeexplore.ieee.org/abstract/document/9712077 TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces] | ||
| + | * [https://link.springer.com/content/pdf/10.1007%2F978-3-030-87101-7_2.pdf A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems] | ||
| + | * [https://ieeexplore.ieee.org/abstract/document/9402284 Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts] | ||
| + | * [https://ieeexplore.ieee.org/abstract/document/9461026 Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts] | ||
| + | * [https://epub.jku.at/obvulioa/download/pdf/5907339?originalFilename=true Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment] | ||
| + | * [https://ieeexplore.ieee.org/abstract/document/9461026 On the effect of incompleteness to check requirement-to-method traces] | ||
Revision as of 07:56, 7 March 2022
A listing of all publications made:
2021
- Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
- Validation of Formal Models by Timed Probabilistic Simulation
- Safe and secure cyber-physical systems
- A Literature Review of Using Machine Learning in Software Development Life Cycle Stages
- TraceRefiner: An Automated Technique for Refining Coarse-Grained Requirement-to-Class Traces
- A Conceptual Model for Mitigation of Root Causes of Uncertainty in Cyber-Physical Systems
- Team-Oriented Consistency Checking of Heterogeneous Engineering Artifacts
- Timestamp-based Consistency Checking of Collaboratively Developed Engineering Artifacts
- Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment
- On the effect of incompleteness to check requirement-to-method traces
