Difference between revisions of "Publications"

From Ivoire
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'''
+
=== 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