Facts and figures

These figures represent the summarized historical developments of Simula owned published entries in the following publication categories: journal articles, books, edited books, refereed proceedings, and book chapters.

Publications the last 10 years

Book production

Publications by research area

Journal Articles and Referred Proceedings

Find publication

Status

Owner

Export 42 results:
2020

Talks, contributed

In 5th Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS), 2020.
Status: Published
In International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2020). INSTICC , 2020.
Status: Published
In IEEE International Conference on Software Testing, Verification and Validation (ICST 2020), 2020.
Status: Published
In 1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems, 2020.
Status: Published
2014

Talks, contributed

In ACM Genetic and Evolutionary Computation Conference (GECCO). Vancouver, Canada: ACM, 2014.
Status: Published
In 26th IFIP International Conference on Testing Software and Systems, ICTSS. Madrid, Spain: IFIP, 2014.
Status: Published
In 26th IFIP International Conference on Testing Software and Systems, ICTSS. Madrid, Spain: IFIP, 2014.
Status: Published
In 8th System Analysis and Modelling Conference (SAM). Valencia, Spain: ACM/IEEE, 2014.
Status: Published
In Seminar at Beihang University. Beijing, China, 2014.
Status: Published
In Lyon, France. Lyon, France: CP meets Verification, 2014.
Status: Published