Result 1 to 20 of 79 total
Competition on software verification. (SV-COMP). (English)
Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 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-28755-8/pbk). Lecture Notes in Computer Science 7214, 504-524 (2012).
1
CPAchecker: A tool for configurable software verification. (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, 184-190 (2011).
2
Detection of feature interactions using feature-aware verification (English)
ASE, 372-375 (2011).
3
Cpachecker: A tool for configurable software verification (English)
CAV, 184-190 (2011).
4
Feature cohesion in software product lines: an exploratory study (English)
ICSE, 421-430 (2011).
5
Shape refinement through explicit heap analysis. (English)
Rosenblum, David S. (ed.) et al., Fundamental approaches to software engineering. 13th international conference, FASE 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12028-2/pbk). Lecture Notes in Computer Science 6013, 263-277 (2010).
6
io-port 50127431 Ward, Julie;
Zhang, Bin;
Jain, Shailendra;
Fry, Chris;
Olavson, Thomas;
Mishal, Holger;
Amaral, Jason;
Beyer, Dirk;
Brecht, Ann;
Cargille, Brian;
Chadinha, Russ;
Chou, Kathy;
Denyse, Gavin;
Feng, Qi;
Padovani, Cookie;
Raj, Sesh;
Sunderbruch, Kurt;
Tarjan, Robert Endre;
Venkatraman, Krishna;
Woods, Joseph;
Zhou, Jing
HP transforms product portfolio management with operations research (English)
Interfaces 40, No. 1, 17-32 (2010).
7
Predicate abstraction with adjustable-block encoding (English)
FMCAD, 189-197 (2010).
8
Shape refinement through explicit heap analysis (English)
FASE, 263-277 (2010).
9
Depdigger: A tool for detecting complex low-level dependencies (English)
ICPC, 40-41 (2010).
10
A simple and effective measure for complex low-level dependencies (English)
ICPC, 80-83 (2010).
11
Checkdep: A tool for tracking software dependencies (English)
ICPC, 42-43 (2010).
12
Software model checking via large-block encoding. (English)
Comput. Res. Repos. 2009, Article No. 0904.4709 (2009).
13
Cpachecker: A tool for configurable software verification. (English)
Comput. Res. Repos. 2009, Article No. 0902.0019 (2009).
14
Software model checking via large-block encoding (English)
FMCAD, 25-32 (2009).
15
Leveraging virtualization to optimize high-availability system configurations. (English)
IBM Syst. J. 47, No. 4, 591-604 (2008).
16
CSIsat: Interpolation for LA+EUF. Tool paper. (English)
Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7‒14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 304-308 (2008).
17
Automated application component placement in data centers using mathematical programming (English)
Int. Journal of Network Management 18, No. 6, 467-483 (2008).
18
Program analysis with dynamic precision adjustment (English)
ASE, 29-38 (2008).
19
Csisat: interpolation for LA+EUF (English)
CAV, 304-308 (2008).
20
Result 1 to 20 of 79 total
Start
Contact
Print
General Help
