Ad Astra Awards
Ad Astra Journal
Science library
White book
University rankings
Who's who
Publications
Theses and dissertations
Ad Astra association
 
Press releases
News
Events
Funding opportunities
 
Login
Registration
 
>> Românã
 
   
 

Ferucio Laurentiu Tiplea

" Al. I. Cuza" University, Iasi, Romania

Institution web page: http://www.uaic.ro/en/
Personal web page: http://www.infoiasi.ro/~fltiplea
Send email

Born: 1962

Interests: Petri nets, verification, cryptography, security protocols, coding theory, formal languages

Details:
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.

Selected publications:
• F. L. Tiplea, C. Enea. Abstractions of Data Types. Acta Informatica, 42 (8-9), pp. 639-671, 2006.
• F. L. Tiplea, D. C. Marinescu. Structural Soundness for Workflow Nets is Decidable. Information Processing Letters, 96, pp. 54-58, 2005.
• F. L. Tiplea, A. Tiplea. A Simulation Preorder for Abstraction of Reactive Systems. In Proceedings of 3rd International Workshop on " Verification, Model Checking and Abstract Interpretation" , Lecture Notes in Computer SCience, vol. 2294, pp. 272-288. Springer-Verlag, 2002.
• F. L. Tiplea, E. Mäkinen, D. Trinca, C. Enea. Characterization Results for Time-Varying Codes. Fundamenta Informaticae, 52, pp. 1-13, 2002.


Back

   
© Ad Astra 2001-2013