Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
115 | Joseph Sifakis |
Component-Based Construction of Heterogeneous Real-Time Systems in Bip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Petri Nets ![In: Applications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings, pp. 1, 2009, Springer, 978-3-642-02423-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
108 | Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer |
Area-efficient high-throughput MAP decoder architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 13(8), pp. 921-933, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
84 | Barbara A. Eckman, Terry Gaasterland, Zoé Lacroix, Louiqa Raschid, Ben Snyder, Maria-Esther Vidal |
Implementing a Bioinformatics Pipeline (BIP) on a Mediator Platform: Comparing Cost and Quality of Alternate Choices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 22nd International Conference on Data Engineering Workshops, ICDE 2006, 3-7 April 2006, Atlanta, GA, USA, pp. 67, 2006, IEEE Computer Society, 0-7695-2571-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
84 | Bernard Tourancheau, Roland Westrelin |
Study of the medium message performance of BIP/Myrinet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th - December 1st, 2000, Technische Universität Chemnitz, Saxony, Germany, pp. 65-72, 2000, IEEE Computer Society, 0-7695-0896-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
77 | Sergei Ivanov 0001, Michel de Rougemont |
Interactive Protocols on the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 499-510, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
69 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2009, 14th Ada-Europe International Conference, Brest, France, June 8-12, 2009. Proceedings, pp. 192-206, 2009, Springer, 978-3-642-01923-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
69 | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
Translating AADL into BIP - Application to the Verification of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS (Workshops) ![In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, pp. 5-19, 2008, Springer, 978-3-642-01647-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
69 | Susanne Graf, Sophie Quinton |
Contracts for BIP: Hierarchical Interaction Models for Compositional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2007, 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings, pp. 1-18, 2007, Springer, 978-3-540-73195-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
62 | François Ingelrest, David Simplot-Ryl |
Localized broadcast incremental power protocol for wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Networks ![In: Wirel. Networks 14(3), pp. 309-319, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ad hoc networks, Energy efficiency, Localized algorithms, Broadcasting protocols |
62 | François Ingelrest, David Simplot-Ryl |
Localized Broadcast Incremental Power Protocol for Wireless Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the 10th IEEE Symposium on Computers and Communications (ISCC 2005), 27-30 June 2005, Murcia, Cartagena, Spain, pp. 28-33, 2005, IEEE Computer Society, 0-7695-2373-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Di Yuan 0001 |
Computing Optimal or Near-Optimal Trees for Minimum-Energy Broadcasting in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WiOpt ![In: 3rd International Symposium on Modeling and Optimization in Mobile, Ad-Hoc and Wireless Networks (WiOpt 2005), 4-6 April 2005, Trentino, Italy, pp. 323-331, 2005, IEEE Computer Society, 0-7695-2267-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
62 | Peng-Jun Wan, Gruia Calinescu, Chih-Wei Yi |
Minimum-power multicast routing in static ad hoc wireless networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE/ACM Trans. Netw. ![In: IEEE/ACM Trans. Netw. 12(3), pp. 507-514, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
approximation algorithms, power control, multicast routing |
53 | Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis |
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCA ![In: Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007), 12 - 14 July 2007, Cambridge, MA, USA, pp. 257-260, 2007, IEEE Computer Society, 0-7695-2922-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
53 | Ananda Basu, Marius Bozga, Joseph Sifakis |
Modeling Heterogeneous Real-time Components in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India, pp. 3-12, 2006, IEEE Computer Society, 0-7695-2678-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
51 | Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
Modeling synchronous systems in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009, pp. 77-86, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
BIP (behavior-interaction-priority), modal flow graphs, priority petri nets, synchronous systems, lustre |
46 | Jaeyong Chung, Henry J. Gardner |
Measuring temporal variation in presence during game playing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VRCAI ![In: Proceedings of the 8th International Conference on Virtual Reality Continuum and its Applications in Industry, VRCAI 2009, Yokohama, Japan, December 14-15, 2009, pp. 163-168, 2009, ACM, 978-1-60558-912-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
breaks in presence, computer game, presence |
46 | Ananda Basu, Philippe Bidinger, Marius Bozga, Joseph Sifakis |
Distributed Semantics and Implementation for Systems with Interaction and Priority. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 116-133, 2008, Springer, 978-3-540-68854-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
46 | Rebeca Marfil, Luis Molina-Tanco, Antonio Bandera, Francisco Sandoval Hernández |
The Construction of Bounded Irregular Pyramids with a Union-Find Decimation Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GbRPR ![In: Graph-Based Representations in Pattern Recognition, 6th IAPR-TC-15 International Workshop, GbRPR 2007, Alicante, Spain, June 11-13, 2007, Proceedings, pp. 307-318, 2007, Springer, 978-3-540-72902-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
46 | Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis |
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Monterey Workshop ![In: Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers, pp. 75-96, 2006, Springer, 978-3-540-77418-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Patrick Geoffray, CongDuc Pham, Loïc Prylli, Bernard Tourancheau, Roland Westrelin |
Protocols and Software for Exploiting Myrinet Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 233-242, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
45 | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
TT-BIP: using correct-by-design BIP approach for modelling real-time system with time-triggered paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 14(2), pp. 117-142, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
45 | Hela Guesmi, Belgacem Ben Hedia, Simon Bliudze, Saddek Bensalem, Briag Le Nabec |
TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VECoS ![In: Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings, pp. 171-188, 2017, Springer, 978-3-319-66175-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
45 | Badr Siala |
Décomposition formelle des spécifications centralisées Event-B: application aux systèmes distribués BIP. (Formal decomposition of event-B centralized specifications: application to BIP distributed systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
45 | Jean Quilbeuf |
Implantations distribuées de modèles à base de composants communicants par interactions multiparties avec priorités : application au langage BIP. (Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions : Application to the BIP Framework.). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
45 | Vasiliki Sfyrla |
Modélisation des systèmes synchrones en BIP. (Modeling Synchronous Systems in BIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2011 |
RDF |
|
45 | Mohamad Jaber 0001 |
Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. (Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
45 | Ananda Basu |
Component-based Modeling of Heterogeneous Real-time Systems in BIP. (Modélisation à base de Composants de Systèmes Temps réel Hétérogènes en BIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
45 | Wenxuan Guo, Xinming Huang 0001, Wenjing Lou, Cao Liang |
On Relay Node Placement and Assignment for Two-tiered Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 13(1-2), pp. 186-197, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
two-tiered wireless network, optimal relayed path, packet reception rate, BIP, relay node placement |
38 | Joseph Sifakis |
Component-Based Construction of Real-Time Systems in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 33-34, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Simon Bliudze, Joseph Sifakis |
The Algebra of Connectors - Structuring Interaction in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(10), pp. 1315-1330, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Simon Bliudze, Joseph Sifakis |
The algebra of connectors: structuring interaction in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 7th ACM & IEEE International conference on Embedded software, EMSOFT 2007, September 30 - October 3, 2007, Salzburg, Austria, pp. 11-20, 2007, ACM, 978-1-59593-825-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
38 | Roland Westrelin |
A New Software Architecture for the BIP/Myrinet Firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: First IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2001), May 15-18, 2001, Brisbane, Australia, pp. 221-228, 2001, IEEE Computer Society, 0-7695-1010-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Frédérique Chaussumier, Frederic Desprez, Loïc Prylli |
Asynchronous Communications in MPL - The BIP/Myrinet Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 485-492, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Sanjay K. Dhurandher, Sudip Misra, Mohammad S. Obaidat, Priyedev Lochab, Varun Kumar Sharma, Siddharth Gautam |
An efficient power-aware broadcast technique for wireless ad hoc networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009, 2009, SCS/ACM. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
energy efficient broadcast, enhanced lifetime ad hoc networks, performance evaluation, modeling and simulation |
31 | Fuensanta Torres, Rebeca Marfil, Antonio Bandera |
3D Image Segmentation Using the Bounded Irregular Pyramid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 13th International Conference, CAIP 2009, Münster, Germany, September 2-4, 2009. Proceedings, pp. 979-986, 2009, Springer, 978-3-642-03766-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Kusno Prasetya, Zheng Da Wu |
Performance analysis of game world partitioning methods for multiplayer mobile gaming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETGAMES ![In: Proceedings of the 7th ACM SIGCOMM Workshop on Network and System Support for Games, NETGAMES 2008, Worcester, Massachusetts, USA, October 21-22, 2008, pp. 72-77, 2008, ACM, 978-1-60558-132-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
game world partition, networking, mobile gaming |
31 | Saddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen |
Compositional Verification for Component-Based Systems and Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 64-79, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Doina Bein, Si-Qing Zheng |
An Effective Algorithm for Computing Energy-Efficient Broadcasting Trees in All-Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 28th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2008 Workshops), 17-20 June 2008, Beijing, China, pp. 273-278, 2008, IEEE Computer Society, 978-0-7695-3173-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Samuel Burden, Jonathan E. Clark, Joel Weingarten, Haldun Komsuoglu, Daniel E. Koditschek |
Heterogeneous Leg Stiffness and Roll in Dynamic Running. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 4645-4652, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Moinuddin K. Qureshi, Aamer Jaleel, Yale N. Patt, Simon C. Steely Jr., Joel S. Emer |
Adaptive insertion policies for high performance caching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 34th International Symposium on Computer Architecture (ISCA 2007), June 9-13, 2007, San Diego, California, USA, pp. 381-391, 2007, ACM, 978-1-59593-706-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
set dueling, set sampling, thrashing, replacement |
31 | Hongxu Cai, Yingchao Zhao 0001 |
On Approximation Ratios of Minimum-Energy Multicast Routing in Wireless Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Optim. ![In: J. Comb. Optim. 9(3), pp. 243-262, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
broadcasting, ad hoc wireless networks, MST |
31 | S. Veeravalli, Laxmi P. Gewali, Muthukumar Venkatesan |
Construction of Power-Aware Diameter-Reduced Broadcast Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITCC (2) ![In: International Symposium on Information Technology: Coding and Computing (ITCC 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, USA, pp. 668-674, 2005, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Philippe Sardain, Guy Bessonnet |
Zero moment point-measurements from a human walker wearing robot feet as shoes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(5), pp. 638-648, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Edson L. Horta, John W. Lockwood |
Automated Method to Generate Bitstream Intellectual Property Cores for Virtex FPGAs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPL ![In: Field Programmable Logic and Application, 14th International Conference , FPL 2004, Leuven, Belgium, August 30-September 1, 2004, Proceedings, pp. 975-979, 2004, Springer, 3-540-22989-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Olivier Aumage, Luc Bougé, Alexandre Denis 0001, Jean-François Méhaut, Guillaume Mercier, Raymond Namyst, Loïc Prylli |
Madeleine II: a Portable and Efficient Communication Library for High-Performance Cluster Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th - December 1st, 2000, Technische Universität Chemnitz, Saxony, Germany, pp. 78-, 2000, IEEE Computer Society, 0-7695-0896-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Loïc Prylli, Bernard Tourancheau, Roland Westrelin |
The Design for a High-Performance MPI Implementation on the Myrinet Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PVM/MPI ![In: Recent Advances in Parallel Virtual Machine and Message Passing Interface, 6th European PVM/MPI Users' Group Meeting, Barcelona, Spain, September 26-29, 1999, Proceedings, pp. 223-230, 1999, Springer, 3-540-66549-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | CongDuc Pham, Carsten Albrecht |
Optimizing Message Aggregation for Parallel Simulation on High Performance Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS 1999, Proceedings of the 7th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 24-28 October, 1999, College Park, Maryland, USA, pp. 76-83, 1999, IEEE Computer Society, 0-7695-0381-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
BIP, Message aggregation, MPI, Parallel and Distributed Simulation |
29 | Panagiotis Melas, Ed Zaluska |
Performance of Message-Passing Systems using a Zero-Copy Communication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 264-, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
zero-copy protocols, BIP, communication models performance, latency, communication protocols, bandwidth, cluster of workstations, message-passing systems |
28 | Diego Figueira |
Satisfiability of downward XPath with data equality tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, June 19 - July 1, 2009, Providence, Rhode Island, USA, pp. 197-206, 2009, ACM, 978-1-60558-553-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
bip automaton, data-tree, infinite alphabet, unranked unordered tree, xpath, xml, data values |
23 | Sawsan Alshattnawi, Anas M. R. Alsobeh |
A cloud-based IoT smart water distribution framework utilising BIP component: Jordan as a model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Cloud Comput. ![In: Int. J. Cloud Comput. 13(1), pp. 25-41, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Yuzhen Zhang, Weizhi Guo, Junning Su, Pei Lv, Mingliang Xu |
BIP-Tree: Tree Variant With Behavioral Intention Perception for Heterogeneous Trajectory Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Intell. Transp. Syst. ![In: IEEE Trans. Intell. Transp. Syst. 24(9), pp. 9584-9598, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Saroj Kumar, Sujit S. Dadas, Dayal R. Parhi |
Path Planning of Mobile Robot Using Modified DAYKUN-BIP Virtual Target Displacement Method in Static Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 128(3), pp. 2287-2305, February 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Paris Koloveas, Serafeim Chatzopoulos, Christos Tryfonopoulos, Thanasis Vergoulis |
BIP! NDR (NoDoiRefs): A Dataset of Citations From Papers Without DOIs in Computer Science Conferences and Workshops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.12794, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Thanasis Vergoulis |
Piloting topic-aware research impact assessment features in BIP! Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2305.06047, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Anas M. R. Alsobeh, Amani Shatnawi |
Integrating Data-Driven Security, Model Checking, and Self-adaptation for IoT Systems Using BIP Components: A Conceptual Proposal Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACR ![In: Proceedings of the 2023 International Conference on Advances in Computing Research (ACR'23), Orlando, FL, USA, 8-10 May 2023, pp. 533-549, 2023, Springer, 978-3-031-33742-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Paris Koloveas, Serafeim Chatzopoulos, Christos Tryfonopoulos, Thanasis Vergoulis |
BIP! NDR (NoDoiRefs): A Dataset of Citations from Papers Without DOIs in Computer Science Conferences and Workshops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPDL ![In: Linking Theory and Practice of Digital Libraries: 27th International Conference on Theory and Practice of Digital Libraries, TPDL 2023, Zadar, Croatia, September 26-29, 2023, Proceedings, pp. 99-105, 2023, Springer, 978-3-031-43849-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Kai Li, Vini Chaudhary, Kaushik R. Chowdhury |
BiP: Bit-Phase-Flip Error Mitigation in Quantum Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: IEEE International Conference on Communications, ICC 2023, Rome, Italy, May 28 - June 1, 2023, pp. 4182-4187, 2023, IEEE, 978-1-5386-7462-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Qiming Li, Xia Yang, Haiyong Sun, Zhe Yan |
Automatic Generation of Formal BIP Models for C Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: Proceedings of the 7th International Conference on Computer Science and Application Engineering, CSAE 2023, Virtual Event, China, October 17-19, 2023, pp. 52:1-52:7, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Thanasis Vergoulis |
Piloting Topic-Aware Research Impact Assessment Features in BIP! Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC (Satellite Events) ![In: The Semantic Web: ESWC 2023 Satellite Events - Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings, pp. 81-85, 2023, Springer, 978-3-031-43457-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Thanasis Vergoulis, Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Andrea Mannocci, Natalia Manola, Paolo Manghi |
BIP! Scholar: A Service to Facilitate Fair Researcher Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.03152, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Jose M. Munoz, Ilyes Batatia, Christoph Ortner |
BIP: Boost Invariant Polynomials for Efficient Jet Tagging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.08272, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Thanasis Vergoulis, Serafeim Chatzopoulos, Kleanthis Vichos, Ilias Kanellos, Andrea Mannocci, Natalia Manola, Paolo Manghi |
BIP! scholar: a service to facilitate fair researcher assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCDL ![In: JCDL '22: The ACM/IEEE Joint Conference on Digital Libraries in 2022, Cologne, Germany, June 20 - 24, 2022, pp. 42, 2022, ACM, 978-1-4503-9345-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Chuang Yang, Mulin Chen, Yuan Yuan 0001, Qi Wang 0009 |
BiP-Net: Bidirectional Perspective Strategy Based Arbitrary-Shaped Text Detection Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2022, Virtual and Singapore, 23-27 May 2022, pp. 2255-2259, 2022, IEEE, 978-1-6654-0541-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Ny Aina Andriambolamalala |
Decentralized communication and beep model. (Communications décentralisées et modèle BIP). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
23 | Giuseppe Agapito, Mario Cannataro |
Using BioPAX-Parser (BiP) to enrich lists of genes or proteins with pathway data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 22-S(13), pp. 376, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Thanasis Vergoulis, Ilias Kanellos, Claudio Atzori, Andrea Mannocci, Serafeim Chatzopoulos, Sandro La Bruzzo, Natalia Manola, Paolo Manghi |
BIP! DB: A Dataset of Impact Measures for Scientific Publications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2101.12001, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
23 | Thanasis Vergoulis, Ilias Kanellos, Claudio Atzori, Andrea Mannocci, Serafeim Chatzopoulos, Sandro La Bruzzo, Natalia Manola, Paolo Manghi |
BIP! DB: A Dataset of Impact Measures for Scientific Publications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW (Companion Volume) ![In: Companion of The Web Conference 2021, Virtual Event / Ljubljana, Slovenia, April 19-23, 2021., pp. 456-460, 2021, ACM / IW3C2, 978-1-4503-8313-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Xiutai Lu, Yang Gao, Wensheng Guo, Fengbo Zhang, Xia Yang, Jun Wan |
Towards Formal Verification of Dynamic Memory Allocator Properties Using BIP Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: CSAE 2021: The 5th International Conference on Computer Science and Application Engineering, Sanya, China, October 19 - 21, 2021, pp. 47:1-47:7, 2021, ACM, 978-1-4503-8985-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Salim Chehida, Abdelhakim Baouya, Saddek Bensalem |
Component-Based Approach Combining UML and BIP for Rigorous System Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FACS ![In: Formal Aspects of Component Software - 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings, pp. 27-43, 2021, Springer, 978-3-030-90635-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Eduard Baranov, Simon Bliudze |
Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(6), pp. 829, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Eduard Baranov, Simon Bliudze |
Expressiveness of component-based frameworks: a study of the expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 57(6), pp. 761-800, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Giuseppe Agapito, Mario Cannataro |
Using BioPAX-Parser (BiP) to Annotate Lists of Biological Entities with Pathway Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Advances in Conceptual Modeling - ER 2020 Workshops CMAI, CMLS, CMOMM4FAIR, CoMoNoS, EmpER, Vienna, Austria, November 3-6, 2020, Proceedings, pp. 92-101, 2020, Springer, 978-3-030-65846-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Xudong Tang, Qiang Wang, Weikai Miao |
Behavioral Fault Modelling and Analysis with BIP: A Wheel Brake System Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICA3PP (3) ![In: Algorithms and Architectures for Parallel Processing - 20th International Conference, ICA3PP 2020, New York City, NY, USA, October 2-4, 2020, Proceedings, Part III, pp. 231-250, 2020, Springer, 978-3-030-60247-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Chelsea Howland, Malaika Gallimore, Jo-Ana Chase, Blaine Reeder |
Usability and Feature Evaluation of the Amazfit Bip S Smart Watch in the Precision START Laboratory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2020, American Medical Informatics Association Annual Symposium, Virtual Event, USA, November 14-18, 2020, 2020, AMIA. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
23 | Antoine El-Hokayem, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, pp. 284-302, 2020, Springer, 978-3-030-58767-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Iulia Dragomir, Saddek Bensalem |
Rigorous Design of FDIR Systems with BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 77, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits |
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1911.08405, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Dayal R. Parhi, Priyadarshi Biplab Kumar |
Smart Navigation of Humanoid Robots Using DAYKUN-BIP Virtual Target Displacement and Petri-Net Strategy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Robotica ![In: Robotica 37(4), pp. 626-640, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | R. I. Minu, G. Nagarajan, T. Prem Jacob, Albert Pravin |
BIP: A dimensionality reduction for image indexing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT Express ![In: ICT Express 5(3), pp. 187-191, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Thanasis Vergoulis, Serafeim Chatzopoulos, Ilias Kanellos, Panagiotis Deligiannis, Christos Tryfonopoulos, Theodore Dalamagas 0001 |
BIP! Finder: Facilitating Scientific Literature Search by Exploiting Impact-Based Ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 28th ACM International Conference on Information and Knowledge Management, CIKM 2019, Beijing, China, November 3-7, 2019., pp. 2937-2940, 2019, ACM, 978-1-4503-6976-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Georgia Giannopoulou, Peter Poplavko, Dario Socci, Pengcheng Huang, Nikolay Stoimenov, Paraskevas Bourgos, Lothar Thiele, Marius Bozga, Saddek Bensalem, Sylvain Girbal, Madeleine Faugère, Romain Soulat, Benoît Dupont de Dinechin |
DOL-BIP-Critical: a tool chain for rigorous design and implementation of mixed-criticality multi-core systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Autom. Embed. Syst. ![In: Des. Autom. Embed. Syst. 22(1-2), pp. 141-181, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits |
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1805.09919, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo |
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MeTRiD@ETAPS ![In: Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018., pp. 79-92, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Paul C. Attie, Saddek Bensalem, Marius Bozga, Mohamad Jaber 0001, Joseph Sifakis, Fadi A. Zaraket |
Global and Local Deadlock Freedom in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 26(3), pp. 9:1-9:48, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis |
Model-based design of IoT systems with the BIP component framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 48(6), pp. 1167-1194, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA (3) ![In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III, pp. 304-320, 2018, Springer, 978-3-030-03423-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Axel Legay, Saddek Bensalem |
S BIP 2.0: Statistical Model Checking Stochastic Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, pp. 536-542, 2018, Springer, 978-3-030-01089-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze |
Combine and conquer: Relating BIP and Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 86(1), pp. 134-156, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Romain Edelmann, Simon Bliudze, Joseph Sifakis |
Functional BIP: Embedding connectors in functional programming languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 92, pp. 19-44, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Eduard Baranov, Simon Bliudze |
A Note on the Expressiveness of BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EXPRESS/SOS ![In: Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016., pp. 1-14, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Badr Siala, Mohamed Tahar Bhiri, Jean-Paul Bodeveix, Mamoun Filali |
An Event-B Development Process for the Distributed BIP Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings, pp. 313-328, 2016, 978-3-319-47845-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Maya H. Safieddine, Fadi A. Zaraket, Mohamad Jaber 0001, Rouwaida Kanj, Mazen A. R. Saghir |
Automated FPGA implementations of BIP designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: 11th IEEE Symposium on Industrial Embedded Systems, SIES 2016, Krakow, Poland, May 23-25, 2016, pp. 165-170, 2016, IEEE, 978-1-5090-2282-3. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Briag Le Nabec, Belgacem Ben Hedia, Jean-Philippe Babau, Mathieu Jan, Hela Guesmi |
Modeling legacy code with BIP: how to reduce the gap between formal description and real-time implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2016 Forum on Specification and Design Languages, FDL 2016, Bremen, Germany, September 14-16, 2016, pp. 1-8, 2016, IEEE, 979-10-92279-17-7. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Cecylia Bocovich, Joanne M. Atlee |
Feature-Oriented Modelling in BIP: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ModComp@MoDELS ![In: Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), Saint-Malo, France, October 2nd, 2016., pp. 6-11, 2016, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
23 | Igor V. Konnov 0001, Tomer Kotek, Qiang Wang 0020, Helmut Veith, Simon Bliudze, Joseph Sifakis |
Parameterized Systems in BIP: Design and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada, pp. 30:1-30:16, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-017-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yliès Falcone, Mohamad Jaber 0001, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem |
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Syst. Model. ![In: Softw. Syst. Model. 14(1), pp. 173-199, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Paulo Viníccius Vieira, César Albenes Zeferino, André Luís Alice Raabe |
Avaliação Empírica da Proposta Interdisciplinar de Uso dos Processadores BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Revista Brasileira de Informática na Educ. ![In: Revista Brasileira de Informática na Educ. 23(2), pp. 99-110, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Kasper Dokter, Sung-Shik Jongmans, Farhad Arbab, Simon Bliudze |
Relating BIP and Reo. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICE ![In: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015., pp. 3-20, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Eduard Baranov, Simon Bliudze |
Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 109, pp. 2-35, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Simon Bliudze, Alessandro Cimatti, Mohamad Jaber 0001, Sergio Mover, Marco Roveri, Wajeb Saab, Qiang Wang 0020 |
Formal Verification of Infinite-State BIP Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings, pp. 326-343, 2015, Springer, 978-3-319-24952-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|