Search

Your search keyword '"liveness property"' showing total 395 results
Start Over Descriptor "liveness property"

Refine your results

more »

more »

more »
395 results on '"liveness property"'

2. Formal Specification and Model Checking of a Ride-sharing System in Maude

Author

Muramoto, Eiichi, Ogata, Kazuhiro, Shinoda, Yoichi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Miao, Huaikou, editor, Tian, Cong, editor, Liu, Shaoying, editor, and Duan, Zhenhua, editor

Published
2020
Full Text
View/download PDF

3. TAPInspector: Safety and Liveness Verification of Concurrent Trigger-Action IoT Systems.

Author

Yu, Yinbo and Liu, Jiajia

Abstract

Trigger-action programming (TAP) is a popular end-user programming framework that can simplify the Internet of Things (IoT) automation with simple trigger-action rules. However, it also introduces new security and safety threats. A lot of advanced techniques have been proposed to address this problem. Rigorously reasoning about the security of a TAP-based IoT system requires a well-defined model and verification method both against rule semantics and physical-world features, e.g., concurrency, rule latency, extended action, tardy attributes, and connection-based rule interactions, which has been missing until now. By analyzing these features, we find 9 new types of rule interaction vulnerabilities and validate them on two commercial IoT platforms. We then present TAPInspector, a novel system to detect these interaction vulnerabilities in concurrent TAP-based IoT systems. It automatically extracts TAP rules from IoT apps, translates them into a hybrid model by model slicing and state compression, and performs semantic analysis and model checking with various safety and liveness properties. Our experiments corroborate that TAPInspector is practical: it identifies 533 violations related to rule interaction from 1108 real-world market IoT apps and is at least 60000 times faster than the baseline without optimization. [ABSTRACT FROM AUTHOR]

Published
2022
Full Text
View/download PDF

4. On the Versatility of Bracha's Byzantine Reliable Broadcast Algorithm.

Author

Raynal, Michel

Subjects
*ALGORITHMS, *BROADCASTING industry
Abstract

G. Bracha presented in 1987 a simple and efficient reliable broadcast algorithm for n -process asynchronous message-passing systems, which tolerates up to t < n / 3 Byzantine processes. Following an idea recently introduced by Hirt, Kastrato and Liu-Zhang (OPODIS 2020), instead of considering the upper bound on the number of Byzantine processes (t) , the present short article considers two types of Byzantine behavior: the ones that can prevent the safety property from being satisfied, and the ones that can prevent the liveness property from being satisfied (a Byzantine process can exhibit only one or both types of failures). This Byzantine differentiated failure model is captured by two associated upper bounds denoted t s (for safety) and t ℓ for liveness). The article shows that only the threshold values used in the predicates of Bracha's algorithm must be modified to obtain an algorithm that works with this differentiated Byzantine failure model. [ABSTRACT FROM AUTHOR]

Published
2021
Full Text
View/download PDF

6. Specification and Verification of Synchronization with Condition Variables

Author

de Carvalho Gomes, Pedro, Gurov, Dilian, Huisman, Marieke, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Artho, Cyrille, editor, and Ölveczky, Peter Csaba, editor

Published
2017
Full Text
View/download PDF

7. Case Studies

Author

Zhan, Naijun, Wang, Shuling, Zhao, Hengjun, Zhan, Naijun, Wang, Shuling, and Zhao, Hengjun

Published
2017
Full Text
View/download PDF

8. An Extended TASM-Based Requirements Modeling Approach for Real-Time Embedded Software: An Industrial Case Study

Author

Shan, Jin-Hui, Zhao, Hai-Yan, Wang, Jin-Bo, Wang, Rui-Xue, Ruan, Cheng-Lin, Yao, Zhe-Xi, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Zhang, Lu, editor, and Xu, Chang, editor

Published
2016
Full Text
View/download PDF

9. BFS-Based Model Checking of Linear-Time Properties with an Application on GPUs

Author

Wijs, Anton, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

10. Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations

Author

Daniel, Jakub, Cimatti, Alessandro, Griggio, Alberto, Tonetta, Stefano, Mover, Sergio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chaudhuri, Swarat, editor, and Farzan, Azadeh, editor

Published
2016
Full Text
View/download PDF

11. Towards a Thread-Local Proof Technique for Starvation Freedom

Author

Schellhorn, Gerhard, Travkin, Oleg, Wehrheim, Heike, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ábrahám, Erika, editor, and Huisman, Marieke, editor

Published
2016
Full Text
View/download PDF

12. Modeling and Formal Analysis of a Client-Server Application for Cloud Services

Author

Arcaini, Paolo, Holom, Roxana-Maria, Riccobene, Elvinia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hildebrandt, Thomas, editor, Ravara, António, editor, van der Werf, Jan Martijn, editor, and Weidlich, Matthias, editor

Published
2016
Full Text
View/download PDF

13. A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems

