Publications

Search results for wp4  [Reset Search]
2015
A. V. C. Hulst, M. A. Reniers, and W. J. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, {ACM} Trans. Embedded Comput. Syst., vol. 14, p. 10:1–10:21, 2015.
A. van Hulst, M. A. Reniers, and W. J. Fokkink, “Maximally Permissive Controlled System Synthesis for Modal Logic”, in SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněżkou, Czech Republic, January 24-29, 2015. Proceedings, 2015.
V. A. Braberman, N. D'Ippolito, J. Kramer, D. Sykes, and S. Uchitel, “{MORPH:} {A} Reference Architecture for Configuration and Behaviour Self-Adaptation”, CoRR, vol. abs/1504.08339, 2015.
P. F. Castro, C. Kilmurray, and N. Piterman, “A Recursive Temporal Logic”, in 17th International Conference on Formal Engineering Methods, 2015.
M. D. Lee and E. P. de Vink, “Rooted branching bisimulation as a congruence for probabilistic transition systems”, in Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, {QAPL} 2015, London, UK, 11th-12th April 2015., 2015.
A. Filieri, et al., “Software Engineering Meets Control Theory”, in 10th {IEEE/ACM} International Symposium on Software Engineering for Adaptive and Self-Managing Systems, {SEAMS} 2015, Florence, Italy, May 18-19, 2015, 2015.
S. Sardiña and N. D'Ippolito, “Towards Fully Observable Non-Deterministic Planning as Assumption-based Automatic Synthesis”, in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015.
P. F. Castro, C. Kilmurray, and N. Piterman, “Tractable Probabilistic mu-Calculus That Expresses Probabilistic Temporal Logics”, in 32nd Symposium on Theoretical Aspects of Computer Science, 2015.
2014
C. Bruni, G. Chari, I. Stasenko, and S. Ducasse, “Benzo: Reflective Glue for Low-level Programming”, in Proceedings of the International Workshop on Smalltalk Technologies, 2014.
N. D'Ippolito, V. A. Braberman, N. Piterman, and S. Uchitel, “Controllability in Partial and Uncertain Environments”, in 14th International Conference on Application of Concurrency to System Design, Tunis, Tunisia, 2014.PDF iconpaper.pdf (696.41 KB)
N. D'Ippolito, V. A. Braberman, J. Kramer, J. Magee, D. Sykes, and S. Uchitel, “Hope for the best, prepare for the worst: multi-tier control for adaptive systems”, in 36th International Conference on Software Engineering, {ICSE} '14, Hyderabad, India - May 31 - June 07, 2014, 2014.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic with the Box Modality”, in 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., 2014.
V. A. Braberman, D. Garbervetsky, S. Hym, and S. Yovine, “Summary-based inference of quantitative bounds of live heap objects”, Sci. Comput. Program., vol. 92, p. 56–84, 2014.
J. M. van de Mortel{-}Fronczak, R. G. M. Huisman, M. H. R. van der Heijden, and M. A. Reniers, “Supervisor synthesis in model-based automotive systems engineering”, in ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, 2014.
C. Baier, J. Klein, and S. Klüppelholz, “Synthesis of Reo Connectors for Strategies and Controllers”, Fundamenta Informaticae, vol. 130, p. 1–20, 2014.
R. Castaño, J. P. Galeotti, D. Garbervetsky, J. Tapicer, and E. Zoppi, “On Verifying Resource Contracts using Code Contracts”, in Proceedings First Latin American Workshop on Formal Methods, {LAFM} 2013, Buenos Aires, Argentina, August 26th 2013., 2014.
2013
CONCUR 2013 - Concurrency Theory - 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings”, Lecture Notes in Computer Science, vol. 8052. 2013.
R. Bruni, H. C. Melgratti, U. Montanari, and P. Sobocinski, “Connector algebras for C/E and P/T nets interactions”, Logical Methods in Computer Science, vol. 9, no. 16, p. 1–65, 2013.
V. A. Braberman, N. D'Ippolito, N. Piterman, D. Sykes, and S. Uchitel, “Controller synthesis: from modelling to enactment”, in ICSE, 2013.
H. Ponce de León, G. Bonigo, and L. Brandán Briones, “Distributed analysis of diagnosability in concurrent systems”, in Proceedings of the 24th International Workshop on Principles of Diagnosis (DX'13), 2013.
J. Markovski, E. E. S. Musa, and M. A. Reniers, “Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking”, Electr. Notes Theor. Comput. Sci., vol. 296, p. 163-181, 2013.
Formal Modeling and Analysis of Timed Systems - 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings”, FORMATS, vol. 8053. 2013.
A. van Hulst, M. A. Reniers, and W. Fokkink, “Maximal Synthesis for Hennessy-Milner Logic”, in ACSD, 2013.
J. Markovski, “Process-theoretic supervisor synthesis framework with data”, in ICCA, 2013.

Pages