SYRF Selected References

Back to the SYRF Home Page

[2] Advanced Software Technology (ASTEC)--- Finite Domain Constraints in Industrial Development. Technical Annex, 1995.

[3] P. Amagbegnon, L. Besnard, and P. Le Guernic. Implementation of the data-flow synchronous language Signal. In ACM Symp. on Programming Languages Design and Implementation, 1995.

[4] P. Aubry, P. Le Guernic, and S. Machard. Synchronous distributions of Signal programs. In 27th Hawaii International Conference on System Sciences. Computer Society Press of the IEEE, January 1996.

[5] A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270--1282, September 1991.

[6] A. Benveniste, B. C. Levy, E. Fabre, and P. Le Guernic. A calculus of stochastic systems for the specification, simulation, and hidden state estimation of hybrid stochastic/nonstochastic systems. To appear in Theoretical Computer Science.

[7] G. Berry. Real time programming: Special purpose or general purpose languages. In IFIP World Computer Congress, San Francisco, 1989.

[8] G. Berry. A hardware implementation of pure Esterel. Sadhana, Academy Proceedings in Engineering Sciences, Indian Academy of Sciences, 17(1):95--130, 1992. Rapport Centre de Mathématiques Appliquées de l'Ecole des Mines de Paris, numéro 06/91.

[9] G. Berry. Preemption and concurrency. In Proc. FSTTCS 93, Lecture Notes in Computer Science 761, pages 72--93. Springer-Verlag, 1993.

[10] G. Berry. The semantics of pure Esterel. In M. Broy, editor, Program Design Calculi, volume 118 of Series F: Computer and System Sciences, pages 361--409. NATO ASI Series, 1993.

[11] G. Berry and G. Gonthier. The Esterel synchronous programming language: Design, semantics, implementation. Science of Computer Programming, 19(2):87--152, 1992.

[12] G. Berry, R. K. Shyamasundar, and S. Ramesh. Communicating reactive processes. In Proc. 20th ACM Conf. on Principles of Programming Languages, Charleston, Virginia, 1993.

[13] A. Borälv and H. Agren. Formal verification of Programmable Logic Controllers. Master's thesis, Computing Science Department, Uppsala University, November 1995. ISSN 1100-1836.

[14] G. Boudol, V. Roy, R. de Simone, and D. Vergamini. Process calculi, from theory to practice: Verification tools. In Automatic Verification Methods for Finite State Systems, LNCS 407, pages 1--10. Springer-Verlag, 1990.

[15] F. Boussinot and R. de Simone. The Esterel language. Proceedings of the IEEE, 79(9):1293--1304, September 1991.

[16] R. Budde. Esterel : Applied to the case study production cell. In C. Lewerentz and Th. Lindner, editors, Case Study ``Production Cell'': a Comparative Study in Formal Software Development. FZI-Publikation 940001, ISSN 0944-3037, Forschungszentrum Informatik, Karlsruhe, 1994.

[17] R. Budde, H.-H.  Sylla. Objektorientierte Echtzeit-Anwendungen auf Grundlage perfekter Synchronisation. In OBJEKTSpektrum, Nr.4, 1995.

[18] B. Carlsson. Compiling and executing finite domain constraints. PhD thesis, Computing Science Department, Uppsala University, 1995. Also available in SICS Dissertation Series.

[19] B. Carlsson and G. Stalmarck. A proof system for finite domain constraints. Manuscript, planned to be released in the spring, 1996.

[20] P. Caspi. Clocks in Dataflow languages. Theoretical Computer Science, vol. 94:125--140, 1992.

[21] P. Caspi. Lucid synchrone. In International Workshop on Principles of Parallel Computing (OPOPAC), November 1993.

[22] P. Caspi, A. Girault, and D. Pilaud. Distributing Reactive Systems. In Seventh International Conference on Parallel and Distributed Computing Systems, PDCS'94, Las Vegas, October 1994.

[23] S. Donikian and E. Rutten. Reactivity, concurrency, data flow and hierarchical preemption for behavioral animation. In 5th Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, the Netherlands, September 1995. Lecture Notes in Computer Science, Springer-Verlag.

