History


Please fill in your query. A complete syntax description you will find on the General Help page.

Result 61 to 80 of 776 total

Formal description of Alvis language with $α^{0}$ system layer. (English)
Fundam. Inform. 129, No. 1-2, 161-176 (2014).
WorldCat.org
61
Distributed synthesis is simply undecidable. (English)
Inf. Process. Lett. 114, No. 4, 203-207 (2014).
WorldCat.org
62
An approach for lifetime reliability analysis using theorem proving. (English)
J. Comput. Syst. Sci. 80, No. 2, 323-345 (2014).
WorldCat.org
63
A new representation of two-dimensional patterns and applications to interactive programming. (English)
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24‒26, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40212-8/pbk; 978-3-642-40213-5/ebook). Lecture Notes in Computer Science 8161, 183-198 (2013).
WorldCat.org
64
Verification of initial-state opacity in security applications of discrete event systems. (English)
Inf. Sci. 246, 115-132 (2013).
WorldCat.org
65
Analysis of an electronic boardroom voting system. (English)
Heather, James (ed.) et al., E-voting and identity. 4th international conference, Vote-ID 2013, Guildford, UK, July 17‒19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39184-2/pbk). Lecture Notes in Computer Science 7985, 109-126 (2013).
WorldCat.org
66
Synthesizing cost-minimal partners for services. (English)
Basu, Samik (ed.) et al., Service-oriented computing. 11th international conference, ICSOC 2013, Berlin, Germany, December 2‒5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45004-4/pbk). Lecture Notes in Computer Science 8274, 584-591 (2013).
WorldCat.org
67
Study on the barriers to the industrial adoption of formal methods. (English)
Pecheur, Charles (ed.) et al., Formal methods for industrial critical systems. 18th international workshop, FMICS 2013, Madrid, Spain, September 23‒24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41009-3/pbk). Lecture Notes in Computer Science 8187, 63-77 (2013).
WorldCat.org
68
Using interpolation for the verification of security protocols. (English)
Accorsi, Rafael (ed.) et al., Security and trust management. 9th international workshop, STM 2013, Egham, UK, September 12‒13, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41097-0/pbk). Lecture Notes in Computer Science 8203, 99-114 (2013).
WorldCat.org
69
Model-based development of the generic PCA infusion pump user interface prototype in PVS. (English)
Bitsch, Friedemann (ed.) et al., Computer safety, reliability, and security. 32nd international conference, SAFECOMP 2013, Toulouse, France, September 24‒27, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40792-5/pbk). Lecture Notes in Computer Science 8153, 228-240 (2013).
WorldCat.org
70
A formal basis for safety case patterns. (English)
Bitsch, Friedemann (ed.) et al., Computer safety, reliability, and security. 32nd international conference, SAFECOMP 2013, Toulouse, France, September 24‒27, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40792-5/pbk). Lecture Notes in Computer Science 8153, 21-32 (2013).
WorldCat.org
71
A modular approach for reusing formalisms in verification tools of concurrent systems. (English)
Groves, Lindsay (ed.) et al., Formal methods and software engineering. 15th international conference on formal engineering methods, ICFEM 2013, Queenstown, New Zealand, October 29 ‒ November 1, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41201-1/pbk). Lecture Notes in Computer Science 8144, 199-214 (2013).
WorldCat.org
72
Performance evaluation of process partitioning using probabilistic model checking. (English)
Bertacco, Valeria (ed.) et al., Hardware and software: verification and testing. 9th international Haifa verification conference, HVC 2013, Haifa, Israel, November 5‒7, 2013. Proceedings. Berlin: Springer (ISBN 978-3-319-03076-0/pbk). Lecture Notes in Computer Science 8244, 344-358 (2013).
WorldCat.org
73
Hierarchical safety cases. (English)
Brat, Guillaume (ed.) et al., NASA formal methods. 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14‒16, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38087-7/pbk). Lecture Notes in Computer Science 7871, 478-483 (2013).
WorldCat.org
74
From UML to process algebra and back: an automated approach to model-checking software design artifacts of concurrent systems. (English)
Brat, Guillaume (ed.) et al., NASA formal methods. 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14‒16, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38087-7/pbk). Lecture Notes in Computer Science 7871, 244-260 (2013).
WorldCat.org
75
Evaluating human-human communication protocols with miscommunication generation and model checking. (English)
Brat, Guillaume (ed.) et al., NASA formal methods. 5th international symposium, NFM 2013, Moffett Field, CA, USA, May 14‒16, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38087-7/pbk). Lecture Notes in Computer Science 7871, 48-62 (2013).
WorldCat.org
76
Multiprocessor schedulability of arbitrary-deadline sporadic tasks: complexity and antichain algorithm. (English)
Real-Time Syst. 49, No. 2, 171-218 (2013).
WorldCat.org
77
Towards verifying voter privacy through unlinkability. (English)
Jürjens, Jan (ed.) et al., Engineering secure software and systems. 5th international symposium, Essos 2013, Paris, France, February 27 ‒ March 1, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36562-1/pbk). Lecture Notes in Computer Science 7781, 91-106 (2013).
WorldCat.org
78
Static detection of implementation errors using formal code specification. (English)
Hierons, Robert M. (ed.) et al., Software engineering and formal methods. 11th international conference, SEFM 2013, Madrid, Spain, September 25‒27, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40560-0/pbk). Lecture Notes in Computer Science 8137, 197-211 (2013).
WorldCat.org
79
Rule-level verification of graph transformations for invariants based on edges’ transitive closure. (English)
Hierons, Robert M. (ed.) et al., Software engineering and formal methods. 11th international conference, SEFM 2013, Madrid, Spain, September 25‒27, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40560-0/pbk). Lecture Notes in Computer Science 8137, 106-121 (2013).
WorldCat.org
80

Result 61 to 80 of 776 total

Valid XHTML 1.0 Transitional Valid CSS!