Search

Your search keyword '"Pantel, Marc"' showing total 254 results
Start Over Author "Pantel, Marc"
254 results on '"Pantel, Marc"'

2. Empowering the Event-B Method Using External Theories

Author

Aït-Ameur, Yamine, Dupont, Guillaume, Mendil, Ismail, Méry, Dominique, Pantel, Marc, Rivière, Peter, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, ter Beek, Maurice H., editor, and Monahan, Rosemary, editor

Published
2022
Full Text
View/download PDF

3. Ordering Strict Partial Orders to Model Behavioral Refinement

Author

Montin, Mathieu and Pantel, Marc

Subjects
Computer Science - Logic in Computer Science, Computer Science - Software Engineering
Abstract

Software is now ubiquitous and involved in complex interactions with the human users and the physical world in so-called cyber-physical systems where the management of time is a major issue. Separation of concerns is a key asset in the development of these ever more complex systems. Two different kinds of separation exist: a first one corresponds to the different steps in a development leading from the abstract requirements to the system implementation and is qualified as vertical. It matches the commonly used notion of refinement. A second one corresponds to the various components in the system architecture at a given level of refinement and is called horizontal. Refinement has been studied thoroughly for the data, functional and concurrency concerns while our work focuses on the time modeling concern. This contribution aims at providing a formal construct for the verification of refinement in time models, through the definition of an order between strict partial orders used to relate the different instants in asynchronous systems. This relation allows the designer at the concrete level to distinguish events that are coincident at the abstract level while preserving the properties assessed at the abstract level. This work has been conducted using the proof assistant Agda and is connected to a previous work on the asynchronous language CCSL, which has also been modelled using the same tool., Comment: In Proceedings Refine 2018, arXiv:1810.08739

Published
2018
Full Text
View/download PDF

5. Event-B Refinement for Continuous Behaviours Approximation

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Hou, Zhe, editor, and Ganesh, Vijay, editor

Published
2021
Full Text
View/download PDF

7. Probabilistic Failure Analysis in Model Validation & Verification

Author

Ge, Ning, Pantel, Marc, and Crégut, Xavier

Subjects
Computer Science - Software Engineering, Computer Science - Learning
Abstract

Automated fault localization is an important issue in model validation and verification. It helps the end users in analyzing the origin of failure. In this work, we show the early experiments with probabilistic analysis approaches in fault localization. Inspired by the Kullback-Leibler Divergence from Bayesian probabilistic theory, we propose a suspiciousness factor to compute the fault contribution for the transitions in the reachability graph of model checking, using which to rank the potential faulty transitions. To automatically locate design faults in the simulation model of detailed design, we propose to use the statistical model Hidden Markov Model (HMM), which provides statistically identical information to component's real behavior. The core of this method is a fault localization algorithm that gives out the set of suspicious ranked faulty components and a backward algorithm that computes the matching degree between the HMM and the simulation model to evaluate the confidence degree of the localization conclusion., Comment: In International Conference on Embedded Real Time Software and Systems (ERTS 2014)

Published
2016

9. Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Author

Singh, Neeraj Kumar, Aït-Ameur, Yamine, Méry, Dominique, Navarre, David, Palanque, Philippe, Pantel, Marc, Filipe, Joaquim, Editorial Board Member, Ghosh, Ashish, Editorial Board Member, Kotenko, Igor, Editorial Board Member, Prates, Raquel Oliveira, Editorial Board Member, Zhou, Lizhu, Editorial Board Member, Hasan, Osman, editor, and Mallet, Frédéric, editor

Published
2020
Full Text
View/download PDF

10. An Event-B Based Generic Framework for Hybrid Systems Formal Modelling

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Dongol, Brijesh, editor, and Troubitsyna, Elena, editor

Published
2020
Full Text
View/download PDF

11. Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Singh, Neeraj K., Ishikawa, Fuyuki, Kobayashi, Tsutomu, Pantel, Marc, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Lin, Shang-Wei, editor, Hou, Zhe, editor, and Mahony, Brendan, editor

Published
2020
Full Text
View/download PDF

12. Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Raschke, Alexander, editor, Méry, Dominique, editor, and Houdek, Frank, editor

Published
2020
Full Text
View/download PDF

13. Report on the First Workshop On the Globalization of Modeling Languages

Author

