no help available
no help available
BibSonomy
user- tag
- user
- group
- author
- concept
- BibTeX key
- search:all
- :: giuliano.losa
- ::
The blue social bookmark and publication sharing system.
actions for all displayed bookmarks:
export:
sort:
- criterion: date, title
- order: ascending, descending
others:
- display: all, bookmarks only
- bookmarks per page: 5 10 20 50 100
bookmarks (23)
actions for all displayed publications:
export:
sort:
- criterion: date, title
- order: ascending, descending
- advanced...
others:
- display: all, publications only
- publications per page: 5 10 20 50 100
publications (126)
- browse
- verification as tag from all users
- related tags
- concepts
- 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
- 2 years and 4 months ago1
- Verification of paxos in isabelle · http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=273&flag=1Verification of paxos in isabelle · http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=273&flag=13 years and 6 months ago1
- H. Attiya Technion G. Ramalingam MSR India Noam Rinetzky University of London · http://209.85.129.132/search?q=cache:wc5BCwErQXAJ:www.dcs.qmul.ac.uk/~maon/talks/dag-seqconc-dagstuhl-seqser.pdf+tree-locking+non-interleaved+execution&cd=1&hl=en&ct=clnkH. Attiya Technion G. Ramalingam MSR India Noam Rinetzky University of London · http://209.85.129.132/search?q=cache:wc5BCwErQXAJ:www.dcs.qmul.ac.uk/~maon/talks/dag-seqconc-dagstuhl-seqser.pdf+tree-locking+non-interleaved+execution&cd=1&hl=en&ct=clnk3 years and 6 months ago1
- Lawrence C. Paulson. Journal of Computer Security (1998)Lawrence C. Paulson. Journal of Computer Security (1998)a year and a month ago3
- 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 a month ago2
- Ran Canetti, and Jonathan Herzog. Journal of Cryptology (2011)Ran Canetti, and Jonathan Herzog. Journal of Cryptology (2011)a year and a month 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 a month 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 3 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
- Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, and Stephan Merz. Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, and Stephan Merz. Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)2 years and 5 months ago1
- A. Datta, A. Derek, J.C. Mitchell, and A. Roy. Electronic Notes in Theoretical Computer Science (2007)A. Datta, A. Derek, J.C. Mitchell, and A. Roy. Electronic Notes in Theoretical Computer Science (2007)2 years and 6 months ago2
- Nancy Lynch. 12th Computer Security Foundations Workshop CSFW, IEEE, page 14--29. (1999)Nancy Lynch. 12th Computer Security Foundations Workshop CSFW, IEEE, page 14--29. (1999)2 years and 6 months ago2
- M. R. Henzinger, T. A. Henzinger, and P. W. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, page 453--. Washington, DC, USA, IEEE Computer Society, (1995)M. R. Henzinger, T. A. Henzinger, and P. W. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, page 453--. Washington, DC, USA, IEEE Computer Society, (1995)2 years and 6 months ago3
- Akio Fujiyoshi. Implementation and Applications of Automata, volume 5148 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2008)Akio Fujiyoshi. Implementation and Applications of Automata, volume 5148 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, (2008)2 years and 6 months ago2
- Alper Sen, and Vijay K. Garg. IEEE Trans. Computers 56(4):511-527 (2007)Alper Sen, and Vijay K. Garg. IEEE Trans. Computers 56(4):511-527 (2007)2 years and 6 months ago1