×

zbMATH — the first resource for mathematics

Agha, Gul A.

Compute Distance To:
Author ID: agha.gul-a Recent zbMATH articles by "Agha, Gul A."
Published as: Agha, G.; Agha, Gul; Agha, Gul A.
External Links: MGP · Wikidata
Documents Indexed: 30 Publications since 1985, including 5 Books

Publications by Year

Citations contained in zbMATH

19 Publications have been cited 112 times in 97 Documents Cited by Year
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
19
2005
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2006
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244
Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul
5
2003
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
5
2003
On computational complexity of counting fixed points in symmetric Boolean graph automata. Zbl 1161.68608
Tošić, Predrag T.; Agha, Gul A.
4
2005
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064
Agha, Gul; Thati, Prasanna
4
2004
Actively learning to verify safety for FIFO automata. Zbl 1117.68416
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
3
2004
A theory of may testing for actors. Zbl 1048.68059
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
2
2002
LTLC: Linear temporal logic for control. Zbl 1143.68456
Kwon, YoungMin; Agha, Gul
1
2008
Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357
Sen, Koushik; Roşu, Grigore; Agha, Gul
1
2004
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
1
2002
A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888
Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul
1
2001
Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Zbl 0976.68544
Agha, Gul A. (ed.); De Cindio, Fiorella (ed.); Rozenberg, Grzegorz (ed.)
1
2001
HAL: A high-level actor language and its distributed implementation. Zbl 0850.68120
Houck, Chris; Agha, Gul
1
1992
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C.
1
1991
LTLC: Linear temporal logic for control. Zbl 1143.68456
Kwon, YoungMin; Agha, Gul
1
2008
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2006
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
19
2005
On computational complexity of counting fixed points in symmetric Boolean graph automata. Zbl 1161.68608
Tošić, Predrag T.; Agha, Gul A.
4
2005
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
An algebraic theory of actors and its application to a simple object-based language. Zbl 1278.68064
Agha, Gul; Thati, Prasanna
4
2004
Actively learning to verify safety for FIFO automata. Zbl 1117.68416
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
3
2004
Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357
Sen, Koushik; Roşu, Grigore; Agha, Gul
1
2004
Techniques for executing and reasoning about specification diagrams. Zbl 1108.68415
Thati, Prasanna; Talcott, Carolyn; Agha, Gul
1
2004
A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244
Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul
5
2003
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
5
2003
A theory of may testing for actors. Zbl 1048.68059
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
2
2002
A theory of may testing for asynchronous calculi with locality and no name matching. Zbl 1275.68106
Thati, Prasannaa; Ziaei, Reza; Agha, Gul
1
2002
A formal model for reasoning about adaptive QoS-enabled middleware. Zbl 0987.68888
Venkatasubramanian, Nalini; Talcott, Carolyn; Agha, Gul
1
2001
Concurrent object-oriented programming and Petri nets. Advances in Petri nets. Zbl 0976.68544
Agha, Gul A. (ed.); De Cindio, Fiorella (ed.); Rozenberg, Grzegorz (ed.)
1
2001
A foundation for actor computation. Zbl 0870.68091
Agha, Gul A.; Mason, Ian A.; Smith, Scott F.; Talcott, Carolyn L.
26
1997
HAL: A high-level actor language and its distributed implementation. Zbl 0850.68120
Houck, Chris; Agha, Gul
1
1992
Efficient algorithms for parallel sorting on mesh multicomputers. Zbl 0761.68043
Singh, V.; Kumar, V.; Agha, G.; Tomlinson, C.
1
1991
all top 5

Cited by 227 Authors

10 Talcott, Carolyn L.
7 Legay, Axel
5 Larsen, Kim Guldstrand
5 Olveczky, Peter Csaba
4 Delahaye, Benoît
4 Mason, Ian A.
4 Meseguer Guaita, José
4 Milazzo, Paolo
4 Ren, Shangping
3 Barbuti, Roberto
3 Clarke, Edmund Melson jun.
3 Henrio, Ludovic
3 Johnsen, Einar Broch
3 Kwiatkowska, Marta Z.
3 Levi, Francesca
3 Owe, Olaf
3 Sirjani, Marjan
3 Viswanathan, Mahesh
2 Baier, Christel
2 Barrett, Chris L.
2 Bérard, Béatrice
2 Caillaud, Benoît
2 Fisman, Dana
2 Francalanza, Adrian
2 Gaspari, Mauro
2 Haddad, Serge
2 Hunt, Harry Bowen III
2 Katoen, Joost-Pieter
2 Lassaigne, Richard
2 Liu, Si
2 Marathe, Madhav V.
2 Martí-Oliet, Narciso
2 Pedersen, Mikkel Lykke
2 Peyronnet, Sylvain
2 Ravi, S. S.
2 Rosenkrantz, Daniel J.
2 Scatena, Guido
2 Sen, Koushik
2 Stearns, Richard Edwin
2 Wąsowski, Andrzej
2 Younes, Håkan L. S.
2 Zuliani, Paolo
1 Abate, Alessandro
1 Abbasi, Rosa
1 Abdulla, Parosh Aziz
1 Ábrahám, Erika
1 Aceto, Luca
1 Agha, Gul A.
1 Aichernig, Bernhard K.
1 Aledo, Juan Ángel
1 Alur, Rajeev
1 Ameur-Boulifa, R.
1 Andrei, Oana
1 Angluin, Dana
1 Artho, Cyrille
1 Barringer, Howard
1 Bart, Anicet
1 Basuki, Thomas Anung
1 Bergstra, Jan A.
1 Betz, Tobias
1 Bisping, Benjamin
1 Bjørk, Joakim
1 Bøgsted Poulsen, Danny
1 Boker, Udi
1 Boreale, Michele
1 Bove, Pasquale
1 Brim, Luboš
1 Cabac, Lawrence
1 Cadilhac, Michaël
1 Caromel, Denis
1 Cerone, Antonio
1 Češka, Milan
1 Chadha, Rohit
1 Chen, Guoliang
1 Chen, Yingke
1 Chothia, Tom
1 Coletta, Alessio
1 Colombo, Christian
1 Crafa, Silvia
1 Daca, Przemysław
1 Dannenberg, Frits
1 Dantas, Yuri Gil
1 David, Alexandre
1 de Alfaro, Luca
1 de Boer, Frank S.
1 De Nicola, Rocco
1 Díaz, Luis Guillermo
1 Donzé, Alexandre
1 d’Orso, Julien
1 Dragoni, Nicola
1 Dullerud, Geir E.
1 Duvigneau, Michael
1 Fahrenberg, Uli
1 Falcone, Yliès
1 Field, John Everett
1 Fonseca, Iguatemi E.
1 Forejt, Vojtěch
1 Fournet, Cédric
1 Fournier, Paulin
1 Gerhold, Marcus
...and 127 more Authors

Citations by Year

Wikidata Timeline