default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSTAF Workshops 2016: Vienna, Austria
- Paolo Milazzo, Dániel Varró, Manuel Wimmer:
Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna, Austria, July 4-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 9946, Springer 2016, ISBN 978-3-319-50229-8
DataMod
- Nieves Atienza, Rocío González-Díaz, Matteo Rucco:
Separating Topological Noise from Features Using Persistent Entropy. 3-12 - Mohamed Aymen Ben HajKacem
, Chiheb-Eddine Ben N'cir, Nadia Essoussi:
An Accelerated MapReduce-Based K-prototypes for Big Data. 13-25 - Antonio Cerone:
Refinement Mining: Using Data to Sift Plausible Models. 26-41 - Martyn Ellison, Radu Calinescu, Richard F. Paige:
Towards Platform Independent Database Modelling in Enterprise Systems. 42-50 - Riccardo Guidotti, Giulio Rossetti, Dino Pedreschi:
Audio Ergo Sum - A Personal Data Model for Musical Preferences. 51-66 - Giovanni Pardini, Paolo Milazzo:
A High-Level Model Checking Language with Compile-Time Pruning of Local Variables. 67-82 - Daniël Reijsbergen:
Probabilistic Modelling of Station Locations in Bicycle-Sharing Systems. 83-97
GCM
- Andrea Corradini:
On the Definition of Parallel Independence in the Algebraic Approaches to Graph Transformation. 101-111 - Frank Drewes, Berthold Hoffmann, Mark Minas:
Approximating Parikh Images for Generating Deterministic Graph Parsers. 112-128 - Michael Löwe:
SPO-Rewriting of Constrained Partial Algebras. 129-144 - Ivaylo Hristakiev, Detlef Plump:
Attributed Graph Transformation via Rule Schemata: Church-Rosser Theorem. 145-160
HOFM
- Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. 163-178 - Ulyana Tikhonova, Maarten Manders, Rimco Boudewijns:
Visualization of Formal Specifications for Understanding and Debugging an Industrial DSL. 179-195 - Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech:
Spatio-Temporal Models for Formal Analysis and Property-Based Testing. 196-206 - Khanh-Hoang Doan, Martin Gogolla, Frank Hilken:
Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models. 207-220 - Phan Thu Nhat Vo, Maria Spichkova:
Model-Based Generation of Natural Language Specifications. 221-231 - Antonio Cerone:
Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' Perspectives. 232-241 - Maria Spichkova:
"Boring Formal Methods" or "Sherlock Holmes Deduction Methods"? 242-252 - Peter Herrmann, Jan Olaf Blech:
Formal Model-Based Development in Industrial Automation with Reactive Blocks. 253-261
MELO
- Raphaël Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz:
Computational Design Synthesis Using Model-Driven Engineering and Constraint Programming. 265-273 - Zinovy Diskin, Harald König:
Incremental Consistency Checking of Heterogeneous Multimodels. 274-288 - Martin Gogolla, Jordi Cabot:
Continuing a Benchmark for UML and OCL Design and Analysis Tools. 289-302 - Juan Maria Rivas, J. Javier Gutiérrez, Mario Aldea Rivas, César Cuevas, Michael González Harbour, José María Drake, Julio L. Medina, Laurent Rioux, Rafik Henia, Nicolas Sordon:
An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy. 303-316 - Steffen Zschaler, Lawrence Mandow:
Towards Model-Based Optimisation: Using Domain Knowledge Explicitly. 317-329
SEMS
- Ricardo Teixeira, Vasco Amaral:
On the Emergence of Patterns for Spreadsheets Data Arrangements. 333-345 - Jorge Mendes, Kha N. Do, João Saraiva:
Towards an Automated Classification of Spreadsheets. 346-355 - Jerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz:
Programming Communication with the User in Multiplatform Spreadsheet Applications. 356-371 - Thomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa:
Fragment-Based Diagnosis of Spreadsheets. 372-387 - Felienne Hermans, Tijs van der Storm:
TrueGrid: Code the Table, Tabulate the Data. 388-393 - Martin Gogolla, Antonio Vallecillo:
Views on UML Interactions as Spreadsheet Queries. 394-400 - Paul Mireault:
Implementing Nested FOR Loops as Spreadsheet Formulas. 401-414 - Ricardo Moreira:
SheetGit: A Tool for Collaborative Spreadsheet Development. 415-420
VeryComp
- Marina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli:
Context-Aware Design of Reflective Middleware in the Internet of Everything. 423-435 - Amleto Di Salle, Francesco Gallo, Claudio Pompilio:
Composition of Advanced ( \mu )Services for the Next Generation of the Internet of Things. 436-444 - Julia Krämer, Heike Wehrheim:
A Formal Approach to Error Localization and Correction in Service Compositions. 445-457 - Mirko D'Angelo, Mauro Caporuscio:
Pure Edge Computing Platform for the Future Internet. 458-469
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-03-20 00:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
