Viorel Preoteasa - Concepedia

Author

Viorel Preoteasa

Also Known As

Preoteasa, Viorel, Viorel Preoteasa

Publications

287

Citations

H-Index

Concepts

All Affiliations

Viorel Preoteasa is an author at Aalto University specializing in engineering, computer science, and formal methods.

#	Concept	H-Index	Publications	Citations
1	Engineering	6	6	142
2	Computer Science	5	5	122
3	Systems Engineering	3	3	49
4	Social Sciences	1	1	17
5	Cognitive Science	1	1	17

Viorel Preoteasa

Publications

152

Citations

H-Index

Page 1

	Year	Citations
Predictive runtime verification of timed properties Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Journal of Systems and Software Predictive Runtime VerificationEngineeringRuntime VerificationAutomated ReasoningProgram Analysis	2017	51
Predictive runtime enforcement Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Formal Methods in System Design EngineeringRuntime VerificationProgram AnalysisInformation SecurityPredictive Runtime Enforcement	2017	22
Refinement calculus of reactive systems Viorel Preoteasa, Stavros Tripakis Formal SpecificationEngineeringOperational SemanticsSemantics RefinementAutomated Reasoning	2014	20
The Refinement Calculus of Reactive Systems Toolset Iulia Dragomir, Viorel Preoteasa, Stavros Tripakis International Journal on Software Tools for Technology Transfer Refinement TechniqueEngineeringProcess ControlFormal MethodsSystems Engineering	2020	20
Towards Compositional Feedback in Non-Deterministic and Non-Input-Receptive Systems Viorel Preoteasa, Stavros Tripakis EngineeringSemanticsSocial SciencesEssential Composition OperatorSystems Engineering	2016	17
Semantics and proof rules of invariant based programs Ralph‐Johan Back, Viorel Preoteasa EngineeringVerificationSoftware AnalysisFormal VerificationProof Rules	2011	12
Predictive runtime enforcement Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis,	2016	10

Page 1