Author

Timm, Nils, Gruner, Stefan, Harvey, Matthias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ribeiro, Leila, editor, and Lecomte, Thierry, editor

Published
2016
Full Text
View/download PDF

14. Binary Session Types for Psi-Calculi

Author

Hüttel, Hans, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Igarashi, Atsushi, editor

Published
2016
Full Text
View/download PDF

15. On the Power of Statistical Model Checking

Author

Larsen, Kim G., Legay, Axel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

16. Multi-core Model Checking of Large-Scale Reactive Systems Using Different State Representations

Author

Jasper, Marc, Schordan, Markus, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

17. Developing and Verifying Response Specifications in Hierarchical Event-Based Systems

Author

Disenfeld, Cynthia, Katz, Shmuel, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Chiba, Shigeru, editor, Südholt, Mario, editor, Eugster, Patrick, editor, Ziarek, Lukasz, editor, and Leavens, Gary T., editor

Published
2016
Full Text
View/download PDF

18. From Sequential Specifications to Eventual Consistency

Author

Jagadeesan, Radha, Riely, James, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Halldórsson, Magnús M., editor, Iwama, Kazuo, editor, Kobayashi, Naoki, editor, and Speckmann, Bettina, editor

Published
2015
Full Text
View/download PDF

19. A Theory of Gray Security Policies

Author

Ray, Donald, Ligatti, Jay, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Pernul, Günther, editor, Y A Ryan, Peter, editor, and Weippl, Edgar, editor

Published
2015
Full Text
View/download PDF

20. Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems

Author

Sogokon, Andrew, Jackson, Paul B., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Bjørner, Nikolaj, editor, and de Boer, Frank, editor

Published
2015
Full Text
View/download PDF

21. Basic Properties

Author

Cerny, Eduard, Dudani, Surrendra, Havlicek, John, Korchemny, Dmitry, Cerny, Eduard, Dudani, Surrendra, Havlicek, John, and Korchemny, Dmitry

Published
2015
Full Text
View/download PDF

22. Automatically Adjusting Concurrency to the Level of Synchrony

Author

Fraigniaud, Pierre, Gafni, Eli, Rajsbaum, Sergio, Roy, Matthieu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Kuhn, Fabian, editor

Published
2014
Full Text
View/download PDF

23. Towards Formal Modelling and Verification of Pervasive Computing Systems

Author

Liu, Yan, Zhang, Xian, Liu, Yang, Dong, Jin Song, Sun, Jun, Biswas, Jit, Mokhtari, Mounir, Nguyen, Ngoc Thanh, Editor-in-chief, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Kowalczyk, Ryszard, editor

Published
2014
Full Text
View/download PDF

24. Bounded Model Checking of Temporal Formulas with Alloy

Author

Cunha, Alcino, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ait Ameur, Yamine, editor, and Schewe, Klaus-Dieter, editor

Published
2014
Full Text
View/download PDF

25. Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

Author

Debois, Søren, Hildebrandt, Thomas, Slaats, Tijs, Yoshida, Nobuko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Ábrahám, Erika, editor, and Palamidessi, Catuscia, editor

Published
2014
Full Text
View/download PDF

26. The Versatile Synchronous Observer

Author

Rushby, John, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Iida, Shusaku, editor, Meseguer, José, editor, and Ogata, Kazuhiro, editor

Published
2014
Full Text
View/download PDF

27. OR.NET: Safe Interconnection of Medical Devices : (Position Paper)

Author

Kühn, Franziska, Leucker, Martin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gibbons, Jeremy, editor, and MacCaull, Wendy, editor

Published
2014
Full Text
View/download PDF

28. A Modal Specification Approach for On-Demand Medical Systems

Author

King, Andrew L., Feng, Lu, Sokolsky, Oleg, Lee, Insup, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gibbons, Jeremy, editor, and MacCaull, Wendy, editor

Published
2014
Full Text
View/download PDF

29. Concurrent Data Structures in Architectures with Limited Shared Memory Support

Author

Walulya, Ivan, Nikolakopoulos, Yiannis, Papatriantafilou, Marina, Tsigas, Philippas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lopes, Luís, editor, Žilinskas, Julius, editor, Costan, Alexandru, editor, Cascella, Roberto G., editor, Kecskemeti, Gabor, editor, Jeannot, Emmanuel, editor, Cannataro, Mario, editor, Ricci, Laura, editor, Benkner, Siegfried, editor, Petit, Salvador, editor, Scarano, Vittorio, editor, Gracia, José, editor, Hunold, Sascha, editor, Scott, Stephen L., editor, Lankes, Stefan, editor, Lengauer, Christian, editor, Carretero, Jesus, editor, Breitbart, Jens, editor, and Alexander, Michael, editor

Published
2014
Full Text
View/download PDF

30. Synthesizing Finite-State Protocols from Scenarios and Requirements

Author