[24] The Embedded Software Design Group. The Synchronous Approach to Designing Reactive Systems. In S. Gnesi,D. Latella, eds. Proceedings of the ERCIM Workshop on Formal Methodsfor Industrial Critical Applications, CNR Pisa, 1996.

[25] EP-ATR Project. Signal : a formal design environment for real time systems. In 6th International Joint Conference on Theory and Practice of Software Development, TAPSOFT '95, Aarhus, Denmark, May 1995. Lecture Notes in Computer Science 915, Springer-Verlag.

[26] A. Girault and P. Caspi. An algorithm for distributing a finite transition system on a shared/distributed memory system. In PARLE'92, Paris, July 1992.

[27] N. Halbwachs. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993.

[28] N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9):1305--1320, September 1991.

[29] N. Halbwachs, F. Lagnier, and C. Ratel. Programming and verifying real-time systems by means of the synchronous dataflow language Lustre. IEEE Trans. on Software Engineering, 18(9):785--793, September 1992.

[30] N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous observers and the verification of reactive systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993. Workshops in Computing, Springer Verlag.

[31] N. Halbwachs. Delay analysis in synchronous programs. In Fifth Conference on Computer-Aided Verification, Elounda (Greece), July 1993. LNCS 697, Springer Verlag.

[32] N. Halbwachs, Y.-E. Proy, and P. Raymond. Verification of linear hybrid systems by means of convex approximations. In International Symposium on Static Analysis, SAS'94, LNCS 864, Springer Verlag, September 1994.

[33] N. Halbwachs and F. Maraninchi. On the symbolic analysis of combinational loops in circuits and synchronous programs. Euromicro'95, Como (Italy), September 1995.

[34] L. Holenderski. Production cell in Lustre. In C. Lewerentz and Th. Lindner, editors, Case Study ``Production Cell'': a Comparative Study in Formal Software Development. FZI-Publikation 940001, ISSN 0944-3037, Forschungszentrum Informatik, Karlsruhe, 1994.

