{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:15Z","timestamp":1750307115956,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,9]],"date-time":"2011-10-09T00:00:00Z","timestamp":1318118400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,9]]},"DOI":"10.1145\/2038698.2038723","type":"proceedings-article","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T14:29:11Z","timestamp":1318343351000},"page":"155-164","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Enabling parametric feasibility analysis in real-time calculus driven performance evaluation"],"prefix":"10.1145","author":[{"given":"Alena","family":"Simalatsar","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusi","family":"Ramadian","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lampka","sequence":"additional","affiliation":[{"name":"ETHZ, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Perathoner","sequence":"additional","affiliation":[{"name":"ETHZ, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Passerone","sequence":"additional","affiliation":[{"name":"University of Trento, Trento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lothar","family":"Thiele","sequence":"additional","affiliation":[{"name":"ETHZ, Zurich, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/646244.684357"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/167088.167242"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.029"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems: 4th Intl. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT","author":"Behrmann G.","year":"2004","unstructured":"G. Behrmann , R. David , and K. G. Larsen . A tutorial on Uppaal . In Formal Methods for the Design of Real-Time Systems: 4th Intl. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004 , pages 200 -- 236 . Springer , 2004. G. Behrmann, R. David, and K. G. Larsen. A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems: 4th Intl. School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, pages 200--236. Springer, 2004."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.103"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1740954.1741034"},{"key":"e_1_3_2_1_8_1","volume-title":"Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications","author":"Buttazzo G. C.","year":"1997","unstructured":"G. C. Buttazzo . Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications . Kluwer Academic Publishers , Norwell, MA, USA , 1997 . G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Norwell, MA, USA, 1997."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.21"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"A.\n      Cimatti E. M.\n      Clarke F.\n      Giunchiglia and \n      M.\n      Roveri\n  . \n  NuSMV: A New Symbolic Model Verifier\n  . In N. Halbwachs and D. Peled editors CAV'99 volume \n  1633\n   of \n  Lecture Notes in Computer Science pages \n  495\n  --\n  499\n  . \n  Springer 1999\n  .   A. Cimatti E. M. Clarke F. Giunchiglia and M. Roveri. NuSMV: A New Symbolic Model Verifier. In N. Halbwachs and D. Peled editors CAV'99 volume 1633 of Lecture Notes in Computer Science pages 495--499. Springer 1999.","DOI":"10.1007\/3-540-48683-6_44"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.36"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.26"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSD.2010.26"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/871910.871923"},{"issue":"2","key":"e_1_3_2_1_16_1","first-page":"148","volume":"152","author":"Henia R.","year":"2005","unstructured":"R. Henia , A. Hamann , M. Jersak , R. Racu , K. Richter , and R. Ernst . System Level Performance Analysis-The SymTA\/S Approach. IEEE Proc.-Computers and Digital Techniques , 152 ( 2 ): 148 -- 166 , 2005 . R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. System Level Performance Analysis-The SymTA\/S Approach. IEEE Proc.-Computers and Digital Techniques, 152(2):148--166, 2005.","journal-title":"System Level Performance Analysis-The SymTA\/S Approach. IEEE Proc.-Computers and Digital Techniques"},{"key":"e_1_3_2_1_17_1","first-page":"189","volume-title":"Linear Parametric Model Checking of Timed Automata. In TACAS'01","author":"Hune T.","year":"2001","unstructured":"T. Hune , J. Romijn , M. Stoelinga , and F. W. Vaandrager . Linear Parametric Model Checking of Timed Automata. In TACAS'01 , pages 189 -- 203 , London, UK , 2001 . Springer-Verlag. T. Hune, J. Romijn, M. Stoelinga, and F. W. Vaandrager. Linear Parametric Model Checking of Timed Automata. In TACAS'01, pages 189--203, London, UK, 2001. Springer-Verlag."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"e_1_3_2_1_19_1","volume-title":"Proc. of 19th Nordic Workshop on Programming Theory (NWPT07)","author":"Krcal P.","year":"2007","unstructured":"P. Krcal , L. Mokrushin , and W. Yi . A tool for compositional analysis of timed systems by abstraction (extended abstract) . In Proc. of 19th Nordic Workshop on Programming Theory (NWPT07) , October 2007 . P. Krcal, L. Mokrushin, and W. Yi. A tool for compositional analysis of timed systems by abstraction (extended abstract). In Proc. of 19th Nordic Workshop on Programming Theory (NWPT07), October 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629335.1629351"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-010-9055-1"},{"key":"e_1_3_2_1_22_1","volume-title":"Performance Specifications and Metrics for Adaptive Real-Time Systems. In RTSS'00","author":"Lu C.","year":"2000","unstructured":"C. Lu , J. A. Stankovic , T. F. Abdelzaher , G. Tao , S. H. Son , and M. Marley . Performance Specifications and Metrics for Adaptive Real-Time Systems. In RTSS'00 . IEEE Computer Society , 2000 . C. Lu, J. A. Stankovic, T. F. Abdelzaher, G. Tao, S. H. Son, and M. Marley. Performance Specifications and Metrics for Adaptive Real-Time Systems. In RTSS'00. IEEE Computer Society, 2000."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.30"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/519167.828781"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289959"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.16"},{"key":"e_1_3_2_1_27_1","volume-title":"Reasoning About the Trends and Challenges of System Level Design. Proc. of the IEEE, 95(3):467--506","author":"Sangiovanni-Vincentelli A. L.","year":"2007","unstructured":"A. L. Sangiovanni-Vincentelli . Quo Vadis , SLD? Reasoning About the Trends and Challenges of System Level Design. Proc. of the IEEE, 95(3):467--506 , March 2007 . A. L. Sangiovanni-Vincentelli. Quo Vadis, SLD? Reasoning About the Trends and Challenges of System Level Design. Proc. of the IEEE, 95(3):467--506, March 2007."},{"key":"e_1_3_2_1_28_1","first-page":"202","volume-title":"Statistical Model Checking of Black-Box Probabilistic Systems. In CAV'04","author":"Sen K.","year":"2004","unstructured":"K. Sen , M. Viswanathan , and G. Agha . Statistical Model Checking of Black-Box Probabilistic Systems. In CAV'04 , LNCS 3114, pages 202 -- 215 . Springer , 2004 . K. Sen, M. Viswanathan, and G. Agha. Statistical Model Checking of Black-Box Probabilistic Systems. In CAV'04, LNCS 3114, pages 202--215. Springer, 2004."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0019-5"},{"key":"e_1_3_2_1_32_1","series-title":"Lecture Notes in Computer Science","first-page":"114","volume-title":"European Educational Forum: School on Embedded Systems","author":"Yovine S.","year":"1996","unstructured":"S. Yovine . Model Checking Timed Automata . In G. Rozenberg and F. W. Vaandrager, editors, European Educational Forum: School on Embedded Systems , volume 1494 of Lecture Notes in Computer Science , pages 114 -- 152 . Springer , 1996 . S. Yovine. Model Checking Timed Automata. In G. Rozenberg and F. W. Vaandrager, editors, European Educational Forum: School on Embedded Systems, volume 1494 of Lecture Notes in Computer Science, pages 114--152. Springer, 1996."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.22"}],"event":{"name":"ESWeek '11: Seventh Embedded Systems Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Taipei Taiwan","acronym":"ESWeek '11"},"container-title":["Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038698.2038723","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2038698.2038723","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:15Z","timestamp":1750240095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038698.2038723"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,9]]},"references-count":33,"alternative-id":["10.1145\/2038698.2038723","10.1145\/2038698"],"URL":"https:\/\/doi.org\/10.1145\/2038698.2038723","relation":{},"subject":[],"published":{"date-parts":[[2011,10,9]]},"assertion":[{"value":"2011-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}