TOOLS EUROPE - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 1440

2019

Measurements for Energy Efficient, Adaptable, Mobile Systems - A Research AgendaVladimir Ivanov 0001, Sergey Masyagin, Andrey Sadovykh, Alberto Sillitti, Giancarlo Succi, Alexander Tormasov, Evgeny Zouev. TOOLS 2019: 163-175 [doi]

Towards an Anatomy of Software RequirementsBertrand Meyer 0001, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev. TOOLS 2019: 10-40 [doi]

Software Development and Customer Satisfaction: A Systematic Literature ReviewRozaliya Amirova, Ilya Khomyakov, Ruzilya Mirgalimova, Alberto Sillitti. TOOLS 2019: 136-149 [doi]

Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case StudyAndrea Bombarda, Silvia Bonfanti, Angelo Gargantini. TOOLS 2019: 89-103 [doi]

Above the Clouds: A Brief StudySubham Chakraborty, Ananga Thapaliya. TOOLS 2019: 326-333 [doi]

Preferred Tools for Agile Development: A Sociocultural PerspectivePaolo Ciancarini, Marcello Missiroli, Alberto Sillitti. TOOLS 2019: 43-58 [doi]

Automated Composition, Analysis and Deployment of IoT ApplicationsFrancisco Durán, Gwen Salaün, Ajay Krishna 0001. TOOLS 2019: 252-268 [doi]

The Impact of Dance Sport on Software DevelopmentIrina Erofeeva. TOOLS 2019: 104-112 [doi]

Quality-Aware Rapid Software Development Project: The Q-Rapids ProjectXavier Franch, Lidia López, Silverio Martínez-Fernández, Marc Oriol, Pilar Rodríguez, Adam Trendowicz. TOOLS 2019: 378-392 [doi]

Spontaneous Emotion Recognition in Response to VideosAlisa Gazizullina, Manuel Mazzara. TOOLS 2019: 203-209 [doi]

UniquID: A Quest to Reconcile Identity Access Management and the IoTAlberto Giaretta, Stefano Pepe, Nicola Dragoni. TOOLS 2019: 237-251 [doi]

Human Activity Recognition Using Deep Models and Its Analysis from Domain Adaptation PerspectiveNikita Gurov, Adil Khan 0001, Rasheed Hussain, Asad Masood Khattak. TOOLS 2019: 189-202 [doi]

CNN LSTM Network Architecture for Modeling Software ReliabilityKamill Gusmanov. TOOLS 2019: 210-217 [doi]

Early Within-Season Yield Prediction and Disease Detection Using Sentinel Satellite Imageries and Machine Learning Technologies in Biomass SorghumEphrem Habyarimana, Isabelle Piccard, Christian Zinke-Wehlmann, Paolo De Franceschi, Marcello Catellani, Michela Dall'Agata. TOOLS 2019: 227-234 [doi]

MELODIC: Selection and Integration of Open Source to Build an Autonomic Cross-Cloud Deployment PlatformGeir Horn, Pawel Skrzypek, Marcin Prusinski, Katarzyna Materka, Vassilis Stefanidis, Yiannis Verginadis. TOOLS 2019: 364-377 [doi]

Exploring IA-32: Lessons from Analysis and ExperienceYauhen Klimiankou. TOOLS 2019: 334-341 [doi]

Interpretizer: A Compiler-Independent Conversion of Switch-Based Dispatch into Threaded CodeYauhen Klimiankou. TOOLS 2019: 59-72 [doi]

Proof Strategy for Automated Sisal Program VerificationDmitry Kondratyev, Alexei V. Promsky. TOOLS 2019: 113-120 [doi]

Kent Beck or Pablo Picasso? Speculations of the Relationships Between Artists in Software and PaintingSergey Masyagin, Milana Nurgalieva, Giancarlo Succi. TOOLS 2019: 3-9 [doi]

Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, ProceedingsManuel Mazzara, Jean-Michel Bruel, Bertrand Meyer 0001, Alexander K. Petrenko, editors, Volume 11771 of Lecture Notes in Computer Science, Springer, 2019. [doi]

