| Nome |
# |
|
PROMISE: High-Level Mission Specification for Multiple Robots, file 3ae30395-078c-47e7-a799-3b2a2ca57ce3
|
88
|
|
Poster: Property specification patterns for robotic missions, file 4d0c609e-ccf4-4b48-ba3d-a1e53ddee2c7
|
73
|
|
SecuriTAS: A tool for engineering adaptive security, file 8b48de57-32cd-4ac0-b9b9-798ad73cba6d
|
48
|
|
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties, file a0357e38-b84c-4936-9a76-6450151ebf67
|
39
|
|
A verification-driven framework for iterative design of controllers, file 4fd166f8-379f-48e9-a88f-d7a5b0fedad3
|
35
|
|
PuRSUE -from specification of robotic environments to synthesis of controllers, file bf603efb-5c43-4fc7-a854-2d19560bc4ff
|
33
|
|
Towards agile verification, file d2f7bd0c-c269-4884-b525-bd71456b843f
|
33
|
|
Integrating topological proofs with model checking to instrument iterative design, file 1b38c304-90a7-4ae5-aa2f-1d53d76b2d67
|
31
|
|
Supporting verification-driven incremental distributed design of components, file 3f330d35-1216-49c3-bbf7-78d6188420dc
|
31
|
|
TOrPEDO: witnessing model correctness with topological proofs, file f6a8106c-1da7-4d81-b1fc-f21b81a3f2b1
|
31
|
|
Agents and robots for reliable engineered autonomy: A perspective from the organisers of area 2020, file 73ca5c32-a734-4eac-afbc-4fe0a2834a26
|
25
|
|
A survey on the design space of end-user-oriented languages for specifying robotic missions, file f7db315a-edb2-4738-b3ca-db1bdd4b3cbf
|
25
|
|
High-level mission specification for multiple robots, file 2008a048-a1be-4035-a323-b1b767e24266
|
6
|
|
Keeping intelligence under control, file 88856e00-b88c-458a-8acb-7e780f3abe5b
|
4
|
|
RoboMAX: Robotic Mission Adaptation eXemplars, file 9b374933-bda3-43fd-a32d-a2912d62e36e
|
4
|
|
From model checking to a temporal proof for partial models, file 1aaf7e52-f21c-4688-96a3-e662f0240dc8
|
3
|
|
Mind the gap: Robotic Mission Planning Meets Software Engineering, file 1eed5685-b688-4533-9d96-517e0e63d72e
|
3
|
|
Towards agile verification, file 3257f3a3-3441-424a-90f9-c97e5d46f375
|
3
|
|
Dealing with incompleteness in automata-based model checking, file 456a82f7-d7bf-4a36-8fa6-eb2d6fafd52a
|
3
|
|
Supporting Assurance Case Development Using Generative AI, file 6795babf-859c-4c4f-9b38-dc27d11d024f
|
3
|
|
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach, file 9f3b031c-0c5d-4a1c-9e98-4419cc8a10ee
|
3
|
|
UML Consistency Rules: a Case Study with Open-Source UML Models, file a5c82eb5-966e-439e-bc53-66c90964a354
|
3
|
|
On requirement verification for evolving Statecharts specifications, file 041db20f-13e1-4448-9cf1-ac9d12842854
|
2
|
|
Multi-robot LTL planning under uncertainty, file 084fd923-67f2-4cc4-8722-3795d7e72d8b
|
2
|
|
MAPmAKER: Performing multi-robot LTL planning under uncertainty, file 39e5c18e-5d56-4ef1-ac84-ba6a8ebe51a1
|
2
|
|
Combining Genetic Programming and Model Checking to Generate Environment Assumptions, file 3d00c7ad-c540-4cf4-b1ea-407adcab4038
|
2
|
|
ThEodorE: A Trace Checker for CPS Properties, file 45c151dc-f2e6-4bfd-bc43-a87ae72e314c
|
2
|
|
Specification Patterns for Robotic Missions, file 661b3f0e-a238-4186-aa77-28d5c74a200b
|
2
|
|
Integrating Goal Model Analysis with Iterative Design, file 6d2189b8-cfe9-41d4-8778-0a039161d2a6
|
2
|
|
Verifying incomplete and evolving specifications, file 7892e84c-a588-44d3-9c62-209c53147446
|
2
|
|
Engineering topology aware adaptive security: Preventing requirements violations at runtime, file 87bc2a0f-7ecf-482d-8e7b-826c3bc5b202
|
2
|
|
Trace Diagnostics for Signal-based Temporal Properties, file 88fa2006-5e04-4a85-8ab2-8f11a64f71f8
|
2
|
|
ARCH-COMP 2020 category report: Falsification, file 890b276d-cda2-49c5-99fc-ebe31574e70e
|
2
|
|
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach, file 957ed759-34f3-42ad-b39f-c73efce5ac08
|
2
|
|
Topology aware adaptive security, file 9b88d616-4a4e-4a8d-aaf1-0f14bfb814ae
|
2
|
|
The ForeMoSt approach to building valid model-based safety arguments, file ad59712c-5f7b-44b3-8686-a43934338897
|
2
|
|
Poster: Towards multi-robot applications planning under uncertainty, file ca6b3834-1a90-423a-82ab-d47b4d032da3
|
2
|
|
An Architecture for Decentralized, Collaborative, and Autonomous Robots, file d40c6044-d62a-4496-9289-3a52e3d38be1
|
2
|
|
Evaluating model testing and model checking for finding requirements violations in Simulink models, file deb934b2-dab8-4305-85b8-9a1d4e92f074
|
2
|
|
Assurance Case Development as Data: A Manifesto, file e355d53b-0784-44d0-aef5-65915a963f84
|
2
|
|
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification, file f125f914-c2ac-4b1f-8e89-698484e8d38f
|
2
|
|
PsALM: Specification of dependable robotic missions, file f48dc64e-37e4-4416-9ff7-bdd43f7aa158
|
2
|
|
On requirements verification for model refinements, file fa6ccf7f-e86a-400f-8359-0b7f28e8a701
|
2
|
|
COVER: Change-based goal verifier and reasoner, file fac3f443-66a7-4c13-b3b6-b24298a4fee8
|
2
|
|
Two Simulink Models with Requirements for a Simple Controller of a Pacemaker Device, file fc66627c-a3ce-4e17-8689-93e4312f1199
|
2
|
|
A control-theoretic approach to self-adaptive systems and an application to cloud-based software, file fe928da7-8788-4ca4-9884-e896c66d7162
|
2
|
|
Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator, file 185d9a80-be84-4521-a1f3-3735a89ffb90
|
1
|
|
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors, file 1ff798b1-55f4-41f6-8700-b21b811c234c
|
1
|
|
Software Architectures for AI Systems: State of Practice and Challenges, file 54b391ec-a545-47f7-ae28-bcd55c2c1e76
|
1
|
|
Trace-checking CPS properties: Bridging the cyber-physical gap, file 56a7088f-2d14-428c-b1e4-e5aa93ee2344
|
1
|
|
Assurance Case Arguments in the Large: The CERN LHC Machine Protection System, file 62b87e3f-342c-4791-b8d2-0ef6e4d9498d
|
1
|
|
ARCH-COMP 2022 Category Report: Falsification with Ubounded Resources, file 6f5cab79-2f3b-417f-9625-83133ee52bbb
|
1
|
|
ARCH-COMP 2023 Category Report: Falsification, file 750c39c4-1d55-4119-a5a2-1d9ad32a3869
|
1
|
|
Mining Assumptions for Software Components using Machine Learning, file 918c5701-a853-42b7-8832-ad94fa029481
|
1
|
|
ARCH-COMP 2021 Category Report: Falsification with Validation of Results, file a33d53c0-cbb2-468b-a25d-543006ac1967
|
1
|
|
Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models, file ab856037-40ea-4f79-b9fb-e282cd292489
|
1
|
|
Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions, file afb6bafd-b4f1-43cd-9b50-d44d00364da2
|
1
|
| Totale |
586 |