Pseudo-hoops G Georgescu, L Leustean, V Preoteasa Journal of Multiple-Valued Logic and Soft Computing 11 (1-2), 153-184, 2005 | 133 | 2005 |
Predictive runtime verification of timed properties S Pinisetty, T Jéron, S Tripakis, Y Falcone, H Marchand, V Preoteasa Journal of Systems and Software 132, 353-365, 2017 | 55 | 2017 |
Compositional semantics and analysis of hierarchical block diagrams I Dragomir, V Preoteasa, S Tripakis Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 36 | 2016 |
Refinement calculus of reactive systems V Preoteasa, S Tripakis Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014 | 33 | 2014 |
Predictive runtime enforcement S Pinisetty, V Preoteasa, S Tripakis, T Jéron, Y Falcone, H Marchand Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1628-1633, 2016 | 32 | 2016 |
The refinement calculus of reactive systems toolset I Dragomir, V Preoteasa, S Tripakis International Journal on Software Tools for Technology Transfer 22 (6), 689-708, 2020 | 26 | 2020 |
Towards compositional feedback in non-deterministic and non-input-receptive systems V Preoteasa, S Tripakis Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 20 | 2016 |
Reasoning about pointers in refinement calculus RJ Back, X Fan, V Preoteasa Tenth Asia-Pacific Software Engineering Conference, 2003., 425-434, 2003 | 18 | 2003 |
XP as a framework for practical software engineering experiments RJ Back, L Milovanov, I Porres, V Preoteasa Proceedings of the Third International Conference on eXtreme Programming and …, 2002 | 17 | 2002 |
Algebra of monotonic boolean transformers V Preoteasa Brazilian Symposium on Formal Methods, 140-155, 2011 | 16 | 2011 |
Mechanical verification of recursive procedures manipulating pointers using separation logic V Preoteasa FM 2006: Formal Methods: 14th International Symposium on Formal Methods …, 2006 | 16 | 2006 |
Type inference of Simulink hierarchical block diagrams in Isabelle V Preoteasa, I Dragomir, S Tripakis Formal Techniques for Distributed Objects, Components, and Systems: 37th …, 2017 | 14 | 2017 |
Semantics and proof rules of invariant based programs RJ Back, V Preoteasa Proceedings of the 2011 ACM Symposium on Applied Computing, 1658-1665, 2011 | 14 | 2011 |
An algebraic treatment of procedure refinement to support mechanical verification RJ Back, V Preoteasa Formal Aspects of Computing 17, 69-90, 2005 | 11 | 2005 |
An experiment on extreme programming and stepwise feature introduction RJ Back, L Milovanov, I Porres, V Preoteasa Technical Report 451, TUCS, 2002 | 9 | 2002 |
Mechanically proving determinacy of hierarchical block diagram translations V Preoteasa, I Dragomir, S Tripakis Verification, Model Checking, and Abstract Interpretation: 20th …, 2019 | 7 | 2019 |
Reasoning about recursive procedures with parameters RJ Back, V Preoteasa Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about …, 2003 | 7 | 2003 |
A nondeterministic and abstract algorithm for translating hierarchical block diagrams V Preoteasa, I Dragomir, S Tripakis CoRR, abs/1611.01337, 2016 | 6 | 2016 |
Translating hierarchical block diagrams into composite predicate transformers I Dragomir, V Preoteasa, S Tripakis arXiv preprint arXiv:1510.04873, 2015 | 6 | 2015 |
Invariant diagrams with data refinement V Preoteasa, RJ Back Formal Aspects of Computing 24, 67-95, 2012 | 5 | 2012 |