Bogdan Lazar

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 5

Top Topics

Role Based Access Control Model

Database Security

Top Venues

Publications

Tom Groot, Lina Ochoa-Venegas, Bogdan Lazar, Jacob Krüger
A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML. ICSE-SEIP (2024)
Bogdan Lazar, Zsófia Lendek
Sliding Mode Observer Based Fuzzy Control for TS Systems. SSCI (2023)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control. CoRR (2022)
Bogdan Lazar, Zsófia Lendek
Observer based guaranteed cost control for time-delay TS fuzzy systems. ICSTCC (2022)
Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer
Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control. TYPES (2021)
Bogdan Lazar, Andreea Sterian, Stefan Pusca, Viorel Paun, Cristian Toma, Cristian Morarescu
Simulating Delayed Pulses in Organic Materials. ICCSA (1) (2006)