Combemale, Benoit, De Antoni, Julien, France, Robert B., Boulanger, Frédéric, Mosser, Sebastien, Pantel, Marc, Rumpe, Bernhard, Salay, Rick, and Schindler, Martin

Subjects
Computer Science - Software Engineering
Abstract

The first edition of GEMOC workshop was co-located with the MODELS 2013 conference in Miami, FL, USA. The workshop provided an open forum for sharing experiences, problems and solutions related to the challenges of using of multiple modeling languages in the development of complex software based systems. During the workshop, concrete language composition artifacts, approaches, and mechanisms were presented and discussed, ideas and opinions exchanged, and constructive feedback provided to authors of accepted papers. A major objective was to encourage collaborations and to start building a community that focused on providing solutions that support what we refer to as the globalization of domain-specific modeling languages, that is, support coordinated use of multiple languages throughout the development of complex systems. This report summarizes the presentations and discussions that took place in the first GEMOC 2013 workshop., Comment: 11 pages, 7 figures

Published
2014

14. Correct-by-construction model composition: Application to the Invasive Software Composition method

Author

Hamiaz, Mounira Kezadri, Pantel, Marc, Combemale, Benoît, and Thirioux, Xavier

Subjects
Computer Science - Software Engineering, Computer Science - Logic in Computer Science, D.2, F.4
Abstract

Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. A first experiment was conducted in [15] using proof assistants to formalize the generic composition technology ISC and prove that type checking was compositional. This contribution extends our early work to handle full model conformance and study the mandatory residual verification. It shows that ISC operators are not fully compositional with respect to conformance and provides the minimal preconditions on the operators mandatory to ensure compositional conformance. The appropriate operators from ISC (especially bind) have been implemented in the COQ4MDE framework that provides a full implementation of MOF in the COQ proof assistant. Expected properties, respectively residual verification, are expressed as post, respectfully pre, conditions for the composition operators. The correctness of the compositional verification is proven in COQ., Comment: In Proceedings FESCA 2014, arXiv:1404.0436

Published
2014
Full Text
View/download PDF

15. Credible Autocoding of Convex Optimization Algorithms

Author

Wang, Timothy, Jobredeaux, Romain, Pantel, Marc, Garoche, Pierre-Loic, Feron, Eric, and Henrion, Didier

Subjects
Computer Science - Systems and Control
Abstract

The efficiency of modern optimization methods, coupled with increasing computational resources, has led to the possibility of real-time optimization algorithms acting in safety critical roles. There is a considerable body of mathematical proofs on on-line optimization programs which can be leveraged to assist in the development and verification of their implementation. In this paper, we demonstrate how theoretical proofs of real-time optimization algorithms can be used to describe functional properties at the level of the code, thereby making it accessible for the formal methods community. The running example used in this paper is a generic semi-definite programming (SDP) solver. Semi-definite programs can encode a wide variety of optimization problems and can be solved in polynomial time at a given accuracy. We describe a top-to-down approach that transforms a high-level analysis of the algorithm into useful code annotations. We formulate some general remarks about how such a task can be incorporated into a convex programming autocoder. We then take a first step towards the automatic verification of the optimization program by identifying key issues to be adressed in future work.

Published
2014

16. From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems

Author

Wang, Timothy, Jobredeaux, Romain, Herencia, Heber, Garoche, Pierre-Loic, Dieumegard, Arnaud, Feron, Eric, and Pantel, Marc

Subjects
Computer Science - Systems and Control, Computer Science - Software Engineering
Abstract

This article describes a fully automated, credible autocoding chain for control systems. The framework generates code, along with guarantees of high level functional properties which can be independently verified. It relies on domain specific knowledge and fomal methods of analysis to address a context of heightened safety requirements for critical embedded systems and ever-increasing costs of verification and validation. The platform strives to bridge the semantic gap between domain expert and code verification expert. First, a graphical dataflow language is extended with annotation symbols enabling the control engineer to express high level properties of its control law within the framework of a familiar language. An existing autocoder is enhanced to both generate the code implementing the initial design, but also to carry high level properties down to annotations at the level of the code. Finally, using customized code analysis tools, certificates are generated which guarantee the correctness of the annotations with respect to the code, and can be verified using existing static analysis tools. Only a subset of properties and controllers are handled at this point.

Published
2013

