Srdan Krstic

Identifiers

• name variant Srdan Krstic 0.60 · backfill

Papers (5)

1. COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring -- Activity Report of Working Group 1 cs.SE · 2019 · author #5
2. Efficient Large-scale Trace Checking Using MapReduce cs.SE · 2015 · author #4
3. InstaCluster: Building A Big Data Cluster in Minutes cs.DC · 2015 · author #2
4. Offline Trace Checking of Quantitative Properties of Service-Based Applications cs.SE · 2014 · author #3
5. Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce cs.SE · 2014 · author #3

Mentions

• 1508.06613 #4 · backfill · confidence 0.70 Srdan Krstic
• 1508.04973 #2 · backfill · confidence 0.70 Srdan Krstic
• 1409.4653 #3 · backfill · confidence 0.70 Srdan Krstic
• 1406.3661 #3 · backfill · confidence 0.70 Srdan Krstic

Frequent Coauthors

• Carlo Ghezzi 3 shared papers
• Domenico Bianculli 3 shared papers
• Pierluigi San Pietro 2 shared papers
• C\'esar S\'anchez 1 shared papers
• Christian Colombo 1 shared papers
• Cyrille Artho 1 shared papers
• Florian Lorber 1 shared papers
• Gerardo Schneider 1 shared papers
• Giovanni Paolo Gibilisco 1 shared papers
• Joao Louren\c{c}o 1 shared papers
• Leonardo Mariani 1 shared papers
• Marcello M. Bersani 1 shared papers
• Martin Leucker 1 shared papers
• Volker Stolz 1 shared papers
• Wolfgang Ahrendt 1 shared papers
• Yli\`es Falcone 1 shared papers