Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for TASM with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2006-2021 (10)
Publication types (Num. hits)
article(2) inproceedings(8)
Venues (Conferences, Journals, ...)
ICDE(2) Ada-Europe(1) APSEC(1) CAV(1) Clust. Comput.(1) CoRR(1) ICECCS(1) MoDELS (Workshops)(1) QoSA(1)
Authors
Kristina Lundqvist(5) Martin Ouimet(3) Amrita Mazumdar(2) Brandon Haynes(2) Dong He 0002(2) Magdalena Balazinska(2) Maureen Daum(2) Alvin Cheung(1) Denilson Barbosa 0001(1) Dianfu Ma(1) Guillaume Berteau(1) Jean-Paul Bodeveix(1) Jiale Zhou(1) Kai Hu 0004(1) Kiran Jyoti(1) Lars Grunske(1) More (+10 of total 26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 10 publication records. Showing 10 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
88Martin Ouimet, Kristina Lundqvist The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems. Search on Bibsonomy CAV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
63Stefan Björnander, Lars Grunske, Kristina Lundqvist Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines. Search on Bibsonomy QoSA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Behavior Annex, TASM, Translation, AADL
61Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu 0004, Dianfu Ma A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts. Search on Bibsonomy ICECCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
53Martin Ouimet, Guillaume Berteau, Kristina Lundqvist Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset. Search on Bibsonomy MoDELS (Workshops) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification
35Maureen Daum, Brandon Haynes, Dong He 0002, Amrita Mazumdar, Magdalena Balazinska TASM: A Tile-Based Storage Manager for Video Analytics. Search on Bibsonomy ICDE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
35Maureen Daum, Brandon Haynes, Dong He 0002, Amrita Mazumdar, Magdalena Balazinska, Alvin Cheung TASM: A Tile-Based Storage Manager for Video Analytics. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
35Parminder Singh, Pooja Gupta, Kiran Jyoti TASM: technocrat ARIMA and SVR model for workload prediction of web applications in cloud. Search on Bibsonomy Clust. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
35Jiale Zhou, Yue Lu 0005, Kristina Lundqvist A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems. Search on Bibsonomy Ada-Europe The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
35Nikolaus Augsten, Denilson Barbosa 0001, Michael H. Böhlen, Themis Palpanas TASM: Top-k Approximate Subtree Matching. Search on Bibsonomy ICDE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
35Martin Ouimet, Kristina Lundqvist The TASM Language and the Hi-Five Framework: Specification, Validation, and Verification of Embedded Real-Time Systems. Search on Bibsonomy APSEC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #10 of 10 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license