Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "TiCSA@ETAPS"( http://dblp.L3S.de/Venues/TiCSA@ETAPS )

URL (DBLP): http://dblp.uni-trier.de/db/journals/corr

Publication years (Num. hits)
2023 (5)
Publication types (Num. hits)
inproceedings(4) proceedings(1)
Venues (Conferences, Journals, ...)
TiCSA@ETAPS(5)
Authors
Clemens Dubslaff(1) Cosimo Laneve(1) David Pereira(1) Didier Lime(1) Dylan Marinho(1) Engel Lefaucheux(1) Étienne André(1) Gianluigi Zavattaro(1) Giann Spilere Nandi(1) Giuseppe De Palma(1) Jacopo Mauro(1) Jonas Melchert(1) José Proença(1) Jun Sun 0001(1) Matteo Trentin(1) Maurice H. ter Beek(1) More (+10 of total 21)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 5 publication records. Showing 5 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Étienne André, Engel Lefaucheux, Didier Lime, Dylan Marinho, Jun Sun 0001 Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1José Proença, David Pereira, Giann Spilere Nandi, Sina Borrami, Jonas Melchert Spreadsheet-based Configuration of Families of Real-Time Specifications. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro Serverless Scheduling Policies based on Cost Analysis. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Maurice H. ter Beek, Clemens Dubslaff (eds.) Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
1Pascal Krapf, Sébastien Berthier, Nicole Lévy Product Line Management with Graphical MBSE Views. Search on Bibsonomy TiCSA@ETAPS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #5 of 5 (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