phd, conference and journal paper updates

bibliography/journals.cite

@@ -1,8 +1,10 @@
+openmodelica.org:Roland:tsms:2015
 openmodelica.org:Schamai:mic:2014
 openmodelica.org:pop:mic:2014
 openmodelica.org:sjoelund:mic:2014
+openmodelica.org:Arash:cep:2014
 openmodelica.org:schamai:smsi:2013
-openmodelica.orgrogovchenko:jcc:2013
+openmodelica.org:rogovchenko:jcc:2013
 openmodelica.org:myers:ieee:2011
 openmodelica.org:broman:sne:2009
 openmodelica.org:edelfeldt:smpt:2008

bibliography/openmodelica.bib

@@ -76,6 +76,31 @@ @BOOK{openmodelica.org:fritzson:2004
 %% [*2*] PhD/Lic theses
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@PHDTHESIS{openmodelica.org:Stavaker:phd:2015,
+  author = {Kristian Stavåker},
+  title = {Contributions to Simulation of Modelica Models on Data-Parallel Multi-Core Architectures},
+  type = "{Doctoral thesis No 1666}",
+  year = {2015},
+  address = {Department of Computer and Information Science},
+  school = {Linköping University},
+  isbn = {978-91-7519-068-6},
+  issn = {0345-7524},
+  doi = "10.3384/diss.diva-116338"
+}
+
+
+@PHDTHESIS{openmodelica.org:Mahder:lic:2015,
+  author = {Mahder Gebremedhin},
+  title = {Automatic and Explicit Parallelization Approaches for Mathematical Simulation Models},
+  type = "{Licentiate Thesis No 1716}",
+  year = {2015},
+  address = {Department of Computer and Information Science},
+  school = {Linköping University},
+  isbn = {978-91-7519-048-8},
+  issn = {0280-7971},
+  doi = "10.3384/lic.diva-117346"
+}
+
 @PHDTHESIS{openmodelica.org:sjoelund:phd:2015,
   author = {Martin Sjölund},
   title = {Tools and Methods for Analysis, Debugging, and Performance Improvement of Equation-Based Models},
@@ -88,6 +113,30 @@ @PHDTHESIS{openmodelica.org:sjoelund:phd:2015
   doi = "10.3384/diss.diva-116346"
 }
 
+@PHDTHESIS{openmodelica.org:Roland:phd:2015,
+  author = {Roland Samlaus},
+  title = {An Integrated Development Environment with Enhanced Domain-Specific Interactive Model Validation},
+  type = "{Doctoral thesis No 1652}",
+  year = {2015},
+  address = {Department of Computer and Information Science},
+  school = {Linköping University},
+  isbn = {978-91-7519-090-7},
+  issn = {0345-7524},
+  doi = "10.3384/diss.diva-114838"
+}
+
+@PHDTHESIS{openmodelica.org:Wladimir:phd:2013,
+  author = {Wladimir Schamai},
+  title = {Model-Based Verification of Dynamic System Behavior against Requirements: Method, Language, and Tool},
+  type = "{Doctoral thesis No 1547}",
+  year = {2013},
+  address = {Department of Computer and Information Science},
+  school = {Linköping University},
+  isbn = {978-91-7519-505-6},
+  issn = {0345-7524},
+  doi = "10.3384/diss.diva-98107" 
+}
+
 @PHDTHESIS{openmodelica.org:sjoelund:lic:2013,
   author = {Martin Sjölund},
   title = {Tools for Understanding, Debugging, and Simulation Performance Improvement of Equation-Based Models},
@@ -603,6 +652,19 @@ @mastersthesis{openmodelica.org:carlsson:karlsson:msc:2005
 %% [*4*] Journal articles
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+@article{openmodelica.org:Roland:tsms:2015,
+  title={{Semantic validation of physical models using role models}},
+  author={Roland Samlaus and Peter Fritzson},
+  journal={Transactions of The Society for Modeling and Simulation International},
+  volume={91},
+  number={4},
+  pages={383--399},
+  year={2015},
+  doi={10.1177/0037549715580174},
+  publisher={SAGE Publications (UK and US)}
+};
+
+
 @article{openmodelica.org:Schamai:mic:2014,
   title={{An Approach to Automated Model Composition Illustrated in the Context of Design Verification}},
   author={Wladimir Schamai and Lena Buffoni and Peter Fritzson},
@@ -615,8 +677,6 @@ @article{openmodelica.org:Schamai:mic:2014
   publisher={Norwegian Society of Automatic Control}
 };
 
-
-
 @article{openmodelica.org:pop:mic:2014,
   title={{Integrated Debugging of Modelica Models}},
   author={Adrian Pop and Martin Sjölund and Adeel Ashgar and Peter Fritzson and Francesco Casella},
@@ -642,6 +702,19 @@ @article{openmodelica.org:sjoelund:mic:2014
   publisher={Norwegian Society of Automatic Control}
 }
 
+@article{openmodelica.org:Arash:cep:2014,
+  title={{Standalone DC Microgrids as Complementarity Dynamical Systems: Modeling and Applications}},
+  author={ Arash Disqah and Alireza Maheri and Krishna Busawon and Peter Fritzson},
+  journal={Control Engineering Practice},
+  volume={35},
+  number={10},
+  pages={102--112},
+  year={2014},
+  doi={10.1016/j.conengprac.2014.10.006},
+  publisher={Elsevier}
+}
+
+
 @Article{openmodelica.org:schamai:smsi:2013,
 author = {Wladimir Schamai and Peter Fritzson and Chris JJ Paredis},
 title = {Translation of UML State Machines to Modelica: Handling Semantic Issues. In SIMULATION},
@@ -651,7 +724,7 @@ @Article{openmodelica.org:schamai:smsi:2013
 }
 
 
-@Article{openmodelica.orgrogovchenko:jcc:2013,
+@Article{openmodelica.org:rogovchenko:jcc:2013,
 author = {Lena Rogovchenko-Buffoni and Andrea Tundis and Muhammed Zoheb Hossain and Mattias Nyberg and Peter Fritzson},
 title = {Co-Modeling: From Requirements to an Integrated Software/Hardware Model},
 journal = {An Integrated Toolchain For Model Based Functional Safety Analysis. Journal of Computational Science},
@@ -726,10 +799,38 @@ @InProceedings{openmodelica.org:asghar:modelica:2015
   crossref  = {modelica2015},
 }
 
+@InProceedings{openmodelica.org:Wladimir: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,
+  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},
+  crossref  = {modelica2015},
+}
+
+@InProceedings{openmodelica.org:alachew:modelica:2015,
+  author    = {Alachew Mengist and Adeel Asghar and Adrian Pop and Peter Fritzson and Willi Braun and Alexander Siemers and Dag Fritzson},
+  title     = {An Open-Source Graphical Composite Modeling Editor and Simulation Tool Based on FMI and TLM Co-Simulation},
+  doi       = {10.3384/ecp15118181},
+  crossref  = {modelica2015},
+}
+
+@InProceedings{openmodelica.org:Thiele:modelica:2015,
+  author    = {Bernhard Thiele and Adrian Pop and Peter Fritzson},
+  title     = {Flattening of Modelica State Machines: A Practical Symbolic Representation},
+  doi       = {10.3384/ecp15118255},
+  crossref  = {modelica2015},
+}
+
 @InProceedings{openmodelica.org:Gebremedhin:modelica:2014,
   author    = {Mahder Gebremedhin and Peter Fritzson},
   title     = {Automatic Task Based Analysis and Parallelization in the Context of Equation Based Languages},
-  doi       = {},
+  doi       = {10.1145/2666202.2666210},
   crossref  = {eoolt2014},
 }
 

bibliography/papers.cite

@@ -1,4 +1,8 @@
 openmodelica.org:asghar:modelica:2015
+openmodelica.org:Wladimir:modelica:2015
+openmodelica.org:Otter:modelica:2015
+openmodelica.org:alachew:modelica:2015
+openmodelica.org:Thiele:modelica:2015
 openmodelica.org:Jahanzeb:modelica:2014
 openmodelica.org:Mirzaei:modelica:2014
 openmodelica.org:Lattmann:modelica:2014

bibliography/phd.cite

@@ -1,5 +1,9 @@
+openmodelica.org:Stavaker:phd:2015
+openmodelica.org:Mahder:lic:2015
 openmodelica.org:sjoelund:phd:2015
+openmodelica.org:Roland:phd:2015
 openmodelica.org:sjoelund:lic:2013
+openmodelica.org:Wladimir:phd:2013
 openmodelica.org:stavaker:lic:2011
 openmodelica.org:broman:phd:2010
 openmodelica.org:pop:phd:2008