Can We Rely on Smartphone Applications?Sonia Meskini, Ali Bou Nassif, Luiz Fernando Capretz. TOOLS 2019: 305-312 [doi]

Object-Oriented Requirements: Reusable, Understandable, VerifiableAlexandr Naumchev. TOOLS 2019: 150-162 [doi]

VERCORS: Hardware and Software Complex for Intelligent Round-Trip Formalized Verification of Dependable Cyber-Physical Systems in a Digital Twin Environment (Position Paper)Alexandr Naumchev, Andrey Sadovykh, Vladimir Ivanov 0001. TOOLS 2019: 351-363 [doi]

Applying Face Recognition in Video Surveillance Security SystemsBauyrzhan Omarov, Batyrkhan Omarov, Shirinkyz Shekerbekova, Farida Gusmanova, Nurzhamal Oshanova, Alua Sarbasova, Zhanna Yessengaliyeva, Agyn Bedelbayev, Akmarzhan Maikhanova, Nurzhan Omarov, Daniyar Sultan. TOOLS 2019: 271-280 [doi]

Method of Improving the Cyber Resilience for Industry 4.0. Digital PlatformsSergei Petrenko, Khismatullina Elvira. TOOLS 2019: 295-302 [doi]

Cyber-Resilience Concept for Industry 4.0 Digital Platforms in the Face of Growing Cybersecurity ThreatsSergei Petrenko, Elvira Khismatullina. TOOLS 2019: 281-294 [doi]

An Intelligent Tutoring System Tool Combining Machine Learning and Gamification in EducationRiccardo Di Pietro, Salvatore Distefano. TOOLS 2019: 218-226 [doi]

Towards Static Verification of Clojure Contract-Based ProgramsGheorghe Pinzaru, Victor Rivera. TOOLS 2019: 73-80 [doi]

Continuous Integration and Continuous Delivery in the Process of Developing Robotic SystemsVadim Rashitov, Mikhail Ivanou. TOOLS 2019: 342-348 [doi]

MegaM@Rt2 Project: Mega-Modelling at Runtime - Intermediate Results and Research ChallengesAndrey Sadovykh, Dragos Truscan, Wasif Afzal, Hugo Brunelière, Adnan Ashraf, Abel Gómez, Alexandra Espinosa Hortelano, Gunnar Widforss, Pierluigi Pierini, Elizabeta Fourneret, Alessandra Bagnato. TOOLS 2019: 393-405 [doi]

REVaMP2 Project: Towards Round-Trip Engineering of Software Product Lines - Approach, Intermediate Results and ChallengesAndrey Sadovykh, Tewfik Ziadi, Alessandra Bagnato, Thorsten Berger, Jan-Philipp Steghöfer, Jacques Robin, Raúl Mazo, Elena Gallego. TOOLS 2019: 406-417 [doi]

Distributed Computing System on a Smartphones-Based NetworkHamza Salem. TOOLS 2019: 313-325 [doi]

Complex Systems: On Design and Architecture of Adaptable DashboardsDragos Strugar. TOOLS 2019: 176-186 [doi]

Problems in Experiment with Biological Signals in Software Engineering: The Case of the EEGHerman Tarasau, Ananga Thapaliya, Oydinoy Zufarova. TOOLS 2019: 81-88 [doi]

Assessing Job Satisfaction of Software Engineers Using GQM ApproachAleksandr Tarasov. TOOLS 2019: 121-135 [doi]

2012

