Add ISSE paper

OpenModelica · Dec 16, 2016 · 07f0252 · 07f0252
1 parent 1082848
commit 07f0252
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 8 deletions.
diff --git a/bibliography/openmodelica.bib b/bibliography/openmodelica.bib
@@ -1233,13 +1233,23 @@ @ARTICLE{openmodelica.org:peter:SSP:1976
 %% [*5*] Peer-Review conference and workshop papers
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-@InProceedings{openmodelica.org:bernt:eurosim:2016,
+@InProceedings{openmodelica.org:garro:isse:2016,
+  author={Alfredo Garro and Andrea Tundis and Daniel Bouskela and Audrey Jardin and Nguyen Thuy and Martin Otter and Lena Buffoni and Peter Fritzson and Martin Sjölund and Wladimir Schamai and Hans Olsson},
+  booktitle={2016 IEEE International Symposium on Systems Engineering (ISSE)},
+  title={On formal cyber physical system properties modeling: A new temporal logic language and a {Modelica}-based solution},
+  year={2016},
+  pages={1-8},
+  doi={10.1109/SysEng.2016.7753137},
+  month=oct,
+}
+
+@InProceedings{openmodelica.org:lie:eurosim:2016,
   author    = {Bernt Lie and Sudeep Bajracharya and Alachew Mengist and Lena Buffoni and ArunKumar Palanisamy and Martin Sjölund and Adeel Asghar and Adrian Pop and Peter Fritzson},
   title     = {{API} for Accessing {OpenModelica} Models From {Python}},
   crossref  = {eurosim2016},
 }
 
-@InProceedings{openmodelica.org:gustaf:eurosim:2016,
+@InProceedings{openmodelica.org:thorslund:eurosim:2016,
   author    = {Gustaf Thorslund and Mahder Gebremedhin and Peter Fritzson},
   title     = {Parallel Simulation of {PDE}-based {Modelica} Models using {ParModelica}},
   crossref  = {eurosim2016},
@@ -1253,14 +1263,14 @@ @InProceedings{openmodelica.org:asghar:modelica:2015
   crossref  = {modelica2015},
 }
 
-@InProceedings{openmodelica.org:Wladimir:modelica:2015,
+@InProceedings{openmodelica.org:schamai:modelica:2015,
   author    = {Wladimir Schamai and Lena Buffoni and Nicolas Albarello and Pablo Fontes De Miranda and Peter Fritzson},
   title     = {An Aeronautic Case Study for Requirement Formalization and Automated Model Composition in Modelica},
   doi       = {10.3384/ecp15118911},
   crossref  = {modelica2015},
 }
 
-@InProceedings{openmodelica.org:Otter:modelica:2015,
+@InProceedings{openmodelica.org:otter:modelica:2015,
   author    = {Martin Otter and Nguyen Thuy and Daniel Bouskela and Lena Buffoni and Hilding Elmqvist and Peter Fritzson and Alfredo Garro and Audrey Jardin and Hans Olsson and Maxime Payelleville and Wladimir Schamai and Eric Thomas and Andrea Tundis},
   title     = {Formal Requirements Modeling for Simulation-Based Verification},
   doi       = {10.3384/ecp15118625},

diff --git a/bibliography/papers.cite b/bibliography/papers.cite
@@ -1,8 +1,9 @@
-openmodelica.org:bernt:eurosim:2016
-openmodelica.org:gustaf:eurosim:2016
+openmodelica.org:garro:isse:2016
+openmodelica.org:lie:eurosim:2016
+openmodelica.org:thorslund:eurosim:2016
 openmodelica.org:asghar:modelica:2015
-openmodelica.org:Wladimir:modelica:2015
-openmodelica.org:Otter:modelica:2015
+openmodelica.org:schamai:modelica:2015
+openmodelica.org:otter:modelica:2015
 openmodelica.org:alachew:modelica:2015
 openmodelica.org:Thiele:modelica:2015
 openmodelica.org:Jahanzeb:modelica:2014