Search results for "ISoLA"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Philippe Baufreton, Reinhold Heckmann	Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application.	ISoLA	2007	DBLP BibTeX RDF
1	Jacques Julliand, Hassan Mountassir, Emilie Oudot	Preservation of timed properties during an incremental development by components.	ISoLA	2007	DBLP BibTeX RDF
1	Ahmed Rahni, Emmanuel Grolleau, Michaël Richard	New worst-case analysis technique for real-time transactions.	ISoLA	2007	DBLP BibTeX RDF
1	Frédéric Boniol, Claire Pagetti, François Revest	Formal Functionally Deterministic Scheduling.	ISoLA	2007	DBLP BibTeX RDF
1	Jean-François Hermant, Laurent George 0001	A C-space sensitivity analysis of Earliest Deadline First scheduling.	ISoLA	2007	DBLP BibTeX RDF
1	Marco Bakera, Tiziana Margaria, Clemens D. Renner, Bernhard Steffen	Verification, Diagnosis and Adaptation: Tool supported enhancement of the model-driven verification process.	ISoLA	2007	DBLP BibTeX RDF
1	Lydie du Bousquet, Masahide Nakamura, Ben Yan, Hiroshi Igaki	Using Formal Methods to increase confidence in one Home Network System implementation: Case study.	ISoLA	2007	DBLP BibTeX RDF
1	Jean-Paul Blanquart, Gérard Bulsa, David Lesens, George Mamais, Maxime Perrotin	Formal Modeling of Data. A Case Study for Space Applications.	ISoLA	2007	DBLP BibTeX RDF
1	Sylvain Camier, Damien Chabrol, Vincent David, Christophe Aussaguès	OASIS formal approach for distributed safety-critical real-time system design.	ISoLA	2007	DBLP BibTeX RDF
1	Michael Leuschel, Daniel Plagge	Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.	ISoLA	2007	DBLP BibTeX RDF
1	Andreas Bauer 0002, Martin Leucker, Christian Schallhart, Michael Tautschnig	Don't care in SMT-Building flexible yet efficient abstraction/refinement solvers.	ISoLA	2007	DBLP BibTeX RDF
1	Muzammil Shahbaz, Roland Groz	Using Invariant Detection Mechanism in Black Box Inference.	ISoLA	2007	DBLP BibTeX RDF
1	Patrick Cousot	Avionic Software Verification by Abstract Interpretation.	ISoLA	2007	DBLP BibTeX RDF
1	Odile Laurent	The aeronautical systems development challenges for Airbus.	ISoLA	2007	DBLP BibTeX RDF
1	Jérôme Ermont, Frédéric Boniol	Verification of embbeded systems with preemption: a negative result.	ISoLA	2007	DBLP BibTeX RDF
1	Paul Caspi	Model-based development of embedded control systems: historical perspective and recent advances.	ISoLA	2007	DBLP BibTeX RDF
1	Sabah Khalid, Mohsin Khan, Ping Wang, Xiaohui Liu 0001, Suling Li	Application of Bioinformatics in the Design of Gene Expression Microarrays.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jeremy W. Bryans, John S. Fitzgerald, Cliff B. Jones, Igor Mozolevsky	Formal Modelling of Dynamic Coalitions, with an Application in Chemical Engineering.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Hammer 0001, Jens Krinke, Frank Nodes	Intransitive Noninterference in Dependence Graphs.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Abílio Fernandes, Karin Koogan Breitman, Tatiana Almeida S. C. Vieira, Marco A. Casanova, António L. Furtado 0001	Semi-automated Workflow Synthesis.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Bernhard Steffen (eds.)	Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers	ISoLA	2006	DBLP DOI BibTeX RDF
1	T. E. Daniel, S. N. I. Mount, Robert M. Newman, Elena I. Gaura	"Towards a Trusted Compiler for a Query Language for Wireless Sensor Networks.".	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jin Song Dong, Yuzhang Feng, Jing Sun 0002, Jun Sun 0001	Context Awareness Systems Design and Reasoning.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch	Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Sari Leppänen	Formal Verification of Consistency in Model-Driven Development of Distributed Communicating Systems and Communication Protocols.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Matthias Güdemann, Frank Ortmeier, Wolfgang Reif	Safety and Dependability Analysis of Self-Adaptive Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Steffen Stein, Arne Hamann, Rolf Ernst	Real-Time Property Verification in Organic Computing Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Joseph Kiniry	Program Safety via Programmer Safety.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Yamine Aït Ameur, Remi Delmas, Alexandre Cortier, Virginie Wiels	Formal Modelling of Avionics Systems. An Approach Based on Category Theory and the EXPRESS Modelling Language.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Wolfgang Reisig, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg, Karsten Wolf, Kathrin Kaschner	Analysis Techniques for Service Models.	ISoLA	2006	DBLP DOI BibTeX RDF
1	M. Saud, Ibrahim I. Esat	A Novel Method for Obtaining Real Time Control Strategy Using GA for Dynamical Systems Subjected to External Arbitrary Excitations.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Mohammed Al Achhab, Ahmed Hammad, Hassan Mountassir	Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Rachel Cardell-Oliver, Mark Reynolds 0001, Mark Kranz	A Space and Time Requirements Logic for Sensor Networks.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Xianghua Deng, Robby, John Hatcliff	Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution.	ISoLA	2006	DBLP DOI BibTeX RDF
1	John S. Fitzgerald, Peter Gorm Larsen	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract).	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jürgen Großmann, Wolfgang Müller 0003	A Formal Behavioral Semantics for TestML.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Michele Garetto, Marco Gribaudo	Model Checking Techniques for the Performance Analysis of Delay Tolerant Networks with On-off Behavior.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Hashing Injective CLEAR Codes, and Security Properties.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Geguang Pu, Huibiao Zhu, Jifeng He 0001, Zongyan Qiu, Hongli Yang, Xiangpeng Zhao	Patterns with Algebraic Properties in BPEL0.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Bastian Schlich, Stefan Kowalewski	[mc]square: A Model Checker for Microcontroller Code.	ISoLA	2006	DBLP DOI BibTeX RDF
1	F. S. Alfares, Ibrahim I. Esat	Real-Coded Quantum Inspired Evolution Algorithm Applied to Engineering Optimization Problems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Matthias Fruth	Probabilistic Model Checking of Contention Resolution in the IEEE 802.15.4 Low-Rate Wireless Personal Area Network Protocol.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Christian Kubczak, Bernhard Steffen, Stefan Naujokat	The FMICS-jETI Platform: Status and Perspectives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur	Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Markus Bajohr, Tiziana Margaria, Bernhard Steffen	Service Based Enabling Service Availability in the MaTRICS: A Model-Driven Approach.	ISoLA	2006	DBLP DOI BibTeX RDF
1	José M. Alvarez, Pedro de la Cámara, Jesús Martínez, Pedro Merino 0001, Francisco C. Perez, Victoria Morillo	An SDL Implementation of the UMTS Radio Resource Control Protocol Oriented to Conformance Testing.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Lili Tan	The Worst Case Execution Time Tool Challenge 2006: The External Test.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jürgen Branke, Moez Mnif, Christian Müller-Schloer, Holger Prothmann, Urban Richter, Fabian Rochner, Hartmut Schmeck	Organic Computing - Addressing Complexity by Controlled Self-Organization.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jan Gustafsson	The Worst Case Execution Time Tool Challenge 2006.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Vadim S. Mutilin	Concurrent Testing of Java Components Using Java PathFinder.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Alexander Kamkin	The UniTESK Approach to Specification-Based Validation of Hardware Designs.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Michael G. Hinchey, Thomas Pressburger, Martin S. Feather, Lawrence Markosian, Wes Deadrick	Software Assurance Research Infusion: The NASA Experience.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Kubczak, Tiziana Margaria, Arno Fritsch, Bernhard Steffen	Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms.	ISoLA	2006	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Christophe Joubert, Pedro Merino 0001	Implementing Influence Analysis Using Parameterised Boolean Equation Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Zhiming Liu 0001, Vladimir Mencl, Anders P. Ravn, Lu Yang	Harnessing Theories for Tool Support.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin	Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard	Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.	ISoLA	2006	DBLP DOI BibTeX RDF
1	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	Reasoning about Airport Security Regulations Using the Focal Environment.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Jianhua Zhao, Bin Lei, Xuandong Li, Guoliang Zheng	Improve Model Checking Efficiency Using Specific Knowledge about the System.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Leif Pedersen, Hassan Reza	A Formal Specification of a Programming Language: Design of Pit.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Laura Kovács, Nikolaj Popov, Tudor Jebelean	Combining Logic and Algebraic Techniques for Program Verification in Theorema.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Daniel Sehlberg, Andreas Ermedahl, Jan Gustafsson, Björn Lisper, Steffen Wiegratz	Static WCET Analysis of Real-Time Task-Oriented Code in Vehicle Control Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Ji Wang 0001, Xiaodong Yi 0002, Xuejun Yang	Towards a Framework for Scalable Model Checking of Concurrent C Programs.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Carolyn L. Talcott	Formal Executable Models of Cell Signaling Primitives.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova	An Automated Approach for Writing Alloy Specifications Using Instances.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Buckl, Alois C. Knoll, Gerhard Schrott	Model-Based Development of Fault-Tolerant Embedded Software.	ISoLA	2006	DBLP DOI BibTeX RDF
1		Leveraging Applications of Formal Methods, Second International Symposium, ISoLA 2006, Paphos, Cyprus, 15-19 November 2006	ISoLA	2006	DBLP BibTeX RDF
1	A. K. McIver, Ansgar Fehnker	Formal Techniques for the Analysis of Wireless Networks.	ISoLA	2006	DBLP DOI BibTeX RDF
1	June Andronick	Formally Proved Anti-tearing Properties of Embedded C Code.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Paolo Ballarini, Alice Miller 0001	Model Checking Medium Access Control for Sensor Networks.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Thomas P. Jensen	Certificates of Resource Usage on Mobile Telephones.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Peter T. Breuer, Simon Pickin 0001	Verification in the Large via Symbolic Approximation.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Akim Demaille, Sylvain Peyronnet, Benoît Sigoure	Modeling of Sensor Networks Using XRM.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Farn Wang	REDLIB for the Formal Verification of Embedded Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Reinhold Kröger, Ulrike Lucke, Markus Schmid 0001, Djamshid Tavangarian	Web Services for the Integration of XML-Based Content into Learning Platforms: A Three-level Model.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Ewen Denney, Bernd Fischer 0002	Extending Source Code Generators for Evidence-Based Software Certification.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Sergey V. Zelenov, Denis V. Silakov, Alexander K. Petrenko, Mirko Conrad, Ines Fey	Automatic Test Generation for Model-Based Code Generators.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Naijun Zhan	Connecting Algebraic and Logical Descriptions of Concurrent Systems.	ISoLA	2006	DBLP DOI BibTeX RDF
1	David von Oheimb	Formal Security Analysis in Industry, at the Example of Electronic Distribution of Aircraft Software (EDS).	ISoLA	2006	DBLP DOI BibTeX RDF
1	Christian Wagner 0005, Tiziana Margaria, Hans-Georg Pagendarm	Comparative Analysis of Tools for Automated Software Re-engineering Purposes.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Pascal Montag, Steffen Görzig, Paul Levi	Challenges of Timing Verification Tools in the Automotive Domain.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Sándor P. Fekete, Christiane Schmidt 0001, Axel Wegener, Stefan Fischer 0001	Recognizing Traffic Jams with Hovering Data Clouds.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Sébastien Labbé 0002, Arnault Lapitre	CARVER: A Slicing Tool for Communicating Automata Specifications.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Kai Richter	The AUTOSAR Timing Model - Status and Challenges -.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Daniel Sandell, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Static Timing Analysis of Real-Time Operating System Code.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Wolf Zimmermann	On the Correctness of Transformations in Compiler Back-Ends.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund	Designing Safe, Reliable Systems Using Scade.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Dave Clarke 0001, David Costa 0001, Farhad Arbab	Modelling Coordination in Biological Systems.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Anders Wall, Johan Andersson, Christer Norström	Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Matthew Hoosier, Matthew B. Dwyer, Robby, John Hatcliff	A Case Study in Domain-Customized Model Checking for Real-Time Component Software.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Andries Stam, Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Leendert W. N. van der Torre	Using XML Transformations for Enterprise Architectures.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Farhad Arbab, Joost N. Kok	Interaction and Coordination of Tools for Structured Data.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Daniel J. Quinlan, Markus Schordan, Qing Yi, Andreas Sæbjørnsen	Classification and Utilization of Abstractions for Optimization.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Byron Cook, Daniel Kroening, Natasha Sharygina	Accurate Theorem Proving for Program Verification.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Sriram K. Rajamani, Jakob Rehof	Models for Contract Conformance.	ISoLA	2004	DBLP DOI BibTeX RDF
1	Joost Jacob	A Rule Markup Language and Its Application to UML.	ISoLA	2004	DBLP DOI BibTeX RDF

Publications at "ISoLA"( http://dblp.L3S.de/Venues/ISoLA )