Gabor Madl - Concepedia

Author

Gabor Madl

University of California, Irvine

Also Known As

G. Madl, Gabor Madl

Publications

231

Citations

H-Index

Concepts

All Affiliations

University of California, Irvine Vanderbilt University Mississippi State University Irvine University Integrated Software (United States)

About

Gabor Madl is an author at University of California, Irvine specializing in engineering, formal verification, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	205
2	Computer Science	9	9	183
3	Systems Engineering	9	9	190
4	Computer Engineering	8	8	150
5	Data Science	1	1	15

Gabor Madl

Publications

205

Citations

H-Index

Page 1

	Year	Citations
Verifying distributed real-time properties of embedded systems via graph transformations and model checking Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt Real-Time Systems EngineeringRuntime VerificationProgram AnalysisVerificationFormal Methods	2006	40
Model-based analysis of distributed real-time embedded system composition Gabor Madl, Sherif Abdelwahed EngineeringVerificationComputer ArchitectureSemantic DomainEmbedded Systems	2005	32
Performance estimation of distributed real-time embedded systems by discrete event simulations Gabor Madl, Nikil Dutt, Sherif Abdelwahed EngineeringReal-time System DesignVerificationEmbedded SystemsPerformance Estimation	2007	24
Automatic Verification of Component-Based Real-Time CORBA Applications Gabor Madl, Sherif Abdelwahed, Gábor Karsai EngineeringReal-time System DesignVerificationReactive BehaviorComputer Architecture	2005	22
Formal performance evaluation of AMBA-based system-on-chip designs Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Hardware ModelingEngineeringHardware Verification LanguageFormal Performance EvaluationVerification	2006	18
Towards Scalable Verification of Commercial Avionics Software Devesh Bhatt, Gabor Madl, David Oglesby, AIAA Infotech@Aerospace 2010 EngineeringVerificationComputer-aided VerificationModel CheckingAvionics Systems	2010	18
SelfIs: Self-Sovereign Biometric IDs Luis Angel D. Bathen, German Flores, Gabor Madl, EngineeringDigital IdentityBiometric PrivacyInformation SecurityBiometrics	2019	15
Model-based analysis of event-driven distributed real-time embedded systems Nikil Dutt, Gabor Madl Event-driven ArchitectureEngineeringReal-time System DesignComputer ArchitectureDre Systems	2009	13
Formal Verification of Smart Contracts Using Interface Automata Gabor Madl, Luis Angel D. Bathen, German Flores, EngineeringVerificationDistributed LedgerSmart ContractsInterface Automata	2019	13
A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata Gabor Madl, Nikil Dutt, Sherif Abdelwahed EngineeringReal-time System DesignVerificationFormal VerificationConservative Approximation Method	2009	10

Page 1