You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: content/publications.rst
+9-5Lines changed: 9 additions & 5 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -42,11 +42,15 @@ Selected Publications
42
42
43
43
Kansas State University, 2011
44
44
45
-
Metrics
46
-
-------
45
+
Presentations
46
+
------------
47
47
48
-
- Total Citations: 28
49
-
- h-index: 3
50
-
- i10-index: 1
48
+
1. **Model-based risk analysis for an open-source PCA pump using AADL error modeling**
49
+
50
+
Presented at International Symposium on Model-Based Safety and Assessment, 2020
51
+
52
+
2. **Bakar Alir: supporting developers in construction of information flow contracts in SPARK**
53
+
54
+
Presented at IEEE 12th International Working Conference on Source Code Analysis and Manipulation, 2012
51
55
52
56
For a complete list of publications and citations, please visit my `Google Scholar profile <https://scholar.google.com/citations?user=k4H0booAAAAJ&hl=en>`_.
0 commit comments