no help available
no help available
BibSonomy
user- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- search:giuliano.losa
- :: giuliano.losa
- ::
The blue social bookmark and publication sharing system.
bookmarks (36)
- discussion
- concepts
- similar users more...
- tags
- verification
- distributed
- parameterized
- modelchecking
- concurrent
- isabelle
- proof
- ioautomata
- abstraction
- theorem_proving
- infinite_state
- automated
- consensus
- simulation
- crypto
- cutoff
- bakery
- people
- decidability
- concurrency
- bft
- finite_state
- liveness
- tla
- smr
- assertional
- compositional
- reduction
- regular
- homodel
- safety
- invariant
- composition
- model
- petri
- networkinvariant
- algorithms
- predicate_abstraction
- coverability
- tool
- automata
- sharedmemory
- paxos
- wsts
- faulttolerant
- induction
- assume_guarantee
- symbolic
- company
- completeness
- Alex Kogan, and Erez Petrank. Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, page 141--150. New York, NY, USA, ACM, (2012)Alex Kogan, and Erez Petrank. Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, page 141--150. New York, NY, USA, ACM, (2012)8 months ago3
- Daniel Cederman, and Philippas Tsigas. Proceedings of the 7th ACM international conference on Computing frontiers, page 53--62. New York, NY, USA, ACM, (2010)Daniel Cederman, and Philippas Tsigas. Proceedings of the 7th ACM international conference on Computing frontiers, page 53--62. New York, NY, USA, ACM, (2010)8 months ago3
- Lawrence C. Paulson. Journal of Computer Security (1998)Lawrence C. Paulson. Journal of Computer Security (1998)a year and a month ago3
- Martín Abadi, and Phillip Rogaway. (2000)Martín Abadi, and Phillip Rogaway. (2000)a year and a month ago2
- Kai Engelhardt, and Yoram Moses. (2007)cite arxiv:cs/0701064.Kai Engelhardt, and Yoram Moses. (2007)cite arxiv:cs/0701064.a year and a month ago2
- Anupam Datta, Ante Derek, John C. Mitchell, and Dusko Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)Anupam Datta, Ante Derek, John C. Mitchell, and Dusko Pavlovic. Proceedings of the 2003 ACM workshop on Formal methods in security engineering, page 11--23. New York, NY, USA, ACM, (2003)a year and 2 months ago2
- Anupam Datta, Ante Derek, John C. Mitchell, and Arnab Roy. Electronic Notes in Theoretical Computer Science 172(0):311 - 358 (2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.Anupam Datta, Ante Derek, John C. Mitchell, and Arnab Roy. Electronic Notes in Theoretical Computer Science 172(0):311 - 358 (2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.a year and 2 months ago2
- Ran Canetti, and Jonathan Herzog. Journal of Cryptology (2011)Ran Canetti, and Jonathan Herzog. Journal of Cryptology (2011)a year and 2 months ago2
- Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING DISC 2006. VOLUME 4167 OF LNCS., SPRINGER 2006 238–253 INVITED PAPER, page 238--253. Springer, (2006)Ran Canetti, Ling Cheung, Dilsun Kaynar, Moses Liskov, Nancy Lynch, Olivier Pereira, and Roberto Segala. PROCEEDINGS THE 20TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING DISC 2006. VOLUME 4167 OF LNCS., SPRINGER 2006 238–253 INVITED PAPER, page 238--253. Springer, (2006)a year and 2 months ago2
- Serdar Tasiran, Ali Sezgin, and Shaz Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)Serdar Tasiran, Ali Sezgin, and Shaz Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)2 years and 3 months ago1
- Morten Kühnrich, and Uwe Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)Morten Kühnrich, and Uwe Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, page 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)2 years and 4 months ago1
- Dominic Hughes. (2004)cite arxiv:math/0408282 Comment: Appears in Annals of Mathematics, 2006. 5 pages + references. Version 1 is submitted version; v3 is final published version in two-column format rather than Annals style. Changes for v2: dualised definition of combinatorial truth, thereby shortening some subsequent proofs; added references; corrected typos; minor reworking of some sentences/paragraphs; added comments on polynomial-time correctness referee request. Changes for v3: corrected two typos, reworded one sentence, repeated a citation in Notes section.Dominic Hughes. (2004)cite arxiv:math/0408282 Comment: Appears in Annals of Mathematics, 2006. 5 pages + references. Version 1 is submitted version; v3 is final published version in two-column format rather than Annals style. Changes for v2: dualised definition of combinatorial truth, thereby shortening some subsequent proofs; added references; corrected typos; minor reworking of some sentences/paragraphs; added comments on polynomial-time correctness referee request. Changes for v3: corrected two typos, reworded one sentence, repeated a citation in Notes section.2 years and 4 months ago1
- Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. volume 670 of Lecture Notes in Computer Science, page 482--500. Odense, Denmark, Springer-Verlag, (April 1993)Sam Owre, John Rushby, Natarajan Shankar, and Friedrich von Henke. volume 670 of Lecture Notes in Computer Science, page 482--500. Odense, Denmark, Springer-Verlag, (April 1993)2 years and 4 months ago2
- J. O'Leary, M. Talupur, and M.R. Tuttle. (2009)J. O'Leary, M. Talupur, and M.R. Tuttle. (2009)2 years and 4 months ago2
- X. Liu, R. Van Renesse, M. Bickford, C. Kreitz, and R. Constable. icdcsw (2001)X. Liu, R. Van Renesse, M. Bickford, C. Kreitz, and R. Constable. icdcsw (2001)2 years and 4 months ago1
- M. Bickford, C. Kreitz, and R. Van Renesse. Cornell University, Ithaca, NY (2001)M. Bickford, C. Kreitz, and R. Van Renesse. Cornell University, Ithaca, NY (2001)2 years and 4 months ago1
- M. Bickford, C. Kreitz, R. Van Renesse, and X. Liu. Theorem Proving in Higher Order Logics (2001)M. Bickford, C. Kreitz, R. Van Renesse, and X. Liu. Theorem Proving in Higher Order Logics (2001)2 years and 4 months ago1
- M. Bickford, R.C. Constable, J.Y. Halpern, and S. Petride. (2005)M. Bickford, R.C. Constable, J.Y. Halpern, and S. Petride. (2005)2 years and 4 months ago1