Business System Management and Engineering - From Open Issues to Applications [partially an outcome of the International Workshop on Business System Management and Engineering, BSME 2010, Malaga, Spain, June-July 2010, in conjunction with TOOLS 2010Claudio Agostino Ardagna, Ernesto Damiani, Leszek A. Maciaszek, Michele Missikoff, Michael Parkin, editors, Volume 7350 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Integrating Efficient Model Queries in State-of-the-Art EMF ToolsGábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi, Dániel Varró. TOOLS 2012: 1-8 [doi]

Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy PoliciesNéstor Cataño, Sorren Hanvey, Camilo Rueda. TOOLS 2012: 9-16 [doi]

DroidSense: A Mobile Tool to Analyze Software Development Processes by Measuring Team ProximityLuis Corral, Alberto Sillitti, Giancarlo Succi, Juri Strumpflohner, Jelena Vlasenko. TOOLS 2012: 17-33 [doi]

TimeSquare: Treat Your Models with Logical TimeJulien DeAntoni, Frédéric Mallet. TOOLS 2012: 34-41 [doi]

Quality Evaluation of Object-Oriented and Standard Mutation Operators Applied to C# ProgramsAnna Derezinska, Marcin Rudnik. TOOLS 2012: 42-57 [doi]

101companies: A Community Project on Software Technologies and Software LanguagesJean-Marie Favre, Ralf Lämmel, Thomas Schmorleiz, Andrei Varanovich. TOOLS 2012: 58-74 [doi]

An Object-Oriented Application Framework for the Development of Real-Time SystemsFrancesco Fiamberti, Daniela Micucci, Francesco Tisato. TOOLS 2012: 75-90 [doi]

Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. ProceedingsCarlo A. Furia, Sebastian Nanz, editors, Volume 7304 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Measuring Test Case Similarity to Support Test Suite UnderstandingMichaela Greiler, Arie van Deursen, Andy Zaidman. TOOLS 2012: 91-107 [doi]

Enhancing OSGi with Explicit, Vendor Independent Extra-Functional PropertiesKamil Jezek, Premek Brada, Lukas Holy. TOOLS 2012: 108-123 [doi]

Fake Run-Time Selection of Template Arguments in C++Daniel Langr, Pavel Tvrdík, Tomás Dytrych, Jerry P. Draayer. TOOLS 2012: 140-154 [doi]

Supporting Compile-Time Debugging and Precise Error Reporting in Meta-programsYannis Lilis, Anthony Savidis. TOOLS 2012: 155-170 [doi]

Identifying a Unifying Mechanism for the Implementation of Concurrency Abstractions on Multi-language Virtual MachinesStefan Marr, Theo D'Hondt. TOOLS 2012: 171-186 [doi]

Verification of Snapshotable Trees Using Access Permissions and TypestateHannes Mehnert, Jonathan Aldrich. TOOLS 2012: 187-201 [doi]

Multiparty Session C: Safe Parallel Programming with Message OptimisationNicholas Ng, Nobuko Yoshida, Kohei Honda. TOOLS 2012: 202-218 [doi]

Non-interference on UML State-ChartsMartín Ochoa, Jan Jürjens, Jorge Cuéllar. TOOLS 2012: 219-235 [doi]

Representing Uniqueness Constraints in Object-Relational Mapping - The Natural Entity FrameworkMark J. Olah, David Mohr, Darko Stefanovic. TOOLS 2012: 236-251 [doi]

Detection of Seed Methods for Quantification of Feature ConfinementAndrzej Olszak, Eric Bouwers, Bo Nørregaard Jørgensen, Joost Visser. TOOLS 2012: 252-268 [doi]

Assisted Behavior Driven Development Using Natural Language ProcessingMathias Soeken, Robert Wille, Rolf Drechsler. TOOLS 2012: 269-287 [doi]

Learning to Classify Bug Reports into ComponentsAshish Sureka. TOOLS 2012: 288-303 [doi]

Efficient Method Lookup Customization for SmalltalkJan Vraný, Jan Kurs, Claus Gittinger. TOOLS 2012: 124-139 [doi]

Incremental Dynamic Updates with First-Class ContextsErwann Wernli, Mircea Lungu, Oscar Nierstrasz. TOOLS 2012: 304-319 [doi]

Elucidative Development for Model-Based DocumentationClaas Wilke, Andreas Bartho, Julia Schroeter, Sven Karol, Uwe Aßmann. TOOLS 2012: 320-335 [doi]

Viewpoint Co-evolution through Coarse-Grained Changes and Coupled TransformationsManuel Wimmer, Nathalie Moreno, Antonio Vallecillo. TOOLS 2012: 336-352 [doi]

Turbo DiSL: Partial Evaluation for High-Level Bytecode InstrumentationYudi Zheng, Danilo Ansaloni, Lukás Marek, Andreas Sewe, Walter Binder, Alex Villazón, Petr Tuma, Zhengwei Qi, Mira Mezini. TOOLS 2012: 353-368 [doi]

2011

Test Suite Quality for Model Transformation ChainsEduard Bauer, Jochen Malte Küster, Gregor Engels. TOOLS 2011: 3-19 [doi]

Domain-Specific ProfilingAlexandre Bergel, Oscar Nierstrasz, Lukas Renggli, Jorge Ressia. TOOLS 2011: 68-82 [doi]

Objects, Models, Components, Patterns - 49th International Conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011. ProceedingsJudith Bishop, Antonio Vallecillo, editors, Volume 6705 of Lecture Notes in Computer Science, Springer, 2011. [doi]

An Overview of ALIA4J - An Execution Model for Advanced-Dispatching LanguagesChristoph Bockisch, Andreas Sewe, Mira Mezini, Mehmet Aksit. TOOLS 2011: 131-146 [doi]

KlaperSuite: An Integrated Model-Driven Environment for Reliability and Performance Analysis of Component-Based SystemsAndrea Ciancone, Antonio Filieri, Mauro Luigi Drago, Raffaela Mirandola, Vincenzo Grassi. TOOLS 2011: 99-114 [doi]

Compiling ATL with ContinuationsJesús Sánchez Cuadrado, Jesús M. Perera Aracil. TOOLS 2011: 10-19 [doi]

Efficient Retrieval and Ranking of Undesired Package Cycles in Large Software SystemsJean-Rémy Falleri, Simon Denier, Jannik Laval, Philippe Vismara, Stéphane Ducasse. TOOLS 2011: 260-275 [doi]

A Heuristic Approach for Computing EffectsPhillip Heidegger, Peter Thiemann. TOOLS 2011: 147-162 [doi]

Lifted Java: A Minimal Calculus for Translation PolymorphismMatthias Diehn Ingesman, Erik Ernst. TOOLS 2011: 179-193 [doi]

WSCDL to WSBPEL: a Case Study of ATL-based TransformationRavi Khadka, Brahmananda Sapkota, Luís Ferreira Pires, Marten van Sinderen, Slinger Jansen. TOOLS 2011: 89-103 [doi]

Extensive Validation of OCL Models by Integrating SAT Solving into USEMirco Kuhlmann, Lars Hamann, Martin Gogolla. TOOLS 2011: 290-306 [doi]

Proceedings of the 3rd International Workshop on Model Transformation with ATL, MtATL@TOOLS 2011, Zürich, Switzerland, July 1st, 2011Ivan Kurtev, Massimo Tisi, Dennis Wagelaar, editors, Volume 742 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]

