Result 1 to 20 of 462 total
EXPTIME-completeness of thorough refinement on modal transition systems. (English)
Inf. Comput. 218, 54-68 (2012).
1
Multi-core reachability for timed automata. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 91-106 (2012).
2
Statistical model checking, refinement checking, optimization, $\cdots$ for stochastic hybrid systems. (English)
Jurdziński, Marcin (ed.) et al., Formal modeling and analysis of timed systems. 10th international conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33364-4/pbk). Lecture Notes in Computer Science 7595, 7-10 (2012).
3
Controllers with minimal observation power (application to timed systems). (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 223-237 (2012).
4
Functional high performance financial IT. The Hiperfit research center in Copenhagen. (English)
Peña, Ricardo (ed.) et al., Trends in functional programming. 12th international symposium, TFP 2011, Madrid, Spain, May 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32036-1/pbk). Lecture Notes in Computer Science 7193, 98-113 (2012).
5
A “hybrid” approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example. (English)
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 471-485 (2012).
6
Adaptable value-set analysis for low-level code. (English)
Brauer, Jörg (ed.) et al., 6th international workshop on systems software verification, SSV’11, August 26, 2011, Nijmegen, The Netherlands. Papers based on the presentations at the workshop. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-36-1). OASIcs ‒ OpenAccess Series in Informatics 24, 32-43, electronic only (2012).
7
Taking it to the limit: approximate reasoning for Markov processes. (English)
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27‒31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 681-692 (2012).
8
Extending modal transition systems with structured labels. (English)
Math. Struct. Comput. Sci. 22, No. 4, 581-617 (2012).
9
Linear-space data structures for range mode query in arrays. (English)
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th ‒ March 3rd, 2012. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPICS ‒ Leibniz International Proceedings in Informatics 14, 290-301, electronic only (2012).
10
Checking and distributing statistical model checking. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 449-463 (2012).
11
Learning Markov models for stationary system behaviors. (English)
Goodloe, Alwyn E. (ed.) et al., NASA formal methods. 4th international symposium, NFM 2012, Norfolk, VA, USA, April 3‒5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28890-6/pbk). Lecture Notes in Computer Science 7226, 216-230 (2012).
12
Moving from specifications to contracts in component-based design. (English)
de Lara, Juan (ed.) et al., Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). Lecture Notes in Computer Science 7212, 43-58 (2012).
13
Modal transition systems with weight intervals. (English)
J. Log. Algebr. Program. 81, No. 4, 408-421 (2012).
14
Reachability analysis for timed automata using max-plus algebra. (English)
J. Log. Algebr. Program. 81, No. 3, 298-313 (2012).
15
Consistency and refinement for interval Markov chains. (English)
J. Log. Algebr. Program. 81, No. 3, 209-226 (2012).
16
Access graphs results for LRU versus FIFO under relative worst order analysis. (English)
Fomin, Fedor V. (ed.) et al., Algorithm theory ‒ SWAT 2012. 13th Scandinavian symposium and workshops, Helsinki, Finland, July 4‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31154-3/pbk). Lecture Notes in Computer Science 7357, 328-339 (2012).
17
A comparison of performance measures via online search. (English)
Snoeyink, Jack (ed.) et al., Frontiers in algorithmics and algorithmic aspects in information and management. Joint international conference, FAW-AAIM 2012, Beijing, China, May 14‒16, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29699-4/pbk). Lecture Notes in Computer Science 7285, 303-314 (2012).
18
Monitor-based statistical model checking for weighted metric temporal logic. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 168-182 (2012).
19
Dual-priced modal transition systems with time durations. (English)
Bjørner, Nikolaj (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 18th international conference, LPAR-18, Mérida, Venezuela, March 11‒15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28716-9/pbk). Lecture Notes in Computer Science 7180, 122-137 (2012).
20
Result 1 to 20 of 462 total
Start
Contact
Print
General Help
