Writing Robotics Applications with X-KLAIM (Englisch)
- Neue Suche nach: Bettini, Lorenzo
- Neue Suche nach: Bourr, Khalid
- Neue Suche nach: Pugliese, Rosario
- Neue Suche nach: Tiezzi, Francesco
- Neue Suche nach: Bettini, Lorenzo
- Neue Suche nach: Bourr, Khalid
- Neue Suche nach: Pugliese, Rosario
- Neue Suche nach: Tiezzi, Francesco
In:
Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles
; 361-379
;
2020
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:Writing Robotics Applications with X-KLAIM
-
Beteiligte:Bettini, Lorenzo ( Autor:in ) / Bourr, Khalid ( Autor:in ) / Pugliese, Rosario ( Autor:in ) / Tiezzi, Francesco ( Autor:in )
-
Kongress:ISoLA ; 9. ; 2020 ; Online
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2020
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
BKL: 54.52 Software engineering -
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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