×

zbMATH — the first resource for mathematics

Sen, Koushik

Compute Distance To:
Author ID: sen.koushik Recent zbMATH articles by "Sen, Koushik"
Published as: Sen, Koushik
External Links: MGP
Documents Indexed: 17 Publications since 2003

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 132 times in 108 Documents Cited by Year
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
20
2005
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
17
2006
Rule-based runtime verification. Zbl 1202.68243
Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Sen, Koushik
16
2004
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
12
2008
Model checking multithreaded programs with asynchronous atomic methods. Zbl 1188.68198
Sen, Koushik; Viswanathan, Mahesh
9
2006
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
8
2004
Sound and complete monitoring of sequential consistency for relaxed memory models. Zbl 1315.68084
Burnim, Jabob; Sen, Koushik; Stergiou, Christos
7
2011
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
7
2005
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
6
2003
A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244
Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul
5
2003
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
Actively learning to verify safety for FIFO automata. Zbl 1117.68416
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
3
2004
Combining model checking and testing. Zbl 1392.68250
Godefroid, Patrice; Sen, Koushik
1
2018
Online efficient predictive safety analysis of multithreaded programs. Zbl 1126.68357
Sen, Koushik; Roşu, Grigore; Agha, Gul
1
2004
Combining model checking and testing. Zbl 1392.68250
Godefroid, Patrice; Sen, Koushik
1
2018
Sound and complete monitoring of sequential consistency for relaxed memory models. Zbl 1315.68084
Burnim, Jabob; Sen, Koushik; Stergiou, Christos
7
2011
Model-checking \(\omega \)-regular properties of interval Markov chains. Zbl 1138.68441
Chatterjee, Krishnendu; Sen, Koushik; Henzinger, Thomas A.
12
2008
Model-checking Markov chains in the presence of uncertainties. Zbl 1180.68179
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
17
2006
Model checking multithreaded programs with asynchronous atomic methods. Zbl 1188.68198
Sen, Koushik; Viswanathan, Mahesh
9
2006
On statistical model checking of stochastic systems. Zbl 1081.68635
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
20
2005
Combining test case generation and runtime verification. Zbl 1080.68062
Artho, Cyrille; Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Khurshid, Sarfraz; Lowry, Mike; Pasareanu, Corina; Roşu, Grigore; Sen, Koushik; Visser, Willem; Washington, Rich
7
2005
Using language inference to verify omega-regular properties. Zbl 1087.68062
Vardhan, Abhay; Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
4
2005
Rule-based runtime verification. Zbl 1202.68243
Barringer, Howard; Goldberg, Allen; Havelund, Klaus; Sen, Koushik
16
2004
Statistical model checking of black-box probabilistic systems. Zbl 1103.68639
Sen, Koushik; Viswanathan, Mahesh; Agha, Gul
16
2004
An executable specification of asynchronous pi-calculus semantics and may testing in Maude 2.0. Zbl 1272.68322
Thati, Prasanna; Sen, Koushik; Martí-Oliet, Narciso
8
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
Generating optimal linear temporal logic monitors by coinduction. Zbl 1215.68134
Sen, Koushik; Roşu, Grigore; Agha, Gul
6
2003
A rewriting based model for probabilistic distributed object systems. Zbl 1253.68244
Kumar, Nirman; Sen, Koushik; Meseguer, José; Agha, Gul
5
2003
all top 5

Cited by 259 Authors

9 Meseguer Guaita, José
8 Legay, Axel
5 Larsen, Kim Guldstrand
5 Olveczky, Peter Csaba
5 Roşu, Grigore
4 Atig, Mohamed Faouzi
4 Delahaye, Benoît
4 Katoen, Joost-Pieter
4 Milazzo, Paolo
4 Viswanathan, Mahesh
3 Abdulla, Parosh Aziz
3 Barbuti, Roberto
3 Basin, David A.
3 Bouajjani, Ahmed
3 Clarke, Edmund Melson jun.
3 Francalanza, Adrian
3 Junges, Sebastian
3 Klaedtke, Felix
3 Kwiatkowska, Marta Z.
3 Levi, Francesca
3 Sen, Koushik
3 Wąsowski, Andrzej
2 Baier, Christel
2 Bérard, Béatrice
2 Caillaud, Benoît
2 Chadha, Rohit
2 Fisman, Dana
2 Haddad, Serge
2 Havelund, Klaus
2 Johnsen, Einar Broch
2 Kuliamin, Victor V.
2 Lassaigne, Richard
2 Leucker, Martin
2 Liu, Si
2 Mateescu, Radu
2 Pedersen, Mikkel Lykke
2 Peyronnet, Sylvain
2 Scatena, Guido
2 Schnoebelen, Philippe
2 Talcott, Carolyn L.
2 Younes, Håkan L. S.
2 Zălinescu, Eugen
2 Zuliani, Paolo
1 Abate, Alessandro
1 Aceto, Luca
1 Agrawal, Manindra
1 Ahrendt, Wolfgang
1 Aichernig, Bernhard K.
1 Akshay, S.
1 Alpernas, Kalev
1 Alur, Rajeev
1 Andrei, Oana
1 Angluin, Dana
1 Aronis, Stavros
1 Artho, Cyrille
1 Barringer, Howard
1 Bart, Anicet
1 Bartoletti, Massimo
1 Basuki, Thomas Anung
1 Biondi, Fabrizio
1 Bjørk, Joakim
1 Bøgsted Poulsen, Danny
1 Boker, Udi
1 Bollig, Benedikt
1 Bonakdarpour, Borzoo
1 Börger, Egon
1 Bove, Pasquale
1 Bowman, Howard
1 Bozzelli, Laura
1 Brim, Luboš
1 Bruni, Roberto
1 Burnim, Jabob
1 Cadilhac, Michaël
1 Caronni, Germano
1 Cerone, Antonio
1 Češka, Milan
1 Chen, Feng
1 Chen, Yingke
1 Cherkaoui, Omar
1 Chernov, E. S.
1 Chimento, Jesús Mauricio
1 Cini, Clare
1 Clavel, Manuel
1 Coletta, Alessio
1 Colombo, Christian
1 Daca, Przemysław
1 Dan, Andrei Marian
1 Dannenberg, Frits
1 Dantas, Yuri Gil
1 David, Alexandre
1 de Alfaro, Luca
1 de Jong, Hidde
1 Deca, Rudy
1 Defourny, Boris
1 Donzé, Alexandre
1 d’Orso, Julien
1 Dullerud, Geir E.
1 Dumas, Estelle
1 Ereth, Sarah
1 Fahrenberg, Uli
...and 159 more Authors

Citations by Year