20. Hybrid Systems and Event-B: A Formal Approach to Signalised Left-Turn Assist

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj K., Barbosa, Simone Diniz Junqueira, Series Editor, Filipe, Joaquim, Series Editor, Kotenko, Igor, Series Editor, Sivalingam, Krishna M., Series Editor, Washio, Takashi, Series Editor, Yuan, Junsong, Series Editor, Zhou, Lizhu, Series Editor, Ghosh, Ashish, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Benslimane, Djamal, editor, Golfarelli, Matteo, editor, Jean, Stéphane, editor, Mery, Dominique, editor, Nakamatsu, Kazumi, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

21. Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B

Author

Dupont, Guillaume, Aït-Ameur, Yamine, Pantel, Marc, Singh, Neeraj Kumar, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Butler, Michael, editor, Raschke, Alexander, editor, Hoang, Thai Son, editor, and Reichl, Klaus, editor

Published
2018
Full Text
View/download PDF

22. Towards a Co-simulation Based Model Assessment Process for System Architecture

Author

Bossa, Benjamin, Boulbene, Benjamin, Dubé, Sébastien, Pantel, Marc, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Mazzara, Manuel, editor, Ober, Iulian, editor, and Salaün, Gwen, editor

Published
2018
Full Text
View/download PDF

23. Cyber-Physical Systems Engineering: An Introduction

Author

Gibson, J. Paul, Larsen, Peter Gorm, Pantel, Marc, Fitzgerald, John, Woodcock, Jim, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2018
Full Text
View/download PDF

24. Model-Based Systems Engineering for Systems Simulation

Author

Leroux, Renan, Pantel, Marc, Ober, Ileana, Bruel, Jean-Michel, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Weikum, Gerhard, Series Editor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Margaria, Tiziana, editor

Published
2018
Full Text
View/download PDF

25. Mechanizing the Denotational Semantics of the Clock Constraint Specification Language

Author

Montin, Mathieu, Pantel, Marc, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Abdelwahed, El Hassan, editor, Bellatreche, Ladjel, editor, Golfarelli, Mattéo, editor, Méry, Dominique, editor, and Ordonez, Carlos, editor

Published
2018
Full Text
View/download PDF

26. Static Safety for an Actor Dedicated Process Calculus by Abstract Interpretation

Author

Garoche, Pierre-Loïc, Pantel, Marc, and Thirioux, Xavier

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing
Abstract

The actor model eases the definition of concurrent programs with non uniform behaviors. Static analysis of such a model was previously done in a data-flow oriented way, with type systems. This approach was based on constraint set resolution and was not able to deal with precise properties for communications of behaviors. We present here a new approach, control-flow oriented, based on the abstract interpretation framework, able to deal with communication of behaviors. Within our new analyses, we are able to verify most of the previous properties we observed as well as new ones, principally based on occurrence counting.

Published
2006
Full Text
View/download PDF

29. How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees.

Author

Christofi, Nikolena, Baron, Claude, Pucel, Xavier, Pantel, Marc, Canu, David, and Ducamp, Christophe

Abstract

To help operators perform their diagnosis tasks more efficiently, the authors put forward a novel methodology introducing a new type of model, dedicated to operations, co‐created in parallel with the design models, in the preliminary stages of system development, using the language semantics of behavior trees. In this paper, the authors present the need for this new model type as expressed by the industry and justify their choice for adopting behavior trees, while illustrating in detail the proposed methodology. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

31. Block Library Driven Translation Validation for Dataflow Models in Safety Critical Systems

Author

Dieumegard, Arnaud, Toom, Andres, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, ter Beek, Maurice H., editor, Gnesi, Stefania, editor, and Knapp, Alexander, editor

Published
2016
Full Text
View/download PDF

32. Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development

Author

Babin, Guillaume, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Butler, Michael, editor, Schewe, Klaus-Dieter, editor, Mashkoor, Atif, editor, and Biro, Miklos, editor

Published
2016
Full Text
View/download PDF

33. A System Substitution Mechanism for Hybrid Systems in Event-B

Author

Babin, Guillaume, Aït-Ameur, Yamine, Singh, Neeraj Kumar, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ogata, Kazuhiro, editor, Lawford, Mark, editor, and Liu, Shaoying, editor

Published
2016
Full Text
View/download PDF

34. Semantic Heterogeneity in the Formal Development of Complex Systems: An Introduction

Author

Gibson, J. Paul, Aït-Sadoune, Idir, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2016
Full Text
View/download PDF

