Timed Model Checking with Abstractions
Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems
dc.contributor.author
Giannopoulou, Georgia
dc.contributor.author
Lampka, Kai
dc.contributor.author
Stoimenov, Nikolay
dc.contributor.author
Thiele, Lothar
dc.date.accessioned
2017-06-10T09:31:50Z
dc.date.available
2017-06-10T09:31:50Z
dc.date.issued
2012
dc.identifier.isbn
978-1-4503-1425-1
dc.identifier.other
10.1145/2380356.2380372
dc.identifier.uri
http://hdl.handle.net/20.500.11850/56286
dc.language.iso
en
dc.publisher
Association for Computing Machinery
dc.subject
Multi-core systems
dc.subject
Worst-case response time analysis
dc.subject
Resource contention
dc.title
Timed Model Checking with Abstractions
dc.type
Conference Paper
ethz.title.subtitle
Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems
ethz.book.title
Proceedings of the tenth ACM international conference on Embedded software
ethz.pages.start
63
ethz.pages.end
72
ethz.event
Eighth Conference Embedded System Week (ESWEEK 2012)
ethz.event.location
Tampere, Finland
ethz.event.date
October 7-12, 2012
ethz.identifier.wos
ethz.publication.place
New York, NY
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
ethz.date.deposited
2017-06-10T09:34:12Z
ethz.source
ECIT
ethz.identifier.importid
imp59364fcfa3ee844559
ethz.ecitpid
pub:90528
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T16:32:49Z
ethz.rosetta.lastUpdated
2024-02-01T19:29:18Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Timed%20Model%20Checking%20with%20Abstractions&rft.date=2012&rft.spage=63&rft.epage=72&rft.au=Giannopoulou,%20Georgia&Lampka,%20Kai&Stoimenov,%20Nikolay&Thiele,%20Lothar&rft.isbn=978-1-4503-1425-1&rft.genre=proceeding&rft_id=info:doi/10.1145/2380356.2380372&rft.btitle=Proceedings%20of%20the%20tenth%20ACM%20international%20conference%20on%20Embedded%20software
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [35113]