Result 1 to 20 of 1486 total
Performance evaluation and model checking in systems modeled as hybrid Petri nets. (English)
Appl. Math. Modelling 36, No. 8, 3941-3947 (2012).
1
An efficient approach for abstraction-refinement in model checking. (English)
Theor. Comput. Sci. 461, 76-85 (2012).
2
A counting logic for structure transition systems. (English)
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3‒6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPICS ‒ Leibniz International Proceedings in Informatics 16, 366-380, electronic only (2012).
3
Ontology-driven software engineering: beyond model checking and transformations. (English)
Int. J. Semant. Comput. 6, No. 2, 205-242 (2012).
4
SeVe: automatic tool for verification of security protocols. (English)
Front. Comput. Sci. 6, No. 1, 57-75 (2012).
5
S2N: Model transformation from SPIN to NuSMV. (Tool paper). (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 255-260 (2012).
6
Parallelizing the SPIN model checker. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 155-171 (2012).
7
On parallel software verification using Boolean equation systems. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 80-97 (2012).
8
A compositional minimization approach for large asynchronous design verification. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 62-79 (2012).
9
Combining the sweep-line method with the use of an external-memory priority queue. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 43-61 (2012).
10
Counterexample explanation by anomaly detection. (English)
Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 24-42 (2012).
11
An approach for network information flow analysis for systems of embedded components. (English)
Kotenko, Igor (ed.) et al., Computer network security. 6th international conference on mathematical methods, models and architectures for computer network security, MMM-ACNS 2012, St. Petersburg, Russia, October 17‒19, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33703-1/pbk). Lecture Notes in Computer Science 7531, 146-155 (2012).
12
A probabilistic model checking approach to investigate the palytoxin effects on the NA$^{ + }$/K$^{ + }$-ATPase. (English)
de Souto, Marcilio C. (ed.) et al., Advances in bioinformatics and computational biology. 7th Brazilian symposium on bioinformatics, BSB 2012, Campo Grande, Brazil, August 15‒17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31926-6/pbk). Lecture Notes in Computer Science 7409. Lecture Notes in Bioinformatics, 84-96 (2012).
13
Specification and quantitative analysis of probabilistic cloud deployment patterns. (English)
Eder, Kerstin (ed.) et al., Hardware and software: verification and testing. 7th international Haifa verification conference, HVC 2011, Haifa, Israel, December 6‒8, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-34187-8/pbk). Lecture Notes in Computer Science 7261, 145-159 (2012).
14
Finite and infinite implementation of transition systems. (English)
Theor. Comput. Sci. 458, 131-135 (2012).
15
Palytoxin inhibits the sodium-potassium pump ‒ an investigation of an electrophysiological model using probabilistic model checking. (English)
Gheyi, Rohit (ed.) et al., Formal methods: foundations and applications. 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23-.28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33295-1/pbk). Lecture Notes in Computer Science 7498, 35-50 (2012).
16
Designing fast LTL model checking algorithms for many-core GPUs. (English)
J. Parallel Distrib. Comput. 72, No. 9, 1083-1097 (2012).
17
Model checking and code generation for transaction processing software. (English)
Concurrency Comput. Pract. Exp. 24, No. 7, 711-722 (2012).
18
Degrees of lookahead in regular infinite games. (English)
Log. Methods Comput. Sci. 8, No. 3, Paper No. 24, 15 p. (2012).
19
Formalization and correctness of the PALS architectural pattern for distributed real-time systems. (English)
Theor. Comput. Sci. 451, 1-37 (2012).
20
Result 1 to 20 of 1486 total
Start
Contact
Print
General Help
