@article(AdalidGT15, author = {D.~Adalid and M.~Gallardo and L.~Titolo}, year = {2015}, title = {{Modeling Hybrid Systems in the Concurrent Constraint Paradigm}}, journal = {Electronic Proceedings in Theoretical Computer Science 173}, doi = {10.4204/EPTCS.173.1}, ) @book(WAM91, author = {H.~A\"{\i}t-Kaci}, year = {1991}, title = {Warren's Abstract Machine: A Tutorial Reconstruction}, publisher = {MIT Press}, address = {Cambridge, MA, USA}, ) @article(Alpuente200558, author = {M.~Alpuente and M.~del Mar~Gallardo and E.~Pimentel and A.~Villanueva}, year = {2005}, title = {Quantitative Aspects of Programming Languages (QAPL 2004) A semantic framework for the abstract model checking of tccp programs}, journal = {Theoretical Computer Science}, volume = {346}, number = {1}, pages = {58 -- 95}, doi = {10.1016/j.tcs.2005.08.009}, ) @inproceedings(Pascalin95, author = {P.~Amagb{\'e}gnon and L.~Besnard and P.~Le~Guernic}, year = {1995}, title = {Implementation of the Data-flow Synchronous Language SIGNAL}, booktitle = {Proceedings of the ACM SIGPLAN 1995 Conference on Programming Language Design and Implementation}, series = {PLDI '95}, publisher = {ACM}, address = {New York, NY, USA}, pages = {163--173}, doi = {10.1145/207110.207134}, ) @article(BagnaraHRZ05, author = {R.~Bagnara and P.M.~Hill and E.~Ricci and E.~Zaffanella}, year = {2005}, title = {Special Issue on the Static Analysis Symposium 2003 Precise widening operators for convex polyhedra}, journal = {Science of Computer Programming}, volume = {58}, number = {1}, pages = {28 -- 56}, doi = {10.1016/j.scico.2005.02.003}, ) @article(deBoerGM99, author = {F.~de~Boer and M.~Gabbrielli and M.~Meo}, year = {2000}, title = {A Timed Concurrent Constraint Language}, journal = {Information and Computation}, volume = {161}, number = {1}, pages = {45 -- 83}, doi = {10.1006/inco.1999.2879}, ) @article(Clark1986, author = {K.~Clark and S.~Gregory}, year = {1986}, title = {PARLOG: Parallel Programming in Logic}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {8}, number = {1}, pages = {1--49}, doi = {10.1145/5001.5390}, ) @article(CominiTV11absdiag, author = {M.~Comini and L.~Titolo and A.~Villanueva}, year = {2011}, title = {Abstract diagnosis for timed concurrent constraint programs}, journal = {{TPLP}}, volume = {11}, number = {4-5}, pages = {487--502}, doi = {10.1017/S1471068411000135}, ) @misc(scade_web, author = {{Esterel Technologies}}, year = {2016}, title = {{SCADE Suite}}, url = {http://www.esterel-technologies.com/products/scade-suite/}, ) @article(GamatieG10, author = {A.~Gamati{\'{e}} and T.~Gautier}, year = {2010}, title = {The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems}, journal = {IEEE Transactions on Parallel and Distributed Systems}, volume = {21}, number = {5}, pages = {641--657}, doi = {10.1109/TPDS.2009.125}, ) @inproceedings(GautierG87, author = {T.~Gautier and P.~Le~Guernic}, year = {1987}, title = {{SIGNAL: A declarative language for synchronous programming of real-time systems}}, editor = {G.~Kahn}, booktitle = {FPCA}, series = {Lecture Notes in Computer Science}, volume = {274}, publisher = {Springer}, pages = {257--277}, doi = {10.1007/3-540-18317-5\_15}, ) @article(Gregory1989, author = {S.~Gregory and I.T.~Foster and A.D.~Burt and G.A.~Ringwood}, year = {1989}, title = {An abstract machine for the implementation of PARLOG on uniprocessors}, journal = {New Generation Computing}, volume = {6}, number = {4}, pages = {389--420}, doi = {10.1007/BF03037448}, ) @inproceedings(Halbwachs05, author = {N.~Halbwachs}, year = {2005}, title = {A synchronous language at work: the story of Lustre}, booktitle = {Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05.}, pages = {3--11}, doi = {10.1109/MEMCOD.2005.1487884}, ) @article(Ha91, author = {N.~Halbwachs and P.~Caspi and P.~Raymond and D.~Pilaud}, year = {1991}, title = {The synchronous data flow programming language LUSTRE}, journal = {Proceedings of the IEEE}, volume = {79}, number = {9}, pages = {1305--1320}, doi = {10.1109/5.97300}, ) @article(Haridi1998, author = {S.~Haridi and P.~Van~Roy and P.~Brand and C.~Schulte}, year = {1998}, title = {Programming languages for distributed applications}, journal = {New Generation Computing}, volume = {16}, number = {3}, pages = {223--261}, doi = {10.1007/BF03037481}, ) @inproceedings(Kang13, author = {E.Y.~Kang and G.~Perrouin and P.Y.~Schobbens}, year = {2013}, title = {Model-Based Verification of Energy-Aware Real-Time Automotive Systems}, booktitle = {Engineering of Complex Computer Systems (ICECCS), 2013 18th International Conference on}, pages = {135--144}, doi = {10.1109/ICECCS.2013.27}, ) @article(Kowalski1988, author = {R.A.~Kowalski}, year = {1988}, title = {The Early Years of Logic Programming}, journal = {Commun. ACM}, volume = {31}, number = {1}, pages = {38--43}, doi = {10.1145/35043.35046}, ) @article(polychrony, author = {P.~Le~Guernic and J.-P.~Talpin and J.-C.~Le~Lann}, year = {2003}, title = {POLYCHRONY for System Design}, journal = {Journal of Circuits, Systems and Computers}, volume = {12}, number = {03}, pages = {261--303}, doi = {10.1142/S0218126603000763}, ) @article(Lescaylle200963, author = {A.~Lescaylle and A.~Villanueva}, year = {2009}, title = {The tccp Interpreter}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {258}, number = {1}, pages = {63 -- 77}, doi = {10.1016/j.entcs.2009.12.005}, ) @book(Parr2013, author = {T.~Parr}, year = {2013}, title = {The Definitive ANTLR 4 Reference}, edition = {2nd}, publisher = {Pragmatic Bookshelf}, ) @inproceedings(Qian15, author = {J.~Qian and J.~Liu and X.~Chen and J.~Sun}, year = {2015}, title = {Modeling and Verification of Zone Controller: The SCADE Experience in China's Railway Systems}, booktitle = {Complex Faults and Failures in Large Software Systems (COUFLESS), 2015 IEEE/ACM 1st International Workshop on}, pages = {48--54}, doi = {10.1109/COUFLESS.2015.15}, ) @inproceedings(SaraswatR90, author = {V.A.~Saraswat and M.~Rinard}, year = {1990}, title = {Concurrent Constraint Programming}, booktitle = {Proceedings of the 17th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, series = {POPL '90}, publisher = {ACM}, address = {New York, NY, USA}, pages = {232--245}, doi = {10.1145/96709.96733}, ) @misc(jacop_web, author = {J.~Sedlacek and T.~Hurka}, year = {2016}, title = {{JaCoP - Java Constraint Programming solver}}, url = {http://jacop.osolpro.com/}, ) @misc(Sjoland01, author = {T.~Sj\IeC{\"o}land and E.~Klintskog and S.~Haridi}, year = {2001}, title = {An interpreter for Timed Concurrent Constraints in Mozart (Extended Abstract)}, ) @inproceedings(Tuan10, author = {L.A.~Tuan and M.C.~Zheng and Q.T.~Tho}, year = {2010}, title = {Modeling and Verification of Safety Critical Systems: A Case Study on Pacemaker}, booktitle = {Secure Software Integration and Reliability Improvement (SSIRI), 2010 Fourth International Conference on}, pages = {23--32}, doi = {10.1109/SSIRI.2010.28}, ) @article(Ueda1990, author = {K.~Ueda and T.~Chikayama}, year = {1990}, title = {Design of the Kernel Language for the Parallel Inference Machine}, journal = {The Computer Journal}, volume = {33}, number = {6}, pages = {494--500}, doi = {10.1093/comjnl/33.6.494}, ) @inbook(Ueda1986, author = {K.~Ueda}, year = {1986}, title = {Logic Programming '85: Proceedings of the 4th Conference Tokyo, Japan, July 1--3, 1985}, chapter = {Guarded horn clauses}, pages = {168--179}, publisher = {Springer Berlin Heidelberg}, address = {Berlin, Heidelberg}, doi = {10.1007/3-540-16479-0\_17}, )