logo
case studies

Konferenzergebnisse (8)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
AI-assisted software testingAutomated test generationFormal verification+35 mehr

IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Rank: AOffline
Irvine, USA
May 6, 2025 - May 9, 2025
Systems with timing requirementsapplicationscase studies+8 mehr

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 mehr

International Conference on Internet of Things, Big Data and Security (IoTBDS)

Rank: CHybrid
Benidorm, Spain
May 21, 2026 - May 23, 2026
Internet of ThingsBig DataSecurity+74 mehr

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Rank: AOffline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability TestingPropositional SatisfiabilityBoolean optimization+18 mehr

International Conference on Interactive Digital Storytelling (ICIDS)

Rank: CHybrid
Malta
Dec 1, 2025 - Dec 5, 2025
Interactive Digital StorytellingTheoryHistory+8 mehr

IEEE International Conference on Software Services Engineering (IEEE SSE)

Rank: BOffline
Helsinki, Finland
Jul 7, 2025 - Jul 12, 2025
Human-Behavior-Driven Requirements Engineering for Software ServicesHuman-Centric Software Service EngineeringPersuasive Software Services for Human-in-SSE Systems+17 mehr

Conference on Agile Software Development (XP)

Rank: BOffline
Brugg - Windisch, Switzerland
Jun 2, 2025 - Jun 5, 2025
Agile Software DevelopmentLeadership and coachingHuman aspects+51 mehr