From UML Profiles to EMF Profiles and BeyondPhilip Langer, Konrad Wieland, Manuel Wimmer, Jordi Cabot. TOOLS 2011: 52-67 [doi]

Unifying SubjectivityDaniel Langone, Jorge Ressia, Oscar Nierstrasz. TOOLS 2011: 115-130 [doi]

Static Dominance InferenceAna Milanova, Jan Vitek. TOOLS 2011: 211-227 [doi]

Synchronizing Models and Code (Invited Talk)Oscar Nierstrasz. TOOLS 2011: 1 [doi]

Two Basic Correctness Properties for ATL Transformations: Executability and CoverageElena Planas, Jordi Cabot, Cristina Gómez. TOOLS 2011: 1-9 [doi]

Systems Evolution and Software Reuse in Object-Oriented Programming and Aspect-Oriented ProgrammingAdam Przybylek. TOOLS 2011: 163-178 [doi]

Extending ATL for Native UML Profile Support: An Experience ReportAndrea Randak, Salvador Martínez Perez, Manuel Wimmer. TOOLS 2011: 49-62 [doi]

Metamodel Dependencies for Executable ModelsCarlos Rodríguez, Mario Sánchez, Jorge Villalobos. TOOLS 2011: 83-98 [doi]

Seuss: Better Class Responsibilities through Language-Based Dependency InjectionNiko Schwarz, Mircea Lungu, Oscar Nierstrasz. TOOLS 2011: 276-289 [doi]

