Model-based Computing - List of Publications

Modeling

Vineet Gupta, Vijay A. Saraswat, Peter Struss. Modeling a Photocopier Paper Path. Proceedings of the Second IJCAI Workshop on Engineering Problems for Qualitative Reasoning, Montreal, August 1995.

Hao-Chi Wong, Markus P.J. Fromherz, Vineet Gupta, Vijay A. Saraswat. Control-based programming of electro-mechanical controllers. Proceedings of the IJCAI Workshop on Executable Temporal Logics, Montreal, August 1995.

Vineet Gupta, Peter Struss. Modeling a Copier Paper Path: A Case Study in Modeling Transportation Processes. Proceedings of the Ninth Qualitative Reasoning Workshop, Amsterdam, May 1995.

Yumi Iwasaki, Adam Farquhar, Daniel G. Bobrow, Vijay A. Saraswat, Vineet Gupta. Modeling Time in Hybrid Systems: How fast is "Instantaneous"?. The Proceedings of IJCAI 1995, Montreal, August 1995.

Scheduling

Markus P.J. Fromherz, John Conley. Issues in Reactive Constraint Solving. Workshop on Concurrent Constraint Programming for Time Critical Applications - COTIC 97, CP'97, Linz, Austria, November 1997.

Lise Getoor, Greger Ottosson, Markus P.J. Fromherz, Björn Carlson. Effective Redundant Constraints for Online Scheduling. AAAI'97, Providence, Rhode Island, July 1997, pp. 302-307.

Markus P.J. Fromherz, Vijay A. Saraswat. Model-Based Computing: Using Concurrent Constraint Programming for Modeling and Model Compilation. U. Montanari, F. Rossi (eds.), Principles and Practice of Constraint Programming - CP'95, Springer-Verlag, LNCS 976, Sept. 1995, pp. 629-635.

Markus P.J. Fromherz, Vijay A. Saraswat. Model-Based Computing: Constructing Constraint-Based Software for Electro-Mechanical Systems. Practical Applications of Constraint Technology, Paris, France, April 7, 1995, pp. 63-66.

Markus P.J. Fromherz, Björn Carlson. Optimal Incremental and Anytime Scheduling. Pierre Lim, Jean Jourdan (eds.), Workshop on Constraint Languages/Systems and their Use in Problem Modelling, ILPS'94, Nov. 1994, Syracuse, N.Y., USA; European Computer-Industry Research Centre, TR ECRC-94-38, pp. 45-59.

Design

Flavio M. Varejao, Markus P.J. Fromherz, Ana C. Bicharra Garcia, Clarisse S. de Souza. An Integrated Framework for the Specification and Design of Reprographic Machines. Thirteenth Int. Conf. on Applications of Artificial Intelligence in Engineering (AIENG'98), Galway, Ireland, Computational Mechanics Publications, July 1998.

Ravi Kapadia, Markus P.J. Fromherz. Design Optimization with Uncertain Application Knowledge. Don Potter et al. (eds.), Industrial and Engineering Applications of Artificial Intelligence and Expert Systems 1997 - IEA-AIE'97, Gordon and Breach Science Publishers, Atlanta, GA, June 1997, pp. 421-431.

Ravi Kapadia, Gautam Biswas, Markus P.J. Fromherz. Hybrid Modeling for Smart System Design. FLAIRS'97 Special Track on Models and Applications for Design, Daytona Beach, FL, May 1997.

Markus P.J. Fromherz, Ravi Kapadia. Towards Model-based Design Optimization of Electro-mechanical Systems. PARC TR, May 1996 (longer version of an AID'96 workshop paper).

Language Design

Bjorn Carlson, Vineet Gupta. An implementation of Hybrid CC. Submitted for publication, April 1996.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. Hybrid CC, Hybrid Automata and Program Verification. Hybrid Systems Workshop, DIMACS, Rutgers, October 1995. Proceedings of Hybrid Systems III, edited by Alur, Henzinger and Sontag, LNCS 1066, Springer Verlag.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. Computing with Continuous Change. To appear in Science of Computer Programming, 1996.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat, Danny G. Bobrow. Programming in Hybrid Constraint Languages. Hybrid Systems Workshop, Cornell, October 1994. Hybrid Systems II, LNCS 999, Springer Verlag.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta. Timed Default Concurrent Constraint Programming. To appear in Journal of Symbolic Computation, 1996. Extended abstract published in Proc. of the 22nd Ann. ACM SIGPLAN SIGACT Sym. on the Principles of Prog. Lang., San Francisco, January 1995.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta. Foundations of Timed Concurrent Constraint Programming. Proc. of Ninth Ann. IEEE Sym. on Logic in Computer Science, Paris, July 1994.

Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta. Programming in Timed Concurrent Constraint Languages. Constraint Programming, edited by B Mayoh, E Tougu and J Penjam, Springer Verlag, 1994.

CC Languages

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. Probabilistic Concurrent Constraint Programming. Proceedings of CONCUR 97, edited by Mazurkiewicz and Winkowski, Springer Verlag 1997.

Markus Fromherz, Vineet Gupta, Vijay A. Saraswat. cc -- A Generic Framework for Domain Specific Languages. POPL Workshop on Domain Specific Languages, Paris, January 1997.

Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat. Truly Concurrent Constraint Programming. Proceedings of CONCUR 96, edited by Montanari and Sassone, LNCS 1119, Springer Verlag 1996.

Vijay A. Saraswat. The category of constraint systems is Cartesian-closed . Proceedings of the Seventh Ann. IEEE. Symp. on Logic in Computer Science, Santa Cruz, July 1992.

Vijay A. Saraswat and Patrick Lincoln. Higher-order, linear, concurrent constraint programming . Technical Report, Xerox PARC, 1992.

Radha Jagadeesan, Vijay A. Saraswat, Vasant Shanbhogue. Angelic non-determinism in concurrent constraint programming. Technical Report, Xerox PARC, 1992.

Vijay A. Saraswat, Martin Rinard and Prakash Panangaden. Semantic foundations of concurrent constraint programming . Proc. of the 18th Ann. ACM-SIGPLAN-SIGACT Sym. on the Principles of Prog. Lang., Orlando, January 1991.