researchr - search publication etaps

researchr

You are not signed in
Sign in
Sign up

247 publication results matching 'etaps'

Theory and Practice of Timed Systems, Satellite Event of ETAPS 2002, Grenoble, France, April 6-7, 2002Eugene Asarin, Oded Maler, Sergio Yovine, editors, Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Synchronous Languages, Applications, and Programming, SLAP 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 13, 2002Florence Maraninchi, Alain Girault, Éric Rutten, editors, Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Validation and Implementation of Scenario-based Specifications, VISS 2002, Satellite Event of ETAPS 2002, Grenoble, France, April 6-14, 2002Benoît Caillaud, Anca Muscholl, editors, Volume 65 of Electronic Notes in Theoretical Computer Science, Elsevier, 2002. [doi]
Proceedings of the First Workshop on Hybrid Autonomous Systems, affiliated to ETAPS 2011, Saarbrücken, Germany, 2011Martin Fränzle, Antonios Tsourdos, editors, Volume 297 of Electronic Notes in Theoretical Computer Science, Elsevier, 2013. [doi]
From Programs to Systems. The Systems perspective in Computing - ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. ProceedingsSaddek Bensalem, Yassine Lakhneck, Axel Legay, editors, Volume 8415 of Lecture Notes in Computer Science, Springer, 2014. [doi]
Proceedings of the 5th International Workshop on Bidirectional Transformations, Bx 2016, co-located with The European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 8, 2016Anthony Anjorin, Jeremy Gibbons, editors, Volume 1571 of CEUR Workshop Proceedings, CEUR-WS.org, 2016. [doi]
ETAPS 98 Trip ReportWilliam L. Scherlis. SIGPLAN, 33(9):18-19, 1998.
Report on ETAPS 2000José Meseguer. sigsoft, 26(1):39, 2001. [doi]
On the Roots, Birth and Childhood of ETAPSHartmut Ehrig. eatcs, 74:58-60, 2001.
ETAPS 99 - Conference ReportYanhong A. Liu, Scott D. Stoller. SIGPLAN, 34(6):16-17, 1999.
ETAPS Award Laudatio for Kohei HondaVladimiro Sassone. eatcs, 112, 2014. [doi]
ETAP: Experimental Typesetting Algorithms PlatformDidier Verna. els 2022: 48-52 [doi]
<L|ETAP> Model for an Adaptive Tutoring SystemEugenia Kovatcheva. bci 2012: 16-20 [doi]
A Microgrid's Construction based on a Research Report using ETAPRishi Sikka, Kiran Bala. ic3i 2022: 521-525 [doi]
ETAP-Based Micro-Grid Transmission CoordinationRishi Sikka, Anamol Gautam. ic3i 2022: 548-552 [doi]
ETAP: Energy-aware Timing Analysis of Intermittent ProgramsFerhat Erata, Eren Yildiz, Arda Goknil, Kasim Sinan Yildirim, Jakub Szefer, Ruzica Piskac, Gökçin Sezgin. tecs, 22(2), March 2023. [doi]
The Unmet Challenge of Timed SystemsOded Maler. etaps 2014: 177-192 [doi]
Automated Inversion of Attribute Mappings in Bidirectional Model TransformationsMax E. Kramer, Kirill Rakhman. etaps 2016: 61-76 [doi]
Towards a Graph Grammar-Based Approach to Inter-Model Consistency Checks with Traceability SupportErhan Leblebici. etaps 2016: 35-39 [doi]
Existing and New Ideas on Least Change Triple Graph GrammarsMilica Stojkovic, Sven Laux, Anthony Anjorin. etaps 2017: 1-5 [doi]

Sign in or sign up to see more results.

runs on WebDSL