[35] F. Lagnier, P. Raymond, and C. Dubois. Formal verification of a critical system written in Saga/Lustre. In Workshop on Formal Methods, Modelling and Simulation for System Engineering, St Quentin en Yvelines (France, February 1995.

[36] P. Le Guernic, T. Gautier, M. LeBorgne, and C. LeMaire. Programming real time applications with Signal. Proceedings of the IEEE, 79(9):1321--1336, September 1991.

[37] O. Maffeis and P. Le Guernic. Distributed implementation of Signal: scheduling and graph clustering. In 3rd Internationl Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 863, Springer Verlag, September 1994.

[38] O. Maffeis and A. Poigné. Synchronous automata for reactive, real-time or embedded systems. Arbeitspapiere der GMD 967, GMD, Sankt Augustin, 1995.

[39] J. Malec, M. Morin, and S. Nadjm-Tehrani. A Layered Software Architecture for Design and Analysis of Embedded Systems. In Proc. of the International Symposium and Workshop on Systems Engineering of Computer-based Systems, pages 169--176. IEEE, March 1995.

[40] F. Maraninchi. Operational and compositional semantics of synchronous automaton compositions. In CONCUR'92, LNCS 630, Springer Verlag, August 1992.

[41] F. Maraninchi, and N. Halbwachs. Compositional semantics of non deterministic synchronous languages. In European Symposium on Programming, ESOP'96, Linköping, April 1996.

[42] E. Marchand, F. Chaumette, and E. Rutten. Real time active visual reconstruction using the synchronous paradigm. In IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS '95, Pittsburgh, Pennsylvania, August 1995.

[43] H. Marchand, E. Rutten, and M. Samaan. Synchronous design of a transformer station controller in Signal. In 4th IEEE Conference on Control Applications, CCA '95, Albany, New York, September 1995.

[44] A. Merceron. Checking Synchronous Programs using Automatic Abstraction, Modular Verification and Assumption Discharge. Arbeitspapiere der GMD, Nr.972, 1996.

[45] M. Morin, S. Nadjm-Tehrani, P. Österling, and E. Sandewall. Real-Time Hierarchical Control. IEEE Software, 9(5):51--57, September 1992.

[46] M. Morin. Predictable Cyclic Computations in Autonomous Systems: A Computational Model and Implementation. Licentiate thesis Liu-Tek-Lic-1992:44, Dept. of Computer Science, Linköping University, 1992.

[47] M. Muellerburg, L. Holenderski. Combining Verification and Testing for Validating Reactive Systems. In Proceedings of the Fourth European Conference on Software Quality: Concern for People. Züerich: Hochschulverlag AG, 1994.

[48] M. Müllerburg, L. Holenderski, O. Maffeis, and M. Morley. Systematic testing and formal verification to validate reactive programs. Software Quality Journal, 4(4):287--307, 1995.

[49] S. Nadjm-Tehrani and J-E. Strömberg. From physical modelling to compositional models of hybrid systems. In Proc. of the 3rd. International Conference on Formal Techniques in Real-time and Fault-tolerant Systems. pages 583--604, LNCS 863, Springer Verlag, !994.

[50] S. Nadjm-Tehrani and J-E. Strömberg. Proving dynamic properties in an aerospace application. In Proc. of the 16th International Symposium on Real-time Systems, pages 2--10. IEEE, December 1995.

[51] S. Nadjm-Tehrani and J-E. Strömberg Modelling and Formal Analysis of an Aircraft Landing Gear System, Proc. of the 2nd. European workshop on Real-time and Hybrid Systems, pages 239--246, VERIMAG Laboratory, Grenoble, May 1995.

[52] S. Nadjm-Tehrani. Reactive Systems in Physical Environments: Compositional Modelling and Framework for Verification. PhD thesis, Dept. of Computer and Information Science, Linköping University, March 1994. Dissertation No. 338.

[53] A. Poigné and L. Holenderski. Boolean automata for implementing pure Esterel. Arbeitspapiere der GMD 964, GMD, Sankt Augustin, 1995.

[54] V. Roy and R. de Simone. Auto and Autograph. In R. Kurshan, editor, proceedings of Workshop on Computer Aided Verification, New-Brunswick, June 1990.

[55] E. Rutten and P. Le Guernic. Sequencing and preempting data flow tasks. In 20th IFIP/IFAC Workshop on Real Time Programming, WRTP'95, Ft. Lauderdale, Florida, November 1995.

[56] E. Rutten and F. Martinez. Signal GTi : implementing task preemption and time intervals in the synchronous data flow language Signal. In 7th Euromicro Workshop on Real-Time Systems, Odense, Denmark, June 1995. IEEE.

[57] M. Säflund and G. Stalmarck. Modelling and verifying systems and software in propositional logic. Proceedings of 17th IFAC SAFECOMP, pp. 31-36, 1990.

[58] T. Shiple, G. Berry, and H. Touati. Constructive analysis of cyclic circuits. In Proc. International Design and Testing Conf (ITDC), Paris, 1996.

[59] U. Söderman. Conceptual modeling of mode switching physical systems. PhD thesis, Dept. of Computer and Information Science, Linköping University, May 1995. Dissertation no. 375.

[60] G. Stalmarck. A system for Determining Propositional Logic Theorems by Applying values and rules to Triplets that are Generated from a Formula. U.S. Patent No. 5 276 897, 1995.

[61] J-E. Strömberg. A Mode Switching Modelling Philosophy. PhD thesis, Dept. of Electrical Engineering, Linköping University, October 1994. Dissertation no. 353.

[62] J-E. Strömberg and S. Nadjm-Tehrani and J. Top Switched bond graphs as front-end to formal verification of hybrid systems. Proc. of the DIMACS International Workshop on Verification and Control of Hybrid Systems, To appear as LNCS, Springer Verlag, 1996.

[63] H. Touati and G. Berry. Optimized controller synthesis using esterel. In Proc. International Workshop on Logic Synthesis IWLS'93, Lake Tahoe, 1993.

[64] M. Westhead and S. Nadjm-Tehrani. A study of decompositional verification of hybrid systems. Technical Report LITH-IDA-R-95-30, Dept. of Computer and Information Science, Linköping University, September 1995. submitted for publication.