Skip to content

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

ISoLA

C

CORE rank

CORE rank (raw)

C

Fields of research

Software Engineering

Papers indexed

1,121

2004–2024

Papers per year

2004135 peak2024

ISoLA papers

1,121 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2011Service Component Architectures in Robotics: The SCA-Orocos Integration.Davide Brugali, Luca Gherardi, Markus Klotzbcher, Herman Bruyninckx
2011Towards Reorientation with a Humanoid Robot.Dietmar Bruckner, Markus Vincze, Isabella Hinterleitner
2011Cognitive Decision Unit Applied to Autonomous Robots.Dietmar Bruckner, Friedrich Gelbard
2011Machine Learning for Automatic Classification of Web Service Interface Descriptions.Amel Bennaceur, Valrie Issarny, Richard Johansson, Alessandro Moschitti, Daniel Sykes, Romina Spalazzese
2010Context-Sensitivity in IPET for Measurement-Based Timing Analysis.Michael Zolda, Sven Bnte, Raimund Kirner
2010Ontology-Driven Pervasive Service Composition for Everyday Life.Jiehan Zhou, Ekaterina Gilman, Jukka Riekki, Mika Rautiainen, Mika Ylianttila
2010A Memory Model for Static Analysis of C Programs.Zhongxing Xu, Ted Kremenek, Jian Zhang
2010UPPAAL in Practice: Quantitative Verification of a RapidIO Network.Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten
2010Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins.David Withers, Edward A. Kawas, E. Luke McCarthy, Benjamin P. Vandervalk, Mark D. Wilkinson
2010Relay Placement Problem in Smart Grid Deployment.Wei-Lun Wang, Quincy Wu
2010SPARDL: A Requirement Modeling Language for Periodic Control System.Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu
2010Towards a Research Agenda for Enterprise Crowdsourcing.Maja Vukovic, Claudio Bartolini
2010Performance Prediction of Service-Oriented Systems with Layered Queueing Networks.Mirco Tribastone, Philip Mayer, Martin Wirsing
2010An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks.Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele
2010Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL.Carlos Soares, Miguel Calejo
2010Improving Portability of Linux Applications by Early Detection of Interoperability Issues.Denis V. Silakov, Andrey Smachev
2010Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems.Jrn Schneider, Christian Eltges
2010A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling.Jens B. Schmitt, Hao Wang, Ivan Martinovic
2010Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain.Bernhard Schtz
2010Modeling and Analyzing Diversity - Description of EternalS Task Force 1.Ina Schaefer
2010SecureChange: Security Engineering for Lifelong Evolvable Systems.Riccardo Scandariato, Fabio Massacci
2010A Linked Data Approach to Sharing Workflows and Workflow Results.Marco Roos, Sean Bechhofer, Jun Zhao, Paolo Missier, David R. Newman, David De Roure, M. Scott Marshall
2010A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL.Anders P. Ravn, Jir Srba, Muhammad Saleem Vighio
2010Worst-Case Analysis of Heap Allocations.Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl
2010Adaptive Composition of Conversational Services through Graph Planning Encoding.Pascal Poizat, Yuhong Yan
801825 of 1,121← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.