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

Export 210 results:
2012

Proceedings, refereed

In 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies. Los Alamitos: IEEE Computer Society, 2012.
Status: Published
In Model Driven Engineering Languages and Systems, 15th International Conference, MODELS 2012. Vol. 7590. Springer Berlin Heidelberg, 2012.
Status: Published
In Proceedings of the Tests And Proofs Conference (TAP 2012), Prague, Czech Republic. Vol. 7305. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published
In 2012 IEEE Second International Workshop on Empirical Requirements Engineering (EmpiRE). IEEE, 2012.
Status: Published
In Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur. Proceedings. Springer Berlin / Heidelberg, 2012.
Status: Published
In 2012 Eighth International Conference on the Quality of Information and Communications Technology. IEEE, 2012.
Status: Published
In Proceedings of the Sixth International Conference on Software Security and Reliability (SERE-12), Washington, USA. .: , 2012.
Status: Published
In Proceeding IMC '12 Proceedings of the 2012 ACM conference on Internet measurement conference. New York, NY, USA: ACM, 2012.
Status: Published
In The 4th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012), 2012.
Status: Published
In Proceedings of Formal Methods (FM'12), Paris, Aug. 2012. Vol. 7436. Berlin Heidelberg: Springer Berlin Heidelberg, 2012.
Status: Published