Abstract is missing.
- Separating Topological Noise from Features Using Persistent EntropyNieves Atienza, Rocío González-Díaz, Matteo Rucco. 3-12 [doi]
- An Accelerated MapReduce-Based K-prototypes for Big DataMohamed Aymen Ben HajKacem, Chiheb-Eddine Ben N'cir, Nadia Essoussi. 13-25 [doi]
- Refinement Mining: Using Data to Sift Plausible ModelsAntonio Cerone. 26-41 [doi]
- Towards Platform Independent Database Modelling in Enterprise SystemsMartyn Ellison, Radu Calinescu, Richard F. Paige. 42-50 [doi]
- Audio Ergo Sum - A Personal Data Model for Musical PreferencesRiccardo Guidotti, Giulio Rossetti, Dino Pedreschi. 51-66 [doi]
- A High-Level Model Checking Language with Compile-Time Pruning of Local VariablesGiovanni Pardini, Paolo Milazzo. 67-82 [doi]
- Probabilistic Modelling of Station Locations in Bicycle-Sharing SystemsDaniël Reijsbergen. 83-97 [doi]
- On the Definition of Parallel Independence in the Algebraic Approaches to Graph TransformationAndrea Corradini. 101-111 [doi]
- Approximating Parikh Images for Generating Deterministic Graph ParsersFrank Drewes, Berthold Hoffmann, Mark Minas. 112-128 [doi]
- SPO-Rewriting of Constrained Partial AlgebrasMichael Löwe. 129-144 [doi]
- Attributed Graph Transformation via Rule Schemata: Church-Rosser TheoremIvaylo Hristakiev, Detlef Plump. 145-160 [doi]
- Visual Notation and Patterns for Abstract State MachinesPaolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene. 163-178 [doi]
- Visualization of Formal Specifications for Understanding and Debugging an Industrial DSLUlyana Tikhonova, Maarten Manders, Rimco Boudewijns. 179-195 [doi]
- Spatio-Temporal Models for Formal Analysis and Property-Based TestingNasser Alzahrani, Maria Spichkova, Jan Olaf Blech. 196-206 [doi]
- Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL ModelsKhanh-Hoang Doan, Martin Gogolla, Frank Hilken. 207-220 [doi]
- Model-Based Generation of Natural Language SpecificationsPhan Thu Nhat Vo, Maria Spichkova. 221-231 [doi]
- Human-Oriented Formal Modelling of Human-Computer Interaction: Practitioners' and Students' PerspectivesAntonio Cerone. 232-241 [doi]
- "Boring Formal Methods" or "Sherlock Holmes Deduction Methods"?Maria Spichkova. 242-252 [doi]
- Formal Model-Based Development in Industrial Automation with Reactive BlocksPeter Herrmann, Jan Olaf Blech. 253-261 [doi]
- Computational Design Synthesis Using Model-Driven Engineering and Constraint ProgrammingRaphaël Chenouard, Chris Hartmann, Alain Bernard, Emmanuel Mermoz. 265-273 [doi]
- Incremental Consistency Checking of Heterogeneous MultimodelsZinovy Diskin, Harald König. 274-288 [doi]
- Continuing a Benchmark for UML and OCL Design and Analysis ToolsMartin Gogolla, Jordi Cabot. 289-302 [doi]
- An Experience Integrating Response-Time Analysis and Optimization with an MDE StrategyJuan 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. 303-316 [doi]
- Towards Model-Based Optimisation: Using Domain Knowledge ExplicitlySteffen Zschaler, Lawrence Mandow. 317-329 [doi]
- On the Emergence of Patterns for Spreadsheets Data ArrangementsRicardo Teixeira, Vasco Amaral. 333-345 [doi]
- Towards an Automated Classification of SpreadsheetsJorge Mendes, Kha N. Do, João Saraiva. 346-355 [doi]
- Programming Communication with the User in Multiplatform Spreadsheet ApplicationsJerzy Sikora, Jacek Sroka, Jerzy Tyszkiewicz. 356-371 [doi]
- Fragment-Based Diagnosis of SpreadsheetsThomas Schmitz, Birgit Hofer, Dietmar Jannach, Franz Wotawa. 372-387 [doi]
- TrueGrid: Code the Table, Tabulate the DataFelienne Hermans, Tijs van der Storm. 388-393 [doi]
- Views on UML Interactions as Spreadsheet QueriesMartin Gogolla, Antonio Vallecillo. 394-400 [doi]
- Implementing Nested FOR Loops as Spreadsheet FormulasPaul Mireault. 401-414 [doi]
- SheetGit: A Tool for Collaborative Spreadsheet DevelopmentRicardo Moreira. 415-420 [doi]
- Context-Aware Design of Reflective Middleware in the Internet of EverythingMarina Mongiello, Tommaso Di Noia, Francesco Nocera, Eugenio Di Sciascio, Angelo Parchitelli. 423-435 [doi]
- Composition of Advanced ( \mu )Services for the Next Generation of the Internet of ThingsAmleto Di Salle, Francesco Gallo, Claudio Pompilio. 436-444 [doi]
- A Formal Approach to Error Localization and Correction in Service CompositionsJulia Krämer, Heike Wehrheim. 445-457 [doi]
- Pure Edge Computing Platform for the Future InternetMirko D'Angelo, Mauro Caporuscio. 458-469 [doi]