István Madari

According to our database, István Madari authored at least 10 papers between 2010 and 2020.

Collaborative distances:

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

2020

Designing a decentralized fault-tolerant software framework for smart grids and its applications.

Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai

J. Syst. Archit., 2020

2019

Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.

Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic

IEEE Embed. Syst. Lett., 2019

On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems.

Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai

Proceedings of the IEEE 22nd International Symposium on Real-Time Distributed Computing, 2019

2017

Time synchronization services for low-cost fog computing applications.

Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai

Proceedings of the International Symposium on Rapid System Prototyping, 2017

RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems.

Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai

Proceedings of the 20th IEEE International Symposium on Real-Time Distributed Computing, 2017

2015

Validating Transformations for Semantic Anchoring.

David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits

J. Object Technol., 2015

2014

A model-integrated authoring environment for privacy policies.

András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits

Sci. Comput. Program., 2014

2013

Multi-way Semantic Specification of Domain-Specific Modeling Languages.

David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

2010

Towards Formal Analysis of Multi-paradigm Model Transformations.

Márk Asztalos, István Madari, László Lengyel

Simul., 2010

Implementing QVT in a Domain-specific Modeling Framework.

István Madari, Márk Asztalos, Tamás Mészáros, László Lengyel, Hassan Charaf

Proceedings of the ICSOFT 2010, 2010