„protocol verification“

Suchergebnisse

1.000+ Treffer

• Towards efficient verification of population protocols
  Blondin, Michael ; Esparza, Javier ; Jaax, Stefan ; Meyer, Philipp J.
• Verification of Mondex electronic purses with KIV: from a security protocol to verified code
  Grandy, Holger ; Bischof, Markus ; Stenzel, Kurt ; Schellhorn, Gerhard ; Reif, Wolfgang ; Cuellar, Jorge ; Maibaum, Tom ; Sere, Kaisa 2008 Universität Augsburg
• Verification of the Futurebus+ cache coherence protocol
  Clarke, Edmund M. ; Grumberg, Orna ; Hiraishi, Hiromi ; Jha, Somesh ; Long, David E. ; McMillan, Kenneth L. ; Ness, Linda A.
• Protocol Establishment and Reliability Verification of Three-Dimensional Digital Stereophotogrammetry in Lower Eyelid Anthropometry
  Chi, Yarong ; Yang, Yuyan ; Jin, Lin ; Chong, Yuming ; Huang, Jiuzuo ; Yu, Nanze ; Long, Xiao
• Verification of Immediate Observation Population Protocols
  Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak ; Weil-Kennedy, Chana 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Development and Verification of Simulation Model Based on Real MANET Experiments for Transport Layer Protocols (UDP and TCP)
  Kamal, Joarder Mohammad Mustafa ; Hasan, Mohammad Shahidul ; Griffiths, Alison L. ; Yu, Hongnian
• Analysis and formal verification of SDL'92 specifications using extended Petri nets
  Fischer, Joachim ; Dimitrov, Evgeni ; Taubert, Udo 1995 Professoren des Inst. für Informatik
• Performance oriented specification of communication protocols and verification of deterministics bounds of their QoS characteristics
  Schieferdecker, Ina 1995 Oldenbourg
• Population Protocols: Expressiveness, Succinctness and Automatic Verification.
  Jaax, Stefan ; Esparza Estaun, Francisco Javier ; Majumdar, Rupak 2020 Universitätsbibliothek der TU München
• Cryptographic Protocols from Physical Assumptions
  Koch, Alexander ; Müller-Quade, J. 2019 KIT-Bibliothek
• Advancing security protocol verification – A journey along the boundaries of the symbolic model
  Dax, Alexander ; Cremers, Cas 2025 Saarländische Universitäts- und Landesbibliothek
• Wireless Channel Based Security Protocols for IoT Devices
  Reaz, Khan Mehedi Al 2024 Freie Universität Berlin
• On Formalizing UML and OCL Features and Their Employment to Runtime Verification
  Hamann, Lars ; Gogolla, Martin ; Kreowski, Hans-Jörg 2015 Staats- und Universitätsbibliothek Bremen
• Formal verification of the pastry protocol
  Lu, Tianxiang ; Weidenbach, Christoph 2013 Saarländische Universitäts- und Landesbibliothek
• Verification of Security Properties Using Formal Techniques
  Al-Shadly, Saleh ; Hogrefe, Dieter ; Fu, Xiaoming ; Grabowski, Jens ; Eckart, Modrow ; Rieck, Konrad ; Waack, Stephan 2014 Niedersächsische Staats- und Universitätsbibliothek Göttingen
• United Against Climate Change: The Kyoto Protocol and Global Cooperation on Greenhouse Gas Emissions
  Jemison 2024 tredition
• System-on-chip protocol compliance verification using interval property checking – = Verifikation von System-on-Chip-Protokollimplementierungen durch intervallbasierte Eigenschaftsprüfung
  Nguyen, Duc-Minh
• Security model design and formal verification of MQTT protocol
  Gao, Chengtai ; Xi, Xiaohui ; Zhang, Chunyan
• A new general quantum state verification protocol by the classical shadow method
  Li, Xiaodi
• Semi-quantum key agreement protocol based on four-particle entangled χ-state and experiment verification on IBM qiskit
  Li, Jin-Huan ; Jiang, She-Xiang ; Hu, Wen-Wen