|
|
- M. Chechik, Benet Devereux, Arie Gurfinkel, and Steve Easterbrook.
``Multi-Valued Symbolic Model-Checking'', ACM Transactions on Software Engineering and Methodology, vol. 12, pp. 1-38, October, 2003
PS
PDF
Abstract
- M. Chechik and D. Paun.
``On Closure Under Stuttering'', Formal Aspects of Computing, pp. 342-368, 2003
PS
PDF
Abstract
- M. Chechik and A. Gurfinkel.
``TLQSolver: A Temporal Logic Query Checker'', in Proceedings of 15th International Conference on Computer Aided Verification (CAV'03), pp. 210-214, July, 2003
PS
PDF
Abstract
- M. Chechik and W. MacCaull.
``CTL Model-Checking Over Logics with Non-Classical Negations'', in Proceedings of 33rd IEEE International Conference on Multi-Valued Logics (ISMVL'03), pp. 293-300, May, 2003
PS
PDF
Abstract
- B. Devereux and M. Chechik.
``Edge-Shifted Decision Diagrams for Multi-Valued Logic'', Journal of Multi-Valued Logic and Soft Computing, vol. 9, pp. 59-86, 2003
PS
PDF
Abstract
- B. Devereux.
``Compositional Reasoning About Aspects Using Alternating-Time Logic'', in Proceedings of FOAL Workshop on Foundations of Aspect Languages, pp. 40-43, March, 2003
PS
PDF
Abstract
- S. E. Sim, S. M. Easterbrook, and R. C. Holt.
``Using Benchmarking to Advance Research: A Challenge to Software Engineering'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
PS
PDF
Abstract
- S. M. Easterbrook, M. Chechik, B. Devereux, A. Gurfinkel, A. Lai, V. Petrovykh, A. Tafliovich, and C. Thompson-Walsh.
``XChek: A Model Checker for Multi-Valued Reasoning'', in Proceedings, 25th International Conference on Software Engineering, Portland, Oregon, May, 2003
PS
PDF
Abstract
- M. Gheorghiu and J. A. Brzozowski.
``Simulation of Feedback-Free Circuits in the Algebra of Transients'', Int. J. Foundations of Computer Science, vol. 14, pp. 1033-1054, December, 2003
PS
PDF
Abstract
- M. Gheorghiu and J. A. Brzozowski.
``Feedback-Free Circuits in the Algebra of Transients'', Implementation and Application of Automata, Springer Lecture Notes in Computer Science, pp. 106-116, June, 2003
PS
PDF
Abstract
- J. A. Brzozowski and M. Gheorghiu.
``Simulation of Gate Circuits in the Algebra of Transients'', Implementation and Application of Automata, Springer Lecture Notes in Computer Science, pp. 57-66, June, 2003
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``Proof-like Counterexamples'', in Proceedings of 9th International Conference on Toolsand Algorithms for the Construction and Analysis ofSystems (TACAS'03), Warsaw, Poland, pp. 160--175, April, 2003
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``Multi-Valued Model-Checking via ClassicalModel-Checking'', in Proceedings of 14th International Conferenceon Concurrency Theory (CONCUR'03), Marseille, France, pp. 263-277, September, 2003
PS
PDF
Abstract
- A. Gurfinkel, M. Chechik, and B. Devereux.
``Temporal Logic Query Checking: A Tool for Model Exploration'', IEEE Transactions on Software Engineering, vol. 29, pp. 898-914, October, 2003
PS
PDF
Abstract
- A. Gurfinkel and M. Chechik.
``Generating Counterexamples for Multi-Valued Model-Checking'', in Proceedings of Formal Methods Europe (FME'03), Pisa, Italy, pp. 503--521, September, 2003
PS
PDF
Abstract
- E.C.R.Hehner, T.S.Norvell, and R.F.Paige.
`` High-Level Circuit Design'', chapter 18 in Programming Methodology, pp. 318-412, 2003
PS
PDF
Abstract
- Y. Jia.
``Run-time Management for Feature Interactions'', in 6th Workshop on Component-Based Software Engineering joint held with 25th ICSE, May 3-9, 2003
PS
PDF
Abstract
- W. Liu and S. M. Easterbrook.
``Eliciting Architectural Decisions from Requirements using a Rule-based Framework'', in Proceedings of the Second International Workshop From Software Requirements to Architectures (STRAW'03), co-located with ICSE
2003, Portland, Oregon, May, 2003
PS
PDF
Abstract
- W. Liu and S. M. Easterbrook.
``Rule-based Inconsistency Management'', CSRG Technical Report, Department of Computer Science, University of Toronto, August, 2003
PS
PDF
Abstract
- W. Liu.
``Democracy in Requirements Negotiation: a survey of social choice theory and its impact on requirements negotiation'', CSRG Technical Report, Department of Computer Science, University of Toronto, June, 2003
PS
PDF
Abstract
- S. Nejati.
``Refinement Relations on Partial Specifications''
, Master Thesis,
Department of Computer Science, University of Toronto, Toronto, Ontario, Canada, June, 2003
PS
PDF
Abstract
- S. Nejati and A. Gurfinkel.
``Stuttering Refinement on Partial Systems'', in Proceedings of the Eighteenth Annual IEEE Symp.on Logic in Computer Science (LICS'03), Short Paper, June, 2003
PS
PDF
Abstract
- N. Nui.
``Formally Understanding the Behavior of a Framework's Transaction Management''
, Master Thesis,
Department of Computing Science, University of Alberta, Edmonton, Alberta, Canada, Fall, 2003
PS
PDF
Abstract
- Jorg Sander, Xuejie Qin, Zhiyong Lu, Nan Niu, and Alex Kovarsky.
``Automatic Extraction of Clusters from Hierarchical Clustering Representations'', in Proceedings of 7th Pacific-Area Conference on Knowledge Discovery and Data Mining (PAKDD 2003), Seoul, Korea, April 30 - May 2, 2003
PS
PDF
Abstract
- M. Sabetzadeh and S. Easterbrook.
``Analysis of Inconsistency in Graph-Based Viewpoints: A Category-Theoretic Approach'', in Proceedings of the 18th IEEE International Conference on Automated Software Engineering, pp. 12--21, October, 2003
PS
PDF
Abstract
- M. Sabetzadeh.
``A Category-Theoretic Approach to Representation and Analysis of Inconsistency in Graph-Based Viewpoints''
, Master Thesis,
Department of Computer Science, University of Toronto2003
PS
PDF
Abstract
|
