A @ Journey Through Software Model Checking of Interlocking Programs (Englisch)
- Neue Suche nach: Chadwick, Simon
- Neue Suche nach: James, Phillip
- Neue Suche nach: Moller, Faron
- Neue Suche nach: Roggenbach, Markus
- Neue Suche nach: Werner, Thomas
- Neue Suche nach: Chadwick, Simon
- Neue Suche nach: James, Phillip
- Neue Suche nach: Moller, Faron
- Neue Suche nach: Roggenbach, Markus
- Neue Suche nach: Werner, Thomas
In:
Leveraging applications of formal methods, verification and validation
; 495-497
;
2021
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A @ Journey Through Software Model Checking of Interlocking Programs
-
Beteiligte:Chadwick, Simon ( Autor:in ) / James, Phillip ( Autor:in ) / Moller, Faron ( Autor:in ) / Roggenbach, Markus ( Autor:in ) / Werner, Thomas ( Autor:in )
-
Kongress:International Symposium on Leveraging Applications of Formal Methods ; 10. ; 2021 ; Rhodos, Stadt
-
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham
-
Erscheinungsdatum:2021
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 54.00
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
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
-
An @ Introduction to Graphical Modeling of CVCD Workflows with RigTegeler, Tim / Teumert, Sebastian / Schürmann, Jonas / Bainczyk, Alexander / Busch, Daniel / Steffen, Bernhard et al. | 2021
- 18
-
Pyrus: An Online Modeling Environment for No-Code Data-Analytics Service CompositionZweihoff, Philip / Steffen, Bernhard et al. | 2021
- 41
-
Integrating External Services in DIMEChaudhary, Hafiz Ahmad Awais / Margaria, Tiziana et al. | 2021
- 55
-
Asking WhySteffen, Barbara / Steffen, Bernhard et al. | 2021
- 71
-
Formal Methods for a Digital Industry: Industrial Day at ISoLA 2021Howar, Falk / Hungar, Hardi / Rausch, Andreas et al. | 2021
- 77
-
Agile Business Engineering: From Transformation Towards Continuous InnovationSteffen, Barbara / Howar, Falk / Tegeler, Tim / Steffen, Bernhard et al. | 2021
- 95
-
Towards Living CanvasesSteffen, Towards Barbara / Möller, Frederik / Rotgang, Alex / Ryan, Stephen / Margaria, Tiziana et al. | 2021
- 117
-
Use Cases for Simulation in the Development of Automated Driving SystemsHungar, Hardi et al. | 2021
- 129
-
Simulation-Based Elicitation of Accuracy Requirements for the Environmental Perception of Autonomous VehiclesPhilipp, Robin / Qian, Hedan / Schuldt, Lukas Hartjen. Fabian / Howar, Falk et al. | 2021
- 146
-
DSLs and Middleware Platforms in a Model-Driven Development Approach for Secure Predictive Maintenance Systems in Smart FactoriesJohn, Jobish / Ghosal, Amrita / Margaria, Tiziana / Pesch, Dirk et al. | 2021
- 162
-
From Requirements to Executable Rules: An Ensemble of Domain-Specific Languages for Programming Cyber-Physical Systems in Warehouse LogisticsMauritz, Malte / Roidl, Moritz et al. | 2021
- 178
-
Mining Data Quality Rules for Data Migrations: A Case Study on Material Master DataAltendeitering, Marcel et al. | 2021
- 195
-
Programming - What is Next?Havelund, Klaus / Steffen, Bernhard et al. | 2021
- 202
-
Low-Code Is Often High-Code, So We Must Design Low-Code Platforms to Enable Proper Software EngineeringLethbridge, Timothy C. et al. | 2021
- 213
-
Time for All Programs, Not Just Real-Time ProgramsLee, Edward A. / Lohstroh, Marten et al. | 2021
- 233
-
Integrated Modeling and Development of Component-Based Embedded Software in ScalaHavelund, Klaus / Bocchino, Robert et al. | 2021
- 253
-
Slang: The Sireum Programming LanguageHatcliff, Robby / Hatcliff, John et al. | 2021
- 274
-
HAMR: An AADL Multi-platform Code Generation ToolsetHatcliff, John / Carpenter, Jason Belt, Robby, Todd et al. | 2021
- 296
-
Fundamental Constructs in Programming LanguagesMosses, Peter D. et al. | 2021
- 322
-
Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education Can Help Advance Theory and Practice of Software Development and ComputingHarel, David / Marron, Assaf et al. | 2021
- 335
-
GATE: Gradual Effect TypesWadler, Philip et al. | 2021
- 346
-
Fixing Classification: A Viewpoint-Based ApproachSelic, Bran / Pierantonio, Alfonso et al. | 2021
- 357
-
The @ Future of Programming and Modelling: A VisionStevens, Perdita et al. | 2021
- 378
-
Towards Model-Based Intent-Driven Adaptive SoftwareBalasubramanian, Daniel / Coglio, Alessandro / Dubey, Abhishek / Karsai, Gabor et al. | 2021
- 393
-
The @ Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPSMargaria, Tiziana / Chaudhary, Hafiız Ahmad Awais / Guevara, Ivan / Ryan, Stephen / Schieweck, Alexander et al. | 2021
- 414
-
Programming vs. That Thing Subject Matter Experts DoVoelter, Markus et al. | 2021
- 426
-
Aligned, Purpose-Driven Cooperation: The Future Way of System DevelopmentZweihoff, Philip / Tegeler, Tim / Schürmann, Jonas / Bainczyk, Alexander / Steffen, Bernhard et al. | 2021
- 453
-
sVerify: Verifying Smart Contracts Through Lazy Annotation and LeamingGao, Bo / Shi, Ling / Li, Jiaying / Chang, Jialiang / Sun, Jun / Yang, Zijiang et al. | 2021
- 473
-
Verifying Temporal Properties of Stigmergic Collective Systems Using CADPStefano, Luca Di / Lane, Frederic et al. | 2021
- 493
-
RAILS: Roadmaps for AT integration in the raiL SectorFlammini, Francesco / Vittorini, Valeria et al. | 2021
- 495
-
A @ Journey Through Software Model Checking of Interlocking ProgramsChadwick, Simon / James, Phillip / Moller, Faron / Roggenbach, Markus / Werner, Thomas et al. | 2021
- 498
-
Supporting the Development of Hybrid ERTMS/ETCS Level 3 with Formal Modelling, Analysis and SimulationBartholomeus, Maarten / Erkens, Rick / Luttik, Bas / Willemse, Tim et al. | 2021
- 500
-
Formal Methods in Railway Signalling Infrastructure Standardisation ProcessesBouwman, Mark / Luttik, Bas / Rensink, Arend / Stoelinga, Marielle / Wal, Djurre van der et al. | 2021