History


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

Result 61 to 80 of 803 total

Explicit assumptions - A prenup for marrying static and dynamic program verification. (English)
Seidl, Martina (ed.) et al., Tests and proofs. 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24‒25, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09098-6/pbk). Lecture Notes in Computer Science 8570, 142-157 (2014).
WorldCat.org
61
Formally verified tableau-based reasoners for a description logic. (English)
J. Autom. Reasoning 52, No. 3, 331-360 (2014).
WorldCat.org
62
On specifying reconfigurable component-based systems using strategies. (English)
Murgante, Beniamino (ed.) et al., Computational science and its applications ‒ ICCSA 2014. 14th international conference, Guimarães, Portugal, June 30 ‒ July 3, 2014. Proceedings, Part I. Berlin: Springer (ISBN 978-3-319-09143-3/pbk). Lecture Notes in Computer Science 8579, 656-670 (2014).
WorldCat.org
63
DO-333 certification case studies. (English)
Badger, Julia M. (ed.) et al., NASA formal methods. 6th international symposium, NFM 2014, Houston, TX, USA, April 29 ‒ May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06199-3/pbk). Lecture Notes in Computer Science 8430, 1-15 (2014).
WorldCat.org
64
Improving the understandability of formal specifications: An experience report. (English)
Salinesi, Camille (ed.) et al., Requirements engineering: foundation for software quality. 20th international working conference, REFSQ 2014, Essen, Germany, April 7‒10, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-05842-9/pbk). Lecture Notes in Computer Science 8396, 184-199 (2014).
WorldCat.org
65
Towards a formal model for cloud computing. (English)
Lomuscio, Alessio R. (ed.) et al., Service-oriented computing ‒ ICSOC 2013 workshops. CCSA, CSB, PASCEB, SWESE, WESOA, and PhD symposium, Berlin, Germany, December 2‒5, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-06858-9/pbk). Lecture Notes in Computer Science 8377, 381-393 (2014).
WorldCat.org
66
Cryptographic protocols with everyday objects. (English)
Formal Asp. Comput. 26, No. 1, 37-62 (2014).
WorldCat.org
67
A simplified Z semantics for presentation interaction models. (English)
Jones, Cliff (ed.) et al., FM 2014: formal methods. 19th international symposium, Singapore, May 12‒16, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06409-3/pbk). Lecture Notes in Computer Science 8442, 148-162 (2014).
WorldCat.org
68
Automated proof for authorization protocols of TPM 2.0 in computational model. (English)
Huang, Xinyi (ed.) et al., Information security practice and experience. 10th international conference, ISPEC 2014, Fuzhou, China, May 5‒8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06319-5/pbk). Lecture Notes in Computer Science 8434, 144-158 (2014).
WorldCat.org
69
Effectiveness for input output conformance simulation ioco\b{s}. (English)
Ábrahám, Erika (ed.) et al., Formal techniques for distributed objects, components, and systems. 34th IFIP WG 6.1 international conference, FORTE 2014, held as Part of the 9th international federated conference on distributed computing techniques, DisCoTec 2014, Berlin, Germany, June 3‒5, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-43612-7/pbk). Lecture Notes in Computer Science 8461, 100-116 (2014).
WorldCat.org
70
On regions and zones for event-clock automata. (English)
Form. Methods Syst. Des. 45, No. 3, 330-380 (2014).
WorldCat.org
71
Scalable reachability analysis via automated dynamic netlist-based hint generation. (English)
Form. Methods Syst. Des. 45, No. 2, 144-164 (2014).
WorldCat.org
72
Learning register automata: from languages to program structures. (English)
Mach. Learn. 96, No. 1-2, 65-98 (2014).
WorldCat.org
73
Bounding messages for free in security protocols ‒ extension to various security properties. (English)
Inf. Comput. 239, 182-215 (2014).
WorldCat.org
74
Deducibility constraints and blind signatures. (English)
Inf. Comput. 238, 106-127 (2014).
WorldCat.org
75
Are we there yet? 20 years of industrial theorem proving with SPARK. (English)
Klein, Gerwin (ed.) et al., Interactive theorem proving. 5th international conference, ITP 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08969-0/pbk). Lecture Notes in Computer Science 8558, 17-26 (2014).
WorldCat.org
76
Deciding safety and liveness in TPTL. (English)
Inf. Process. Lett. 114, No. 12, 680-688 (2014).
WorldCat.org
77
Towards the formal reliability analysis of oil and gas pipelines. (English)
Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7‒11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 30-44 (2014).
WorldCat.org
78
Programming and verifying component ensembles. (English)
Bensalem, Saddek (ed.) et al., From programs to systems. The systems perspective in computing. ETAPS workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54847-5/pbk). Lecture Notes in Computer Science 8415, 69-83 (2014).
WorldCat.org
79
A formal approach to model emotional agents behaviour in disaster management situations. (English)
Likas, Aristidis (ed.) et al., Artificial intelligence: methods and applications. 8th Hellenic conference on AI, SETN 2014, Ioannina, Greece, May 15‒17, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-07063-6/pbk). Lecture Notes in Computer Science 8445. Lecture Notes in Artificial Intelligence, 237-250 (2014).
WorldCat.org
80

Result 61 to 80 of 803 total

Valid XHTML 1.0 Transitional Valid CSS!