Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
133 Publications
2004 |
Published |
Conference Paper |
IST-REx-ID: 4577
An eclipse plug-in for model checking
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 12th IEEE International Workshop on Program Comprehension, IEEE, 2004, pp. 251–255.
View
| DOI
D. Beyer, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 12th IEEE International Workshop on Program Comprehension, IEEE, 2004, pp. 251–255.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4581
Generating tests from counterexamples
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 26th International Conference on Software Engineering, IEEE, 2004, pp. 326–335.
View
| DOI
D. Beyer, A. Chlipala, T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the 26th International Conference on Software Engineering, IEEE, 2004, pp. 326–335.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4525 |
Event-driven programming with logical execution times
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004, pp. 357–371.
[Preprint]
View
| DOI
| Download Preprint (ext.)
A. Ghosal, T.A. Henzinger, C. Kirsch, M. Sanvido, in:, Springer Nature, 2004, pp. 357–371.
2004 |
Published |
Journal Article |
IST-REx-ID: 4556 |
Stack size analysis for interrupt-driven programs
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
[Accepted Version]
View
| DOI
| Download Accepted Version (ext.)
K. Chatterjee, D. Ma, R. Majumdar, T. Zhao, T.A. Henzinger, J. Palsberg, Information and Computation 194 (2004) 144–174.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4555
Trading memory for randomness
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
View
| DOI
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, IEEE, 2004, pp. 206–217.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4458
Abstractions from proofs
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 2004, pp. 232–244.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, K. Mcmillan, in:, Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Association for Computing Machinery, 2004, pp. 232–244.
2004 |
Published |
Book Chapter |
IST-REx-ID: 4461 |
Extreme Model Checking
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer Nature, Berlin, 2004, pp. 332–358.
[Preprint]
View
| DOI
| Download Preprint (ext.)
T.A. Henzinger, R. Jhala, R. Majumdar, M. Sanvido, in:, Verification: Theory and Practice, Springer Nature, Berlin, 2004, pp. 332–358.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4459
Race checking by context inference
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2004, pp. 1–13.
View
| DOI
T.A. Henzinger, R. Jhala, R. Majumdar, in:, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2004, pp. 1–13.
2004 |
Published |
Journal Article |
IST-REx-ID: 4253 |
Coalescence in a Random Background
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
N.H. Barton, A. Etheridge, A. Sturm, Annals of Applied Probability 14 (2004) 754–785.
2004 |
Published |
Conference Paper |
IST-REx-ID: 4445
A typed assembly language for real-time programs
T.A. Henzinger, C. Kirsch, in:, Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–113.
View
| DOI
T.A. Henzinger, C. Kirsch, in:, Proceedings of the 4th ACM International Conference on Embedded Software, Association for Computing Machinery, 2004, pp. 104–113.
2004 |
Published |
Conference Paper |
IST-REx-ID: 3988 |
Local search heuristic for rigid protein docking
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Proceedings of the 4th International Workshop of Algorithms in Bioinformatics, Springer Nature, 2004, pp. 218–229.
[Preprint]
View
| DOI
| Download Preprint (ext.)
V. Choi, P. Agarwal, H. Edelsbrunner, J. Rudolph, in:, Proceedings of the 4th International Workshop of Algorithms in Bioinformatics, Springer Nature, 2004, pp. 218–229.
2004 |
Published |
Journal Article |
IST-REx-ID: 4224
Dpp gradient formation by dynamin-dependent endocytosis: receptor trafficking and the diffusion model
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
View
| DOI
| PubMed | Europe PMC
K. Kruse, P. Pantazis, M.T. Bollenbach, F. Julicher, M. Gonzalez Gaitan, Development 131 (2004) 4843–4856.
2004 |
Published |
Journal Article |
IST-REx-ID: 4172
Gastrulation dynamics: cells move into focus
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.
View
| DOI
| PubMed | Europe PMC
J. Montero, C.-P.J. Heisenberg, Trends in Cell Biology 14 (2004) 620–627.