Writing Robotics Applications with X-KLAIM (English)
- New search for: Bettini, Lorenzo
- New search for: Bourr, Khalid
- New search for: Pugliese, Rosario
- New search for: Tiezzi, Francesco
- New search for: Bettini, Lorenzo
- New search for: Bourr, Khalid
- New search for: Pugliese, Rosario
- New search for: Tiezzi, Francesco
In:
Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles
; 361-379
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Writing Robotics Applications with X-KLAIM
-
Contributors:Bettini, Lorenzo ( author ) / Bourr, Khalid ( author ) / Pugliese, Rosario ( author ) / Tiezzi, Francesco ( author )
-
Conference:ISoLA ; 9. ; 2020 ; Online
-
Published in:
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Automating Software Re-engineering: Introduction to the ISoLA 2020 TrackDemeyer, Serge / Hähnle, Reiner / Mantel, Heiko et al. | 2020
- 9
-
Formal Verification of Developer Tests: A Research Agenda Inspired by Mutation TestingDemeyer, Serge / Parsai, Ali / Vercammen, Sten / Bladel, Brent van / Abdi, Mehrdad et al. | 2020
- 25
-
Modular Regression Verification for Reactive SystemsWeigl, Alexander / Ulbrich, Mattias / Lentzsch, Daniel et al. | 2020
- 44
-
Finding Idioms in Source Code Using Subtree Counting TechniquesOrlov, Dmitry et al. | 2020
- 55
-
Parametric Timed BisimulationLochau, Malte / Luthmann, Lars / Göttmann, Hendrik / Bacher, Isabelle et al. | 2020
- 72
-
A Unifying Framework for Dynamic Monitoring and a Taxonomy of OptimizationsJakobs, Marie-Christine / Mantel, Heiko et al. | 2020
- 93
-
Thirty-Seven Years of Relational Hoare Logic: Remarks on Its Principles and HistoryNaumann, David A. et al. | 2020
- 117
-
Safer ParallelizationHähnle, Reiner / Tabar, Asmae Heydari / Mazaheri, Arya / Norouzi, Mohammad / Steinhöfel, Dominic / Wolf, Felix et al. | 2020
- 138
-
Refactoring and Active Object LanguagesStolz, Volker / Pun, Violet Ka I / Gheyi, Rohit et al. | 2020
- 161
-
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track EditionWirsing, Martin / Nicola, Rocco De / Jähnichen, Stefan et al. | 2020
- 171
-
Composition of Component Models - A Key to Construct Big SystemsReisig, Wolfgang et al. | 2020
- 189
-
Degrees of Autonomy in Coordinating Collectives of Self-Driving VehiclesMariani, Stefano / Zambonelli, Franco et al. | 2020
- 205
-
Engineering Semantic Self-composition of Services Through Tuple-Based CoordinationCaselli, Ashley / Ciatto, Giovanni / Serugendo, Giovanna Di Marzo / Omicini, Andrea et al. | 2020
- 224
-
A Dynamic Logic for Systems with Predicate-Based CommunicationHennicker, Rolf / Wirsing, Martin et al. | 2020
- 243
-
Abstractions for Collective Adaptive SystemsInverso, Omar / Trubiani, Catia / Tuosto, Emilio et al. | 2020
- 261
-
Verifying AbC Specifications via EmulationNicola, Rocco De / Duong, Tan / Inverso, Omar et al. | 2020
- 280
-
Adaptive Security PoliciesNielson, Flemming / Hansen, René Rydhof / Nielson, Hanne Riis et al. | 2020
- 295
-
Capturing Dynamicity and Uncertainty in Security and Trust via Situational PatternsBures, Tomas / Hnetynka, Petr / Heinrich, Robert / Seifermann, Stephan / Walter, Maximilian et al. | 2020
- 311
-
Guaranteeing Type Consistency in Collective Adaptive SystemsSchürmann, Jonas / Tegeler, Tim / Steffen, Bernhard et al. | 2020
- 329
-
Epistemic Logic in Ensemble SpecificationSürmeli, Jan et al. | 2020
- 344
-
FScaFi : A Core Calculus for Collective Adaptive Systems ProgrammingCasadei, Roberto / Viroli, Mirko / Audrito, Giorgio / Damiani, Ferruccio et al. | 2020
- 361
-
Writing Robotics Applications with X-KLAIMBettini, Lorenzo / Bourr, Khalid / Pugliese, Rosario / Tiezzi, Francesco et al. | 2020
- 380
-
Measuring Adaptability and Reliability of Large Scale SystemsCastiglioni, Valentina / Loreti, Michele / Tini, Simone et al. | 2020
- 397
-
Centrality-Preserving Exact Reductions of Multi-Layer NetworksPetrov, Tatjana / Tognazzi, Stefano et al. | 2020
- 416
-
Towards Dynamic Dependable Systems Through Evidence-Based Continuous CertificationFaqeh, Rasha / Fetzer, Christof / Hermanns, Holger / Hoffmann, Jörg / Klauck, Michaela / Köhl, Maximilian A. / Steinmetz, Marcel / Weidenbach, Christoph et al. | 2020
- 440
-
Forming Ensembles at Runtime: A Machine Learning ApproachBureš, Tomáš / Gerostathopoulos, Ilias / Hnětynka, Petr / Pacovský, Jan et al. | 2020
- 457
-
Synthesizing Control for a System with Black Box Environment, Based on Deep LearningIosti, Simon / Peled, Doron / Aharon, Khen / Bensalem, Saddek / Goldberg, Yoav et al. | 2020
- 473
-
A Formal Model for Reasoning About the Ideal Fitness in Evolutionary ProcessesGabor, Thomas / Linnhoff-Popien, Claudia et al. | 2020
- 491
-
A Case Study of Policy Synthesis for Swarm RoboticsPiho, Paul / Hillston, Jane et al. | 2020
- 507
-
Maple-Swarm: Programming Collective Behavior for Ensembles by Extending HTN-PlanningKosak, Oliver / Huhn, Lukas / Bohn, Felix / Wanninger, Constantin / Hoffmann, Alwin / Reif, Wolfgang et al. | 2020
- 525
-
Swarm and Collective Capabilities for Multipotent Robot EnsemblesKosak, Oliver / Bohn, Felix / Eing, Lennart / Rall, Dennis / Wanninger, Constantin / Hoffmann, Alwin / Reif, Wolfgang et al. | 2020