Alur, Rajeev, Martin, Milo, Raghothaman, Mukund, Stergiou, Christos, Tripakis, Stavros, Udupa, Abhishek, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Yahav, Eran, editor

Published
2014
Full Text
View/download PDF

31. Partial-Order Reduction for Multi-core LTL Model Checking

Author

Laarman, Alfons, Wijs, Anton, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Yahav, Eran, editor

Published
2014
Full Text
View/download PDF

32. Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

Author

Sethi, Divjyot, Talupur, Muralidhar, Malik, Sharad, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Cassez, Franck, editor, and Raskin, Jean-François, editor

Published
2014
Full Text
View/download PDF

33. The Power of Proofs: New Algorithms for Timed Automata Model Checking

Author

Fontana, Peter, Cleaveland, Rance, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Legay, Axel, editor, and Bozga, Marius, editor

Published
2014
Full Text
View/download PDF

34. A Tool for Verifying Dynamic Properties in B

Author

Diagne, Fama, Mammar, Amel, Frappier, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Giannakopoulou, Dimitra, editor, and Salaün, Gwen, editor

Published
2014
Full Text
View/download PDF

35. Managing LTL Properties in Event-B Refinement

Author

Schneider, Steve, Treharne, Helen, Wehrheim, Heike, Williams, David M., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Albert, Elvira, editor, and Sekerinski, Emil, editor

Published
2014
Full Text
View/download PDF

36. Linearizability Is Not Always a Safety Property

Author

Guerraoui, Rachid, Ruppert, Eric, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Noubir, Guevara, editor, and Raynal, Michel, editor

Published
2014
Full Text
View/download PDF

37. LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes

Author

Sánchez, Alejandro, Sánchez, César, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Biere, Armin, editor, and Bloem, Roderick, editor

Published
2014
Full Text
View/download PDF

38. Verifying LTL Properties of Hybrid Systems with K-Liveness

Author

Cimatti, Alessandro, Griggio, Alberto, Mover, Sergio, Tonetta, Stefano, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Biere, Armin, editor, and Bloem, Roderick, editor

Published
2014
Full Text
View/download PDF

39. Automatic Compositional Synthesis of Distributed Systems

Author

Damm, Werner, Finkbeiner, Bernd, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Jones, Cliff, editor, Pihlajasaari, Pekka, editor, and Sun, Jun, editor

Published
2014
Full Text
View/download PDF

41. On Promptness in Parity Games

Author

Mogavero, Fabio, Murano, Aniello, Sorrentino, Loredana, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, McMillan, Ken, editor, Middeldorp, Aart, editor, and Voronkov, Andrei, editor

Published
2013
Full Text
View/download PDF

42. Revisiting Weak Simulation for Substochastic Markov Chains

Author

Jansen, David N., Song, Lei, Zhang, Lijun, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Joshi, Kaustubh, editor, Siegle, Markus, editor, Stoelinga, Mariëlle, editor, and D’Argenio, Pedro R., editor

Published
2013
Full Text
View/download PDF

43. Characterizing Progress Properties of Concurrent Objects via Contextual Refinements

Author

Liang, Hongjin, Hoffmann, Jan, Feng, Xinyu, Shao, Zhong, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, D’Argenio, Pedro R., editor, and Melgratti, Hernán, editor

Published
2013
Full Text
View/download PDF

44. Multi-core Emptiness Checking of Timed Büchi Automata Using Inclusion Abstraction

Author

Laarman, Alfons, Olesen, Mads Chr., Dalsgaard, Andreas Engelbredt, Larsen, Kim Guldstrand, van de Pol, Jaco, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Sharygina, Natasha, editor, and Veith, Helmut, editor

Published
2013
Full Text
View/download PDF

45. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Author

Deniélou, Pierre-Malo, Yoshida, Nobuko, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Fomin, Fedor V., editor, Freivalds, Rūsiņš, editor, Kwiatkowska, Marta, editor, and Peleg, David, editor

Published
2013
Full Text
View/download PDF

46. Characterizing Fault-Tolerant Systems by Means of Simulation Relations

Author

Demasi, Ramiro, Castro, Pablo F., Maibaum, Thomas S. E., Aguirre, Nazareno, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

47. Formal Modelling and Verification of Population Protocols

Author

Méry, Dominique, Poppleton, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

48. Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement

Author

Prehofer, Christian, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

49. Extracting Hybrid Automata from Control Code

Author

Lyde, Steven, Might, Matthew, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Brat, Guillaume, editor, Rungta, Neha, editor, and Venet, Arnaud, editor

Published
2013
Full Text
View/download PDF

50. Improved on-the-Fly Livelock Detection : Combining Partial Order Reduction and Parallelism for dfs FIFO

Author

Laarman, Alfons, Faragó, David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Brat, Guillaume, editor, Rungta, Neha, editor, and Venet, Arnaud, editor

Published
2013
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results