1 Abstractions for Model Checking of Event Timings (2007)
Jatindra K. Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti
Abstract--- Verification of timed temporal properties of a circuit is a computationally complex problem both in terms of space and time. In this paper we study different abstractions of timed systems...
Verifying concurrent message-passing C programs with recursive calls (2006)
S. Chaki, E. Clarke, N. Kidd, T. Reps, T. Touili
Abstract. We consider the model-checking problem for C programs with (1) data ranging over very large domains, (2) (recursive) procedure calls, and (3) concurrent parallel components that communicate...
Verifying Concurrent Message-Passing (2006)
Programs With Recursive, S. Chaki, E. Clarke, N. Kidd, T. Reps, T. Touili
We consider the model-checking problem for C programs with (1) data ranging over very large domains, (2) (recursive) procedure calls, and (3) concurrent parallel components that communicate via...
Verifying concurrent message-passing C programs with recursive calls (2006)
S. Chaki, E. Clarke, N. Kidd, T. Reps, T. Touili
Abstract. We consider the model-checking problem for C programs with (1) data ranging over very large domains, (2) (recursive) procedure calls, and (3) concurrent parallel components that communicate...
Efficient Verification of Sequential and Concurrent C Programs (2004)
S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, K Yorav
There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet automated...
Efficient verification of sequential and concurrent C programs (2004)
S. Chaki, E. Clarke, A. Groce, J. Ouaknine, K. Yorav
Abstract. There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet...
Efficient verification of sequential and concurrent C programs (2004)
S. Chaki, E. Clarke, A. Groce, J. Ouaknine, K. Yorav
Abstract. There has been considerable progress in the domain of software verification over the last few years. This advancement has been driven, to a large extent, by the emergence of powerful yet...
Abstraction and assume-guarantee reasoning for automated software verification (2004)
S. Chaki, E. Clarke, D. Giannakopoulou, C. S. Păsăreanu
Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is...
Integrating Publish/Subscribe into a Mobile Teamwork Support Platform (2003)
Chaki Fenkam Gall, S. Chaki, P. Fenkam, H. Gall, S. Jha, E. Kirda, ...
Software support for distributed and mobile collaboration is increasingly becoming a technological key issue in large and distributed enterprises. As employees are traveling or working in remote and...
Cloning, Expression and Regulation of Angiotensin II Receptors (1994)
Inagami, T., Iwai, N., Sasaki, K., Yamano, Y., Bardhan, S., Chaki, S., ...
Angiotensin II isoform 1 (AT1) receptor cDNAs were cloned by expression cloning from bovine adrenal and rat vascular smooth muscles. Human AT1 receptor was also cloned. Seven transmembrane structures...
A dual-parameter multichannel analyzer by a dual-computer system (1990)
Akimoto, T., Murai, I., Kato, S., Chaki, S., Shoji, I., Ogawa, Y., ...
The design and feasibility of a simple and practical system for measuring two-parameter signals is reported. A dual-parameter multichannel pulse-height analyzer (MCA) which uses two central...
A dual-parameter multichannel analyzer by a dual-computer system (1990)
Akimoto, T., Murai, I., Kato, S., Chaki, S., Shoji, I., Ogawa, Y.
The design and feasibility of a simple and practical system for measuring two-parameter signals is reported. A dual-parameter multichannel pulse-height analyzer (MCA) which uses two central...
A dual-parameter multichannel analyzer by a dual-computer system (1990)
Akimoto, T., Murai, I., Kato, S., Chaki, S., Shoji, I., Ogawa, Y.
The design and feasibility of a simple and practical system for measuring two-parameter signals is reported. A dual-parameter multichannel pulse-height analyzer (MCA) which uses two central...
A dual-parameter multichannel analyzer using a personal computer (1989)
Akimoto, T., Murai, I., Chaki, S., Ogawa, Y., Shoji, I, 秋本, 正
The design of a practical system for measuring two-parameter signals is reported. To obtain constantly changing energy spectral of nuclear reactor assemblies due to repeated insertion of pulsed...
A dual-parameter multichannel analyzer using a personal computer (1989)
Akimoto, T., Murai, I., Chaki, S., Ogawa, Y., Shoji, I
The design of a practical system for measuring two-parameter signals is reported. To obtain constantly changing energy spectral of nuclear reactor assemblies due to repeated insertion of pulsed...
A dual-parameter multichannel analyzer using a personal computer (1989)
Akimoto, T., Murai, I., Chaki, S., Ogawa, Y., Shoji, I
The design of a practical system for measuring two-parameter signals is reported. To obtain constantly changing energy spectral of nuclear reactor assemblies due to repeated insertion of pulsed...