| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Visar Januzaj, Stefan Kugele, Boris Langer, Christian Schallhart, Helmut Veith |
New Challenges in the Development of Critical Embedded Systems - An "aeromotive" Perspective.  |
ISoLA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joy Chakraborty, Deepak D'Souza, K. Narayan Kumar |
Analysing Message Sequence Graph Specifications. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Pakulin, Anastasia Tugaenko |
Specification Based Conformance Testing for Email Protocols. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei-Lun Wang, Quincy Wu |
Relay Placement Problem in Smart Grid Deployment. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu-Fang Chen, Edmund M. Clarke, Azadeh Farzan, Fei He, Ming-Hsien Tsai, Yih-Kuen Tsay, Bow-Yaw Wang, Lei Zhu |
Comparing Learning Algorithms in Automated Assume-Guarantee Reasoning. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gergö Barany, Adrian Prantl |
Source-Level Support for Timing Analysis. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe |
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Boussard, Pierrick Thébault |
Navigating the Web of Things: Visualizing and Interacting with Web-Enabled Objects. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
Task Forces in the EternalS Coordination Action. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Li, Jianhua Zhao, Xuandong Li |
Optimize Context-Sensitive Andersen-Style Points-To Analysis by Method Summarization and Cycle-Elimination. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Lori, Giovanni Stea, Gigliola Vaglini |
Towards Resource-Optimal Routing Plans for Real-Time Traffic. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Bouillard, Marc Boyer, Samarjit Chakraborty, Steven Martin, Jean-Luc Scharbarg, Giovanni Stea, Eric Thierry |
Special Track on Worst Case Traversal Time (WCTT). |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörg Ott |
Towards More Adaptive Voice Applications. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raimund Kirner, Stephan Herhut, Sven-Bodo Scholz |
Compiler-Support for Robust Multi-core Computing. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tolga Dalman, Peter Droste, Michael Weitzel, Wolfgang Wiechert, Katharina Nöh |
Workflows for Metabolic Flux Analysis: Data Integration and Human Interaction. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bisti, Luciano Lenzini, Enzo Mingozzi, Giovanni Stea |
DEBORAH: A Tool for Worst-Case Analysis of FIFO Tandems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Euriell Le Corronc, Bertrand Cottenceau, Laurent Hardouin |
Flow Control with (Min, +) Algebra. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost N. Kok, Anna-Lena Lamprecht, Mark D. Wilkinson |
Tools in Scientific Workflow Composition. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ebroul Izquierdo, Tomas Piatrik, Qianni Zhang |
3DLife: Bringing the Media Internet to Life. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
Towards Dynamic Adaptation of Probabilistic Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Bartolini, Karin Breitman, Simone Diniz Junqueira Barbosa, Mathias Sallé, Rita Berardi, Glaucia Melissa Campos, Erik Eidt |
Understanding IT Organizations. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand |
Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu, Martin Schäf, Ling Yin |
AutoPA: Automatic Prototyping from Requirements. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata |
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fides Aarts, Julien Schmaltz, Frits W. Vaandrager |
Inference and Abstraction of the Biometric Passport. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhongxing Xu, Ted Kremenek, Jian Zhang |
A Memory Model for Static Analysis of C Programs. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonia Bertolino, Paola Inverardi, Valérie Issarny, Antonino Sabetta, Romina Spalazzese |
On-the-Fly Interoperability through Automated Mediator Synthesis and Monitoring. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaela Huhn, Axel Zechner |
Arguing for Software Quality in an IEC 62304 Compliant Development Process. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christel Baier, Tobias Blechmann, Joachim Klein, Sascha Klüppelholz, Wolfgang Leister |
Design and Verification of Systems with Exogenous Coordination Using Vereofy. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Boyer |
NC-Maude: A Rewriting Tool to Play with Network Calculus. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yamine Aït Ameur, Frédéric Boniol, Dominique Méry, Virginie Wiels |
Thematic Track: Formal Languages and Methods for Designing and Verifying Complex Embedded Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele |
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ina Schaefer |
Modeling and Analyzing Diversity - Description of EternalS Task Force 1. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Roos, Sean Bechhofer, Jun Zhao, Paolo Missier, David R. Newman, David De Roure, M. Scott Marshall |
A Linked Data Approach to Sharing Workflows and Workflow Results. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Twan Basten, Emiel van Benthum, Marc Geilen, Martijn Hendriks, Fred Houben, Georgeta Igna, Frans Reckers, Sebastian de Smet, Lou J. Somers, Egbert Teeselink |
Model-Driven Design-Space Exploration for Embedded Systems: The Octopus Toolset. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Moschitti |
Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu |
SPARDL: A Requirement Modeling Language for Periodic Control System. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Zolda, Sven Bünte, Raimund Kirner |
Context-Sensitivity in IPET for Measurement-Based Timing Analysis. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz |
Certification of Embedded Software - Impact of ISO DIS 26262 in the Automotive Domain. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Donald D. Cowan, Paulo S. C. Alencar, Fred McGarry, Carlos José Pereira de Lucena, Ingrid Nunes |
A Web-Based Framework for Collaborative Innovation. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bernhard Steffen, Maik Merten |
From ZULU to RERS - Lessons Learned in the ZULU Challenge. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
Certification of Software-Driven Medical Devices. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Chris Chilton, Paola Inverardi, Marta Z. Kwiatkowska, Massimo Tivoli |
Towards a Connector Algebra. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Knoop, Wolf Zimmermann |
On the Role of Non-functional Properties in Compiler Verification. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hafner |
Modeling and Managing System Evolution - Description of EternalS Task Force 2. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry |
The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto |
Contract-Based Slicing. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor V. Kuliamin, Alexander Petukhov |
Covering Arrays Generation Methods Survey. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen (eds.) |
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Tribastone, Philip Mayer, Martin Wirsing |
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | André Carvalho, Joel Carvalho, Jorge Sousa Pinto, Simão Melo de Sousa |
Model-Checking Temporal Properties of Real-Time HTL Programs. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandford Bessler |
Telco Service Delivery Platforms in the Last Decade - A R&D Perspective. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitra Giannakopoulou, Corina S. Pasareanu |
Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marianne De Michiel, Armelle Bonenfant, Clément Ballabriga, Hugues Cassé |
Partial Flow Analysis with oRange. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Moschitti |
LivingKnowledge: Kernel Methods for Relational Learning and Semantic Modeling. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Withers, Edward A. Kawas, E. Luke McCarthy, Benjamin P. Vandervalk, Mark D. Wilkinson |
Semantically-Guided Workflow Construction in Taverna: The SADI and BioMoby Plug-Ins. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Johansson |
Self-adaptation and Evolution by Learning - Description of EternalS Task Force 3. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Boudewijn R. Haverkort, Joost-Pieter Katoen, Kim G. Larsen |
Quantitative Verification in Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan Kugele, Michael Tautschnig, Martin Wechs |
Seamless Model-Driven Development Put into Practice. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn Lisper, Andreas Ermedahl, Dietmar Schreiner, Jens Knoop, Peter Gliwa |
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vanessa C. F. Gonçalves, Priscila M. V. Lima, Nelson Maculan, Felipe M. G. França |
A Distributed Dynamics for WebGraph Decontamination. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Therese Bohlin, Bengt Jonsson, Siavash Soleimanifard |
Inferring Compact Models of Communication Protocol Entities. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Yuhong Yan |
Adaptive Composition of Conversational Services through Graph Planning Encoding. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Birken, Daniel Hünig, Thomas Rustemeyer, Ralph Wittmann |
Resource Analysis of Automotive/Infotainment Systems Based on Domain-Specific Models - A Real-World Example. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michaël Lauer, Jérôme Ermont, Claire Pagetti, Frédéric Boniol |
Analyzing End-to-End Functional Delays on an IMA Platform. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens B. Schmitt, Hao Wang, Ivan Martinovic |
A Self-adversarial Approach to Delay Analysis under Arbitrary Scheduling. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Kollmann, Victor Pollex, Kilian Kempf, Frank Slomka |
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders P. Ravn, Jirí Srba, Saleem Vighio |
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Clarke, Keith Howker |
Overview of Roadmapping by EternalS. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Fischmeister, Akramul Azim |
Design Choices for High-Confidence Distributed Real-Time Software. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Vid Podpecan, Monika Záková, Nada Lavrac |
Workflow Construction for Service-Oriented Knowledge Discovery. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgeta Igna, Frits W. Vaandrager |
Verification of Printer Datapaths Using Timed Automata. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis V. Silakov, Andrey Smachev |
Improving Portability of Linux Applications by Early Detection of Interoperability Issues. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Holzer, Visar Januzaj, Stefan Kugele, Michael Tautschnig |
Timely Time Estimates. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Scandariato, Fabio Massacci |
SecureChange: Security Engineering for Lifelong Evolvable Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Parosh Aziz Abdulla, Jonathan Cederberg, Lisa Kaati |
Analyzing the Security in the GSM Radio Network Using Attack Jungles. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Felicita Di Giandomenico, Marta Z. Kwiatkowska, Marco Martinucci, Paolo Masci, Hongyang Qu |
Dependability Analysis and Verification for Connected Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cecilia Englander, Edward Hermann Haeusler |
On the 2-Categorical View of Proofs. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Gyu Myoung Lee, Noël Crespi |
Shaping Future Service Environments with the Cloud and Internet of Things: Networking Challenges and Service Evolution. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Falk Howar, Bengt Jonsson, Maik Merten, Bernhard Steffen, Sofia Cassel |
On Handling Data in Automata Learning - Considerations from the CONNECT Perspective. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tiziana Margaria, Bernhard Steffen (eds.) |
Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Johan Karlsson, Victoria Martin-Requena, Javier Ríos, Oswaldo Trelles |
Workflow Composition and Enactment Using jORCA. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Inverardi, Valérie Issarny, Romina Spalazzese |
A Theory of Mediators for Eternal Connectors. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiansheng Xing, Bart D. Theelen, Rom Langerak, Jaco van de Pol, Jan Tretmans, Jeroen Voeten |
UPPAAL in Practice: Quantitative Verification of a RapidIO Network. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle |
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel |
A Case Study in Model-Based Adaptation of Web Services. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Bennaceur, Gordon S. Blair, Franck Chauvel, Gang Huang 0001, Nikolaos Georgantas, Paul Grace, Falk Howar, Paola Inverardi, Valérie Issarny, Massimo Paolucci, Animesh Pathak, Romina Spalazzese, Bernhard Steffen, Bertrand Souville |
Towards an Architecture for Runtime Interoperability. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiehan Zhou, Ekaterina Gilman, Jukka Riekki, Mika Rautiainen, Mika Ylianttila |
Ontology-Driven Pervasive Service Composition for Everyday Life. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
Assurance Cases in Model-Driven Development of the Pacemaker Software. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Soares, Miguel Calejo |
Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Mikucionis, Kim Guldstrand Larsen, Jacob Illum Rasmussen, Brian Nielsen, Arne Skou, Steen Ulrik Palm, Jan Storbank Pedersen, Poul Hougaard |
Schedulability Analysis Using Uppaal: Herschel-Planck Case Study. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ingrid Nunes, Simone Diniz Junqueira Barbosa, Carlos José Pereira de Lucena |
Increasing Users' Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson |
Modeling and Reasoning about Service Behaviors and Their Compositions. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jörn Schneider, Christian Eltges |
Towards an Evaluation Infrastructure for Automotive Multicore Real-Time Operating Systems. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominique Méry, Neeraj Kumar Singh |
Trustable Formal Specification for Software Certification. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Puffitsch, Benedikt Huber, Martin Schoeberl |
Worst-Case Analysis of Heap Allocations. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeroen S. de Bruin, Joost N. Kok |
Combining Subgroup Discovery and Permutation Testing to Reduce Reduncancy. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adriano Gomes, Alexandre Mota, Augusto Sampaio, Felipe Ferri, Julio Buzzi |
Systematic Model-Based Safety Assessment Via Probabilistic Model Checking. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maja Vukovic, Claudio Bartolini |
Towards a Research Agenda for Enterprise Crowdsourcing. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andréa Magalhães Magdaleno, Cláudia Maria Lima Werner, Renata Mendes de Araujo |
Analyzing Collaboration in Software Development Processes through Social Networks. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")