Bogdan Lazar

According to our database, Bogdan Lazar authored at least 6 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

A Catalog of Unintended Software Dependencies in Multi-Lingual Systems at ASML.

Tom Groot, Lina Ochoa-Venegas, Bogdan Lazar, Jacob Krüger

Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Practice, 2024

2023

Sliding Mode Observer Based Fuzzy Control for TS Systems.

Bogdan Lazar, Zsófia Lendek

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2023

2022

Verification of Bitcoin's Smart Contracts in Agda using Weakest Preconditions for Access Control.

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

CoRR, 2022

Observer based guaranteed cost control for time-delay TS fuzzy systems.

Bogdan Lazar, Zsófia Lendek

Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022

2021

Verification of Bitcoin Script in Agda Using Weakest Preconditions for Access Control.

Fahad F. Alhabardi, Arnold Beckmann, Bogdan Lazar, Anton Setzer

Proceedings of the 27th International Conference on Types for Proofs and Programs, 2021

2006

Simulating Delayed Pulses in Organic Materials.

Bogdan Lazar, Andreea Sterian, Stefan Pusca, Viorel Paun, Cristian Toma, Cristian Morarescu

Proceedings of the Computational Science and Its Applications, 2006