Author:
Breuer Peter T.,Valls Marisol García
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Breuer, P.T., Bowen, J.P.: A PREttier Compiler-Compiler: Generating higher order parsers in C. Software — Practice & Experience 25(11), 1263–1297 (1995)
2. Breuer, P.T., Martínez Madrid, N., Sánchez, L., Marín, A., Delgado Kloos, C.: A formal method for specification and refinement of real-time systems. In: Proc. 8’th EuroMicro Workshop on Real Time Systems, July 1996, pp. 34–42. IEEE Press, L’aquilla (1996)
3. Breuer, P.T., Delgado Kloos, C., Martínez Madrid, N., López Marin, A., Sánchez, L.: A Refinement Calculus for the Synthesis of Verified Digital or Analog Hardware Descriptions in VHDL. ACM Transactions on Programming Languages and Systems (TOPLAS) 19(4), 586–616 (1997)
4. Lecture Notes in Computer Science;P.T. Breuer,2003
5. Chen, H., Wagner, D.: MOPS: An infrastructure for examining security properties of software. In: Proc. Ninth ACM Conference on Computer and Communications Security (CCS-9), Washington, DC, November 18-22 (2002)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. LockDoc;Proceedings of the Fourteenth EuroSys Conference 2019;2019-03-25
2. Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets;Arabian Journal for Science and Engineering;2016-12-09
3. MagicDetector: A Precise and Scalable Static Deadlock Detector for C/C++ Programs;Arabian Journal for Science and Engineering;2016-06-03
4. A formal nethod (a networked formal method);Innovations in Systems and Software Engineering;2010-01-21
5. Approximate verification in an open source world;Innovations in Systems and Software Engineering;2008-03-04