35. Refinement and Proof Based Development of Systems Characterized by Continuous Functions

Author

Babin, Guillaume, Aït-Ameur, Yamine, Nakajima, Shin, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Li, Xuandong, editor, Liu, Zhiming, editor, and Yi, Wang, editor

Published
2015
Full Text
View/download PDF

37. A Formal Framework to Prove the Correctness of Model Driven Engineering Composition Operators

Author

Kezadri Hamiaz, Mounira, Pantel, Marc, Combemale, Benoit, Thirioux, Xavier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Merz, Stephan, editor, and Pang, Jun, editor

Published
2014
Full Text
View/download PDF

38. Automated Failure Analysis in Model Checking Based on Data Mining

Author

Ge, Ning, Pantel, Marc, Crégut, Xavier, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Ait Ameur, Yamine, editor, Bellatreche, Ladjel, editor, and Papadopoulos, George A., editor

Published
2014
Full Text
View/download PDF

39. Formal Verification Integration Approach for DSML

Author

Zalila, Faiez, Crégut, Xavier, Pantel, Marc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Moreira, Ana, editor, Schätz, Bernhard, editor, Gray, Jeff, editor, Vallecillo, Antonio, editor, and Clarke, Peter, editor

Published
2013
Full Text
View/download PDF

40. A Transformation-Driven Approach to Automate Feedback Verification Results

Author

Zalila, Faiez, Crégut, Xavier, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cuzzocrea, Alfredo, editor, and Maabout, Sofian, editor

Published
2013
Full Text
View/download PDF

41. Component-Based Development

Author

Lau, Kung-Kiu, Pantel, Marc, Chen, DeJiu, Persson, Magnus, Törngren, Martin, Tran, Cuong, Rajan, Ajitha, editor, and Wahl, Thomas, editor

Published
2013
Full Text
View/download PDF

42. Introduction

Author

Armengaud, Eric, Bonnet, Stephane, Duffau, Laurent, Fenu, Gianfranco, Griessnig, Gerhard, Hein, Christian, Keis, Andreas, Kundner, Ingrid, Lau, Kung-Kiu, Malot, Marc, Örtel, Markus, Paganelli, Fabien, Pantel, Marc, Persson, Magnus, Priggouris, Nikolaos, Rajan, Ajitha, Ritter, Tom, Rossignol, Alain, Silva, Adeline, Törngren, Martin, Vasaiely, Parham, Wahl, Thomas, Rajan, Ajitha, editor, and Wahl, Thomas, editor

Published
2013
Full Text
View/download PDF

43. A Proof Assistant Based Formalization of MDE Components

Author

Kezadri, Mounira, Combemale, Benoît, Pantel, Marc, Thirioux, Xavier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Arbab, Farhad, editor, and Ölveczky, Peter Csaba, editor

Published
2012
Full Text
View/download PDF

44. Leveraging Formal Verification Tools for DSML Users: A Process Modeling Case Study

Author

Zalila, Faiez, Crégut, Xavier, Pantel, Marc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2012
Full Text
View/download PDF

45. Formal Specification and Verification of Task Time Constraints for Real-Time Systems

Author

Ge, Ning, Pantel, Marc, Crégut, Xavier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2012
Full Text
View/download PDF

46. Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems

Author

Ge, Ning, Pantel, Marc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Vallecillo, Antonio, editor, Tolvanen, Juha-Pekka, editor, Kindler, Ekkart, editor, Störrle, Harald, editor, and Kolovos, Dimitris, editor

Published
2012
Full Text
View/download PDF

47. Verification of the Schorr-Waite Algorithm – From Trees to Graphs

Author

Giorgino, Mathieu, Strecker, Martin, Matthes, Ralph, Pantel, Marc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Alpuente, María, editor

Published
2011
Full Text
View/download PDF

48. Generative Technologies for Model Animation in the TopCased Platform

Author

Crégut, Xavier, Combemale, Benoit, Pantel, Marc, Faudoux, Raphaël, Pavei, Jonatas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Kühne, Thomas, editor, Selic, Bran, editor, Gervais, Marie-Pierre, editor, and Terrier, François, editor

Published
2010
Full Text
View/download PDF

49. Machine-Checked Sequencer for Critical Embedded Code Generator

Author

Izerrouken, Nassima, Pantel, Marc, Thirioux, Xavier, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Breitman, Karin, editor, and Cavalcanti, Ana, editor

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results