/event/2021-10-28T00:00:00+00:00/event/facs21/2021-10-28T00:00:00+00:00/2021-10-28T00:00:00+00:00/event/coordination21/2021-06-15T00:00:00+00:00/event/f-ide21/2021-05-24T00:00:00+00:00/event/fsen21/2021-05-01T00:00:00+00:00/event/tacas21/2021-03-27T00:00:00+00:00/authors/2021-03-24T00:00:00+00:00/tag/cyber-physical-systems/2021-03-24T00:00:00+00:00/tag/formal-methods/2021-03-24T00:00:00+00:00/tag/hybrid-system/2021-03-24T00:00:00+00:00/author/jose-proenca/2021-03-24T00:00:00+00:00/author/luis-soares-barbosa/2021-03-24T00:00:00+00:00/post/2021-03-24T00:00:00+00:00/tag/programming-theory/2021-03-24T00:00:00+00:00/post/hybrid-programming/2021-03-24T00:00:00+00:00/author/renato-neves/2021-03-24T00:00:00+00:00/tag/simulation/2021-03-24T00:00:00+00:00/tags/2021-03-24T00:00:00+00:00/publication-type/1/2021-03-05T10:28:22+00:00/author/david-pereira/2021-03-05T10:28:22+00:00/tag/davinci/2021-03-05T10:28:22+00:00/author/eduardo-tovar/2021-03-05T10:28:22+00:00/author/giann-spilere-nandi/2021-03-05T10:28:22+00:00/author/jose-proenca/2021-03-05T10:28:22+00:00/publication_types/2021-03-05T10:28:22+00:00/publication/2021-03-05T10:28:22+00:00/tag/reassure/2021-03-05T10:28:22+00:00/tag/valu3s/2021-03-05T10:28:22+00:00/publication/nandi-dsl-2020/2021-03-05T10:28:22+00:00/publication-type/2/2020-11-02T00:10:00+01:00/author/bernhard-h.-c.-sputh/2020-11-02T00:10:00+01:00/author/eric-verhulst/2020-11-02T00:10:00+01:00/author/guillermina-cledou/2020-11-02T00:10:00+01:00/publication/cledou-hubs-2020/2020-11-02T00:10:00+01:00/tag/prefect/2020-11-02T00:10:00+01:00/tag/hybrid-programs/2020-10-24T13:38:32+01:00/publication/goncharov-implementing-ictac-20/2020-10-24T13:38:32+01:00/tag/klee/2020-10-24T13:38:32+01:00/tag/lince/2020-10-24T13:38:32+01:00/author/sergey-goncharov/2020-10-24T13:38:32+01:00/post/arcatools/2020-10-01T00:00:00+00:00/event/foclasa20/2020-09-15T00:00:00+00:00/event/coordination20/2020-06-15T00:00:00+00:00/publication-type/4/2020-10-22T13:58:20+01:00/author/bernhard-h.c.-sputh/2020-10-22T13:58:20+01:00/tag/compositional-semantics/2020-10-22T13:58:20+01:00/tag/coordination/2020-10-22T13:58:20+01:00/tag/ecsel-ju/2020-05-01T00:00:00+00:00/tag/h2020/2020-05-01T00:00:00+00:00/project/2020-05-01T00:00:00+00:00/tag/real-time-os/2020-10-22T13:58:20+01:00/tag/timed-automata/2020-10-22T13:58:20+01:00/tag/uppaal/2020-10-22T13:58:20+01:00/project/valu3s/2020-05-01T00:00:00+00:00/publication/cledou-verification-2020/2020-10-22T13:58:20+01:00/project/davinci/2020-04-01T00:00:00+00:00/tag/fct/2020-04-01T00:00:00+00:00/project/reassure/2020-04-01T00:00:00+00:00/project/klee/2020-02-01T00:00:00+00:00/publication-type/5/2020-10-10T00:22:36+01:00/publication/proenca-arx-2020/2020-01-01T00:00:00+00:00/publication/goncharov-implementing-2020/2020-10-10T00:22:33+01:00/author/markus-lumpe/2020-10-10T00:22:36+01:00/project/prefect/2020-01-01T00:00:00+00:00/publication/proenca-special-2020/2020-10-10T00:22:36+01:00/event/facs19/2019-10-23T00:00:00+00:00/event/f-ide19/2019-10-07T00:00:00+00:00/publication/goncharov-lince-2019/2020-10-22T13:56:10+01:00/event/foclasa19/2019-09-17T00:00:00+00:00/tag/trust/2019-09-01T00:00:00+00:00/project/trust/2019-09-01T00:00:00+00:00/event/coordination19/2019-06-17T00:00:00+00:00/event/fsen19/2019-05-01T00:00:00+00:00/author/alexandre-madeira/2020-10-10T00:22:33+01:00/publication/cledou-coordination-2019/2020-10-10T00:22:33+01:00/publication/monahan-proceedings-2019/2020-10-10T00:22:34+01:00/author/rosemary-monahan/2020-10-10T00:22:34+01:00/publication/proenca-taming-2019/2020-10-10T00:22:33+01:00/author/virgile-prevosto/2020-10-10T00:22:34+01:00/event/rebls18/2018-11-04T00:00:00+00:00/event/facs18/2018-10-10T00:00:00+00:00/event/foclasa18/2018-06-26T00:00:00+00:00/event/coordination18/2018-06-18T00:00:00+00:00/author/alcino-cunha/2020-10-10T00:22:39+01:00/author/hugo-pacheco/2020-10-10T00:22:34+01:00/author/jose-bacelar-almeida/2020-10-10T00:22:34+01:00/tag/lightkone/2018-01-01T00:00:00+00:00/project/lightkone/2018-01-01T00:00:00+00:00/author/nuno-macedo/2020-10-10T00:22:35+01:00/publication/cruz-reolive-2018/2020-10-10T00:22:34+01:00/author/ruben-cruz/2020-10-10T00:22:34+01:00/publication/almeida-teaching-2018/2020-10-10T00:22:34+01:00/event/facs17/2017-10-13T00:00:00+00:00/event/foclasa17/2017-09-04T00:00:00+00:00/event/coordination17/2017-06-19T00:00:00+00:00/event/fsen17/2017-04-26T00:00:00+00:00/publication/cledou-refinement-2017/2020-10-10T00:22:35+01:00/author/alberto-lluch-lafuente/2020-10-10T00:22:36+01:00/author/andre-santos/2020-10-10T00:22:35+01:00/author/carlos-baquero/2020-10-10T00:22:34+01:00/publication/cledou-composing-2017/2020-10-10T00:22:34+01:00/author/dave-clarke/2020-10-10T00:22:39+01:00/author/elvira-albert/2020-10-10T00:22:37+01:00/publication/halder-formal-2017/2020-10-10T00:22:35+01:00/author/ivan-lanese/2020-10-10T00:22:36+01:00/publication/proenca-formal-2017/2020-10-10T00:22:35+01:00/publication/proenca-quality-aware-2017/2020-10-10T00:22:34+01:00/tag/quarp/2020-10-10T00:22:34+01:00/author/raju-halder/2020-10-10T00:22:35+01:00/tag/reactive-programming/2020-10-10T00:22:34+01:00/publication/proenca-special-2017/2020-10-10T00:22:36+01:00/publication/proenca-typed-2017/2020-10-10T00:22:34+01:00/tag/emd/2016-12-31T00:00:00+00:00/project/emd/2016-12-31T00:00:00+00:00/tag/icon/2016-12-31T00:00:00+00:00/event/coordination16/2016-06-06T00:00:00+00:00/publication/jongmans-procedure-2016/2020-10-10T00:22:35+01:00/author/christophe-huygens/2020-10-10T00:22:35+01:00/author/danny-hughes/2020-10-10T00:22:37+01:00/author/dimitri-staessens/2020-10-10T00:22:35+01:00/publication/muschevici-feature-2016/2020-10-10T00:22:35+01:00/author/gowri-sankar-ramachandran/2020-10-10T00:22:36+01:00/publication/ramachandran-hitch-2016/2020-10-10T00:22:35+01:00/author/mario-pickavet/2020-10-10T00:22:35+01:00/publication/lluch-lafuente-coordination-2016/2020-10-10T00:22:35+01:00/author/radu-muschevici/2020-10-10T00:22:38+01:00/author/sung-shik-t.-q.-jongmans/2020-10-10T00:22:38+01:00/author/wilfried-daniels/2020-10-10T00:22:36+01:00/author/wouter-joosen/2020-10-10T00:22:36+01:00/tag/iof/2015-12-31T00:00:00+00:00/tag/transition/2015-12-31T00:00:00+00:00/project/transition/2015-12-31T00:00:00+00:00/event/foclasa15/2015-06-17T00:00:00+00:00/post/reactive-programming/2015-05-13T00:00:00+00:00/event/fsen15/2015-04-22T00:00:00+00:00/author/barry-porter/2020-10-10T00:22:36+01:00/publication/ramachandran-hitch-2015/2020-10-10T00:22:36+01:00/author/javier-camara/2020-10-10T00:22:36+01:00/author/massimo-tivoli/2020-10-10T00:22:36+01:00/author/nelson-matthys/2020-10-10T00:22:37+01:00/publication/camara-proceedings-2015/2020-10-10T00:22:36+01:00/publication/proenca-proceedings-2015/2020-10-10T00:22:36+01:00/publication/daniels-refraction-2015/2020-10-10T00:22:36+01:00/author/sam-michiels/2020-10-10T00:22:36+01:00/publication/daniels-tomography-2015/2020-10-10T00:22:36+01:00/publication/proenca-typed-2015/2020-10-10T00:22:36+01:00/event/foclasa14/2014-06-17T00:00:00+00:00/tag/fp7/2013-12-31T00:00:00+00:00/tag/hats/2013-12-31T00:00:00+00:00/project/hats/2013-12-31T00:00:00+00:00/tag/designertypelabs/2013-10-31T00:00:00+00:00/project/designertypelabs/2013-10-31T00:00:00+00:00/publication/proenca-data-2013/2020-10-10T00:22:37+01:00/publication/muschevici-executable-2013/2020-10-10T00:22:37+01:00/publication/proenca-interactive-2013/2020-10-10T00:22:37+01:00/publication/jongmans-procedure-2012/2020-10-10T00:22:38+01:00/publication/proenca-dreams-2012/2020-10-10T00:22:37+01:00/author/erik-p.-de-vink/2020-10-10T00:22:38+01:00/author/farhad-arbab/2020-10-10T00:22:39+01:00/publication/patrignani-formal-2012/2020-10-10T00:22:37+01:00/author/jan-schafer/2020-10-10T00:22:37+01:00/author/marco-patrignani/2020-10-10T00:22:37+01:00/publication/clarke-partial-2012/2020-10-10T00:22:37+01:00/author/peter-y.-h.-wong/2020-10-10T00:22:37+01:00/author/rudolf-schlatte/2020-10-10T00:22:38+01:00/publication/wong-abs-2012/2020-10-10T00:22:37+01:00/author/alexander-lazovik/2020-10-10T00:22:39+01:00/publication/clarke-channel-based-2011/2020-10-10T00:22:38+01:00/publication/proenca-decoupled-2011/2020-10-10T00:22:38+01:00/publication/muschevici-modular-2011/2020-10-10T00:22:38+01:00/publication/muschevici-feature-2010/2020-10-10T00:22:38+01:00/author/ina-schaefer/2020-10-10T00:22:38+01:00/publication/clarke-towards-2010/2020-10-10T00:22:38+01:00/publication/clarke-variability-2010/2020-10-10T00:22:38+01:00/post/friday-puzzles/2009-10-01T00:00:00+00:00/publication/clarke-coordination-2009/2020-10-10T00:22:39+01:00/publication/clarke-deconstructing-2009/2020-10-10T00:22:39+01:00/author/christian-koehler/2020-10-10T00:22:39+01:00/publication/proenca-coordination-2008/2020-10-10T00:22:39+01:00/author/david-costa/2020-10-10T00:22:39+01:00/publication/koehler-reconfiguration-2008/2020-10-10T00:22:39+01:00/tag/pure/2005-12-31T00:00:00+00:00/project/pure/2005-12-31T00:00:00+00:00/publication/cunha-framework-2005/2020-10-10T00:22:39+01:00/author/jorge-sousa-pinto/2020-10-10T00:22:39+01:00/categories//post-old//talk-old/