Result 1 to 20 of 128 total
Monitorability of stochastic dynamical systems. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 720-736 (2011).
1
Probabilistic Büchi automata with non-extremal acceptance thresholds. (English)
Jhala, Ranjit (ed.) et al., Verification, model checking, and abstract interpretation. 12th international conference, VMCAI 2011, Austin, TX, USA, January 23‒25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18274-7/pbk). Lecture Notes in Computer Science 6538, 103-117 (2011).
2
Monitorability of stochastic dynamical systems (English)
CAV, 720-736 (2011).
3
Answer-pairs and processing of continuous nearest-neighbor queries (English)
FOMC, 16-24 (2011).
4
Probabilistic Büchi automata with non-extremal acceptance thresholds (English)
VMCAI, 103-117 (2011).
5
Model checking concurrent programs with nondeterminism and randomization. (English)
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15‒18, 2010, Chennai, India. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPICS ‒ Leibniz International Proceedings in Informatics 8, 364-375, electronic only (2010).
6
Automatically preparing safe SQL queries. (English)
Sion, Radu (ed.), Financial cryptography and data security. 14th international conference, FC 2010, Tenerife, Canary Islands, January 25‒28, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-14576-6/pbk). Lecture Notes in Computer Science 6052, 272-288 (2010).
7
Automatically preparing safe SQL queries (English)
Financial Cryptography, 272-288 (2010).
8
Model checking concurrent programs with nondeterminism and randomization (English)
FSTTCS, 364-375 (2010).
9
TAPS: automatically preparing safe SQL queries (English)
ACM Conference on Computer and Communications Security, 645-647 (2010).
10
Construction of a sentimental word dictionary (English)
CIKM, 1761-1764 (2010).
11
On the expressiveness and complexity of randomization in finite state monitors. (English)
J. ACM 56, No. 5 (2009).
12
Power of randomization in automata on infinite strings. (English)
Bravetti, Mario (ed.) et al., CONCUR 2009 ‒ concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1‒4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 229-243 (2009).
13
Monitoring the full range of $ω$-regular properties of stochastic systems. (English)
Jones, Neil D. (ed.) et al., Verification, model checking, and abstract interpretation. 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18‒20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-93899-6/pbk). Lecture Notes in Computer Science 5403, 105-119 (2009).
14
Stop word and related problems in web interface integration (English)
PVLDB 2, No. 1, 349-360 (2009).
15
Power of randomization in automata on infinite strings (English)
CONCUR, 229-243 (2009).
16
A data model for trip planning in multimodal transportation systems (English)
EDBT, 994-1005 (2009).
17
A query processor for prediction-based monitoring of data streams (English)
EDBT, 415-426 (2009).
18
Monitoring the full range of omega-regular properties of stochastic systems (English)
VMCAI, 105-119 (2009).
19
Analysis of dynamic policies. (English)
Inf. Comput. 206, No. 2-4, 185-212 (2008).
20
Result 1 to 20 of 128 total
Start
Contact
Print
General Help
