Magdalina Todorova
Magdalina Todorova
Professor of Computer Science, Sofia University
Verified email at fmi.uni-sofia.bg
TitleCited byYear
Educational framework for verification of object-oriented programs
M Todorova, K Kanev
Proceedings of the 2012 Joint International Conference on Human-Centered …, 2012
122012
Construction of Correct Object-Orientated Programs via Building their Generalized Nets Models
M Todorova
Annual of “Informatics” Section Union of Scientists in Bulgaria 4, 1-28, 2011
112011
GN IDE: Implementation, improvements and algorithms
N Angelova, M Todorova, K Atanassov
Comptes rendus de l'Académie bulgare des Sciences 69 (4), 411-421, 2016
72016
Innovative Experience In Undergraduate Education Of Software Professionals-Project-Based Learning In Data Structure And Programming
M Todorova, H Hristov, E Stefanova, N Nikolova, E Kovatcheva
ICERI2010 Proceedings, 5141-5150, 2010
72010
Verification of Procedural Programs via Building their Generalized Nets Models
M Todorova
Union of Bulgarian Mathematicians, 2012
52012
Grid framework for e-learning services
M Todorova
Fourth International Conference Information Systems & Grid Technologies, 153-163, 2010
42010
Methodological aspects of an approach for verification of object-oriented programs
M Todorova
2012 6th IEEE International Conference Intelligent Systems, 153-158, 2012
32012
How to Build Up Contemporary Software Professionals Project-Based Learning in Data Structure and Programming
M Todorova, H Hristov, E Stefanova, N Nikolova
Demetra EOOD, 2010
32010
Applying Program Verification Methods in Software Specialists Education
M Todorova
INTED2013 Proceedings, 6260-6270, 2013
22013
Implementation of an Approach for Verification of Procedural Programs.
MV Todorova
GSTF Journal on Computing 2 (2), 2012
22012
Runtime Verification of Computer Programs and its Application in Programming Education
M Todorova, P Armyanov
Global Science and Technology Forum: International Journal of Mathematics …, 2012
22012
Ontology Concept in Courses on Students
D Orozova, M Todorova
TEM Journal 7 (3), 693, 2018
12018
Generalized Net Model of Sequential Programs
M Todorova, D Orozova
2018 20th International Symposium on Electrical Apparatus and Technologies …, 2018
12018
The Predicate Transformer and Its Application in Introduction to Programming Courses
M Todorova, D Orozova
Бургаски свободен университет, 8000 Бургас, бул." Сан Стефано"№ 62, 2015
12015
Using generalized nets for programme verification
M Todorova
Comptes rendus de l’Académie bulgare des Sciences 66 (7), 2013
12013
Correctness of a formal generalized net project of a class of an object-oriented program
M Todorova
Proc. of 12th International Workshop on Generalized Nets, Burgas, Bulgaria …, 2012
12012
Simulation of the Behavior of a Pure Imperative Synchronous Programming Language by Means of Generalized Nets with Stop-Conditions
MV Todorova
Information Systems & Grid Technologies, 2012
12012
The Go Programming Language: Characteristics and Capabilities
M Todorova, M Nisheva-Pavlova, G Penchev, T Trifonov, P Armyanov, ...
Annual of “Informatics” Section Union of Scientists in Bulgaria 6, 76-85, 0
1
Introducing Information Security Concepts and Standards in Higher Education
D Orozova, K Kaloyanova, M Todorova
TEM Journal 8 (3), 1017, 2019
2019
Applying Floyd’s Inductive Assertions Method for Verification of Generalized Net Models Without Temporal Components
M Todorova, N Angelova
INTERNATIONAL JOURNAL OF ADVANCED COMPUTER SCIENCE AND APPLICATIONS 9 (9 …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–20