Research output per year
Research output per year
Research output
- 11 results
Search results
-
2016
FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals
Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
2014
Adaptive model learning for continual verification of non-functional properties
Calinescu, R., Rafiq, Y., Johnson, K. & Bakir, M. E., 1 Jan 2014, ICPE 2014: Proceedings of the 5th ACM/SPEC International Conference on Performance Engineering. ACM, p. 87-98 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Efficient re-resolution of SMT specifications for evolving software architectures
Johnson, K. & Calinescu, R., 1 Jan 2014, QoSA 2014: Proceedings of the 10th International ACM SIGSOFT Conference on Quality of Software Architectures (Part of CompArch 2014). ACM, p. 93-102 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2013
An incremental verification framework for component-based software systems
Johnson, K. H. A., Calinescu, R. C. & Kikuchi, S., 2013, CBSE '13 : Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering. New York: ACM, p. 33-42 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile -
Developing self-verifying service-based systems
Calinescu, R., Johnson, K. & Rafiq, Y., 1 Dec 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 734-737 6693145Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2012
Algebraic Specifications of Computing as a Service with Applications to Cost Analysis
Johnson, K. H. A. & Tucker, J. V., 2012, (Accepted/In press) Proceedings of the 5th IEEE/ACM International Conference on Utility and Cloud Computing. p. 143-150 8 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Compositional reverification of probabilistic safety properties for large-scale complex IT systems
Calinescu, R., Kikuchi, S. & Johnson, K., 9 Nov 2012, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7539 LNCS. p. 303-329 27 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7539 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Specification and Quantitative Analysis of Probabilistic Cloud Deployment Patterns
Johnson, K., Reed, S. & Calinescu, R., 29 Oct 2012, Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011. Eder, K., Loureno, J. & Shehory, O. (eds.). Springer, p. 145-159 15 p. (Lecture Notes in Computer Science; vol. 7261).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2011
Using observation ageing to improve Markovian model learning in QoS engineering
Calinescu, R. C., Johnson, K. H. A. & Rafiq, Y., 2011, Proceedings of the 2nd ACM/SPEC International Conference on Performance Engineering. p. 505 510 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2009
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Automated Verification of Critical Systems
Besnard, L., Gautier, T., Moy, M., Talpin, J-P., Johnson, K. H. A. & Maraninchi, F., 2009, Proceedings of the Ninth International Workshop onAutomated Verification of Critical Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
2008
Evaluation and Comparison of Inferred Regular Grammars
Walkinshaw, N., Bogdanov, K. & Johnson, K. H. A., 2008, Grammatical Inference: Algorithms and Applications . Vol. 5278/2008. p. 252 265 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution