Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1995-1999 (22) 2000-2001 (22) 2002-2003 (23) 2004 (25) 2005 (27) 2006 (28) 2007 (26) 2008 (24) 2009 (25) 2010-2011 (22) 2012-2013 (28) 2014-2015 (21) 2016-2017 (28) 2018-2019 (21) 2020 (16) 2021 (18) 2022-2023 (26) 2024 (1)
Publication types (Num. hits)
article(77) incollection(2) inproceedings(324)
Venues (Conferences, Journals, ...)
FORMATS(15) TACAS(13) CoRR(12) Int. J. Softw. Tools Technol. ...(10) Formal Aspects Comput.(9) ICFEM(9) CAV(7) FM(7) EMSOFT(5) ETFA(5) FMICS(5) FORTE(5) IFM(5) SEFM(5) ECBS(4) FATES(4) More (+10 of total 224)
Authors
Kim Guldstrand Larsen(66) Paul Pettersson(37) Wang Yi 0001(29) Alexandre David(20) Gerd Behrmann(20) Brian Nielsen(18) Kim G. Larsen(15) Marius Mikucionis(15) Arne Skou(12) Libero Nigro(12) Frits W. Vaandrager(11) Rheeya Uppaal(11) Ansgar Fehnker(10) Peter Gjøl Jensen(9) Angelo Furfaro(8) Axel Legay(8) More (+10 of total 758)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 268 occurrences of 137 keywords
Results
Found 404 publication records. Showing 403 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
12Howard Bowman Modelling Timeouts without Timelocks. Search on Bibsonomy ARTS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
12Luca Aceto, Augusto Burgueño, Kim Guldstrand Larsen Model Checking via Reachability Testing for Timed Automata. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
12Rajeev Alur, Thomas A. Henzinger Real-Time System = Discrete System + Clock Variables. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Clock variables, Semantics and verification, Real-time systems, Real-time programs
Displaying result #401 - #403 of 403 (100 per page; Change: )
Pages: [<<][1][2][3][4][5]
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