Ferucio Laurentiu Tiplea

Research interests: Theories and tools for high-level modeling, design, and analysis of systems (including Petri nets and formal verification), formal languages and automata, computability and complexity, variable-length codes and applications, cryptography and computer security, and algebraic foundations of computer science. The newest line of research is in using model checking to analyze finite abstractions of systems, with a specific focus on distributed system protocols such as those found in the security and electronic commerce domains. Publication: Published more then 60 papers in professional journals and refereed conference proceedings in these areas, such as Theoretical Computer Science, Acta Informatica, Fundamenta Informaticae, Information Processing Letters, Acta Cybernetica, Journal of Automata, Languages and Combinatorics, International Journal of Computer Mathematics, IEEE Series. Co-authored two books on Petri net theory, authored one book on set theory, and co-edited two books on grid computing and verification of infinite-state systems with applications to security.

Alexandru Ioan Cuza University of Iasi, Iasi, .

E-mail: trimite un mesaj.

Nascut(a) in: 1962

Interese: criptografie, securitatea informatiei, retele Petri

Detalii:
Criptografie si securitatea informatiei, retele Petri

Details:
Cryptography and information security, Petri nets

Publicații selectate:

* C. Dragan, F.L. Tiplea, Distributive Weighted Threshold Secret Sharing Schemes, Information Sciences, 339, Jan 2016.

* F.L. Tiplea, I. Leahu, The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 46(2), May 2015.

* F.L. Tiplea, A. Tiplea, A Simulation Preorder for Abstraction of Reactive Systems, Springer-Verlag, Proceedings of 3rd International Workshop on "Verification, Model Checking and Abstract Interpretation", Lecture Notes in Computer SCience, vol. 2294, 2002.

* F.L. Tiplea, E. Mäkinen, D. Trinca, C. Enea, Characterization Results for Time-Varying Codes, IOS Press, Fundamenta Informaticae, 52, 2002.

* F.L. Tiplea, D.C. Marinescu, Structural Soundness for Workflow Nets is Decidable, Elsevier, Information Processing Letters, 96, 2005.

* F.L. Tiplea, C. Enea, Abstractions of Data Types, Springer-Verlag, Acta Informatica, 42 (8-9), 2006.