Computational REST Meets ErlangAlessandro Sivieri, Gianpaolo Cugola, Carlo Ghezzi. TOOLS 2011: 244-259 [doi]

Finding and Fixing Bugs in Web Applications (Invited Talk)Frank Tip. TOOLS 2011: 2 [doi]

Automated Translation of Java Source Code to EiffelMarco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio. TOOLS 2011: 20-35 [doi]

Using Metrics for Assessing the Quality of ATL Model TransformationsM. F. van Amstel, M. G. J. van den Brand. TOOLS 2011: 20-34 [doi]

A Generic Solution for Syntax-Driven Model Co-evolutionMark van den Brand, Zvezdan Protic, Tom Verhoeff. TOOLS 2011: 36-51 [doi]

A Static Analyzer for Model TransformationsAndreza Vieira, Franklin Ramalho. TOOLS 2011: 75-88 [doi]

A Revised Semantics for Rule Inheritance and Module Superimposition in ATLDennis Wagelaar. TOOLS 2011: 63-74 [doi]

Location Types for Safe Distributed Object-Oriented ProgrammingYannick Welsch, Jan Schäfer. TOOLS 2011: 194-210 [doi]

Using ATL to Support Model-Driven Development of RubyTL Model TransformationsÁlvaro Jiménez, David Granada, Verónica Andrea Bollati, Juan M. Vara. TOOLS 2011: 35-48 [doi]

2010

A MDD approach for generating Rule-based Web Applications from OWL and SWRLJoaquín Cañadas, José Palma 0001, Samuel Túnez. TOOLS 2010: [doi]

Moles: Tool-Assisted Environment Isolation with ClosuresJonathan de Halleux, Nikolai Tillmann. TOOLS 2010: 253-270 [doi]

On Some Challenges in Business Systems Management and Engineering for the Networked Enterprise of the FutureAndreas Friesen, Wolfgang Theilmann, Markus Heller, Jens Lemcke, Christof Momm. TOOLS 2012: 1-15 [doi]

Contract-Driven Testing of JavaScript CodePhillip Heidegger, Peter Thiemann. TOOLS 2010: 154-172 [doi]

Revisiting Parametric Types and Virtual ClassesAnders Bach Madsen, Erik Ernst. TOOLS 2010: 233-252 [doi]

Reasoning about Function ObjectsMartin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen. TOOLS 2010: 79-96 [doi]

A Conceptual Architecture for Business-Aware Transaction ManagementMichael Parkin, Mike P. Papazoglou. TOOLS 2012: 122-137 [doi]

Ontology-based Model SynchronisationFederico Rieckhof, Mirko Seifert, Uwe Assmann. TOOLS 2010: [doi]

SPARQLAS - Implementing SPARQL Queries with OWL SyntaxMark Schneider. TOOLS 2010: [doi]

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

TOOLS EUROPE (TOOLS)

Viewing Publication 1 - 100 from 1440

2019

2012

2011

2010

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

TOOLS EUROPE (TOOLS)

Viewing Publication 1 - 100 from 1440

2019

2012

2011

2010

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1