|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 52 occurrences of 40 keywords
|
|
|
|
|
Results
Found 88 publication records. Showing 88 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
Non-standard semantics of hybrid systems modelers.  |
J. Comput. Syst. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
A Modal Interface Theory for Component-based Design. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code. |
EMSOFT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Masson, Loïc Hélouët, Albert Benveniste |
Compatibility of Data-Centric Web Services. |
WS-FM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Kattepur, Albert Benveniste, Claude Jard |
Optimizing Decisions in Web Services Orchestrations. |
ICSOC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
Pairwise testing of dynamic composite services. |
SEAMS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Timothy Bourke, Benoît Caillaud, Marc Pouzet |
Divide and recycle: types and compilation for a hybrid synchronous language. |
LCTES |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney Rosario, Albert Benveniste, Claude Jard |
Flexible Probabilistic QoS Management of Orchestrations. |
Int. J. Web Service Res. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Anne Bouillard, Paul Caspi |
A unifying view of loosely time-triggered architectures. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Marc Pouzet |
The fundamentals of hybrid systems modelers. |
CDC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Loosely Time-Triggered Architectures for Cyber-Physical Systems. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Loïc Hélouët, Albert Benveniste |
Document Based Modeling of Web Services Choreographies Using Active XML. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Active XML, Web services, composition, choreographies |
| 1 | Ajay Kattepur, Sagar Sen, Benoit Baudry, Albert Benveniste, Claude Jard |
Variability Modeling and QoS Analysis of Web Services Orchestrations. |
ICWS |
2010 |
DBLP DOI BibTeX RDF |
Intelligent Web service languages, Quality concepts, Model Validation and Analysis |
| 1 | Roberto Passerone, Imene Ben Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sebastien Gerard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli |
Metamodels in Europe: Languages, Tools, and Applications. |
IEEE Design & Test of Computers |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar |
Monotonicity in Service Orchestrations. |
Petri Nets |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Axel Legay, Roberto Passerone |
Modal interfaces: unifying interface automata and modal specifications. |
EMSOFT |
2009 |
DBLP DOI BibTeX RDF |
modal specifications, compatibility, interface automata |
| 1 | Jean-Baptiste Raclet, Eric Badouel, Albert Benveniste, Benoît Caillaud, Roberto Passerone |
Why Are Modalities Good for Interface Theories?. |
ACSD |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney Rosario, Albert Benveniste, Claude Jard |
Monitoring probabilistic SLAs in Web service orchestrations. |
Integrated Network Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis |
Actors without Directors: A Kahnian View of Heterogeneous Systems. |
HSCC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Abbes, Albert Benveniste |
Concurrency, sigma-Algebras, and Probabilistic Fairness. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic Petri nets, probabilistic event structures, probabilistic fairness, true-concurrency |
| 1 | Sidney Rosario, Albert Benveniste, Claude Jard |
Flexible Probabilistic QoS Management of Transaction Based Web Services Orchestrations. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Composing heterogeneous reactive systems. |
ACM Trans. Embedded Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
correct-by-construction design, reactive systems, Compositionality, models of computation, GALS |
| 1 | Samy Abbes, Albert Benveniste |
True-concurrency probabilistic models: Markov nets and a law of large numbers. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale |
Implementing Synchronous Models on Loosely Time Triggered Architectures. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar |
Monotony in Service Orchestrations |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. |
IEEE T. Services Computing |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Composing Web Services in an Open World: Issues of Quality of Service. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Albert Benveniste |
Time-robust discrete control over networked Loosely Time-Triggered Architectures. |
CDC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Composing Web Services in an Open World: QoS Issues. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste, Maurice Goursat, Laurent Mevel |
Subspace-Based Algorithms for Structural Identification, Damage Detection, and Sensor Data Fusion. |
EURASIP J. Adv. Sig. Proc. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Roberto Passerone |
A Generic Model of Contracts for Embedded Systems |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Eric Fabre, Albert Benveniste |
Partial Order Techniques for Distributed Discrete Event Systems: Why You Cannot Avoid Using Them. |
Discrete Event Dynamic Systems |
2007 |
DBLP DOI BibTeX RDF |
Distributed systems, Diagnosis, Partial orders, Discrete event systems, Unfoldings, Fault management, Alarm correlation |
| 1 | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Loosely time-triggered architectures based on communication-by-sampling. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
MoCC, loosely time-triggered, distributed systems, real-time systems, time-triggered |
| 1 | Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard |
Event Structure Semantics of Orc. |
WS-FM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Alberto Ferrari, Leonardo Mangeruca, Roberto Passerone, Christos Sofronis |
Multiple Viewpoint Contract-Based Specification and Design. |
FMCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard |
Probabilistic QoS and soft contracts for transaction based Web services. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Samy Abbes, Albert Benveniste |
True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures. |
Inf. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
Formal Methods in System Design |
2006 |
DBLP DOI BibTeX RDF |
Globally asynchronous locally synchronous (GALS), Concurrency, Synchronous, Distribution, Desynchronization, Trace theory |
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Communication by sampling in time-sensitive distributed systems. |
EMSOFT |
2006 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, scheduling, tagged systems |
| 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 | Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi |
Guidelines for a graduate curriculum on embedded software and systems. |
ACM Trans. Embedded Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Graduate curriculum, architecture and design, extrafunctional properties, distributed systems, embedded systems, real-time, control, labs |
| 1 | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard |
Distributed Monitoring of Concurrent and Asynchronous Systems*. |
Discrete Event Dynamic Systems |
2005 |
DBLP DOI BibTeX RDF |
concurrent, fault diagnosis, distributed, asynchronous, unfoldings, fault management, event structures |
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli |
Tag machines. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS, tagged systems |
| 1 | Samy Abbes, Albert Benveniste |
Branching Cells as Local States for Event Structures and Nets: Probabilistic Applications. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). |
EMSOFT |
2004 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS |
| 1 | Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste |
Concurrency in Synchronous Systems. |
ACSD |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan |
Algorithms for Distributed Fault Management in Telecommunications Networks. |
ICT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone |
The synchronous languages 12 years later. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard |
Distributed Monitoring of Concurrent and Asynchronous Systems. |
CONCUR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. |
FMCO |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurent Mevel, Albert Benveniste, Michèle Basseville, Maurice Goursat |
Blind subspace-based eigenstructure identification under nonstationary excitation using moving sensors. |
IEEE Transactions on Signal Processing |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Non-massive, Non-high Performance, Distributed Computing: Selected Issues. |
Euro-Par |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Caspi, Albert Benveniste |
Toward an Approximation Theory for Computerised Control. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis |
A Protocol for Loosely Time-Triggered Architectures. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Axel Poigné |
Foreword. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Some Synchronization Issues When Designing Embedded Systems from Components. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Maher Abdelghani, Albert Benveniste |
Subspace-based fault detection algorithms for vibration monitoring. |
Automatica |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Paul Le Guernic |
Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation. |
Inf. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunming Wang, Jean-Pierre Talpin, Albert Benveniste, Paul Le Guernic |
A Semantics of UML State-Machines Using Synchronous Pre-Order Transition Systems. |
ISORC |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Benoît Caillaud, Paul Le Guernic |
From Synchrony to Asynchrony. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinghua Zhang, Michèle Basseville, Albert Benveniste |
Fault Detection and Isolation in Nonlinear Dynamic Systems: A Combined Input-Output and Local Approach. |
Automatica |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Armen Aghasaryan, Eric Fabre, Albert Benveniste, Renée Boubour, Claude Jard |
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets. |
Discrete Event Dynamic Systems |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Claude Jard, Stephane Gaubert |
Algebraic Techniques for Timed Systems. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Pierre Talpin, Albert Benveniste, Benoît Caillaud, Claude Jard, Zakaria Bouziane, Hubert Canon |
BDL, A Language of Distributed Reactive Objects. |
ISORC |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Le Guernic, Pascal Aubry |
Compositionality in Dataflow Synchronous Languages: Specification and Code Generation. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
desynchronisation, modularity, code generation, synchronous languages, separate compilation |
| 1 | Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic |
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Mixed Stochastic/Nonstochastic Systems. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Sjöberg, Qinghua Zhang, Lennart Ljung, Albert Benveniste, Bernard Delyon, Pierre-Yves Glorennec, Håkan Hjalmarsson, Anatoli Juditsky |
Nonlinear black-box modeling in system identification: a unified overview. |
Automatica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Anatoli Juditsky, Håkan Hjalmarsson, Albert Benveniste, Bernard Delyon, Lennart Ljung, Jonas Sjöberg, Qinghua Zhang |
Nonlinear black-box models in system identification: Mathematical foundations. |
Automatica |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste |
Compositional and Uniform Modelling of Hybrid Systems. |
Hybrid Systems |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Qinghua Zhang, Michèle Basseville, Albert Benveniste |
Early warning of slight changes in systems. |
Automatica |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic |
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. |
Hybrid Systems |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Bernard C. Levy, Eric Fabre, Paul Le Guernic |
A Calculus of Stochastic Systems for the Specification, Simulation, And Hidden State Estimation of Hybrid Stochastic/Non-stochastic Systems. |
FTRTFT |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Karl J. Åström |
Meeting the challenge of computer science in the industrial applications of control: An introductory discussion to the special issue, . |
Automatica |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs |
Data-Flow Synchronous Languages. |
REX School/Symposium |
1993 |
DBLP DOI BibTeX RDF |
synchrony vs. asynchrony, real-time, concurrency, data-flow, reactive |
| 1 | Albert Benveniste, Paul Le Guernic, Yves Sorel, Michel Sorine |
A Denotational Theory of Synchronous Reactive Systems |
Inf. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste, Alan S. Willsky |
Multiscale autoregressive processes. II. Lattice structures for whitening and modeling. |
IEEE Transactions on Signal Processing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste, Alan S. Willsky |
Multiscale autoregressive processes. I. Schur-Levinson parametrizations. |
IEEE Transactions on Signal Processing |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste, Kenneth C. Chou, Stuart A. Golden, Ramine Nikoukhah, Alan S. Willsky |
Modeling and estimation of multiresolution stochastic processes. |
IEEE Transactions on Information Theory |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
Hybrid Systems: The SIGNAL Approach. |
Hybrid Systems |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, Michel Le Borgne, Paul Le Guernic |
SIGNAL as a Model for Real-Time and Hybrid Systems. |
ESOP |
1992 |
DBLP DOI BibTeX RDF |
theory of parallel computation, real-time, semantics of programming languages |
| 1 | Albert Benveniste, Paul Le Guernic, Christian Jacquemot |
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. |
Sci. Comput. Program. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste, George V. Moustakides |
Detection and diagnosis of abrupt changes in modal characteristics of nonstationary digital signals. |
IEEE Transactions on Information Theory |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Paul Le Guernic, Albert Benveniste, Patricia Bournai |
Programming Real-Time with Events and Data Flow. |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | Patrick Bouthemy, Albert Benveniste |
Modeling of Atmospheric Disturbances in Meteorological Pictures. |
IEEE Trans. Pattern Anal. Mach. Intell. |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste |
Sequential segmentation of nonstationary digital signals using spectral analysis. |
Inf. Sci. |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Michèle Basseville, Albert Benveniste |
Sequential detection of abrupt changes in spectral characteristics of digital signals. |
IEEE Transactions on Information Theory |
1983 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert Benveniste, P. Bernhard, J. Chatelon, G. Cohen |
A New Algorithm for Gauss Markov Identification. |
Optimization Techniques |
1974 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #88 of 88 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")