Inscriere cercetatori

Premii Ad Astra

premii Ad Astra

Asociația Ad Astra a anunțat câștigătorii Premiilor Ad Astra 2022: Proiectul și-a propus identificarea și popularizarea modelelor de succes, a rezultatelor excepționale ale cercetătorilor români din țară și din afara ei.

Asociatia Ad Astra a cercetatorilor romani lanseaza BAZA DE DATE A CERCETATORILOR ROMANI DIN DIASPORA. Scopul acestei baze de date este aceea de a stimula colaborarea dintre cercetatorii romani de peste hotare dar si cu cercetatorii din Romania. Cercetatorii care doresc sa fie nominalizati in aceasta baza de date sunt rugati sa trimita un email la

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

flag Detalii:
Criptografie si securitatea informatiei, retele Petri

flag 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.