Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
133 | Weikuan Yu, Ranjit Noronha, Shuang Liang, Dhabaleswar K. Panda 0001 |
Benefits of high speed interconnects to cluster file systems: a case study with Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece, 2006, IEEE. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
113 | Phillip M. Dickens, Jeremy Logan |
Towards a High Performance Implementation of MPI-IO on the Lustre File System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OTM Conferences (1) ![In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings, Part I, pp. 870-885, 2008, Springer, 978-3-540-88870-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Parallel I/O, Parallel File Systems, MPI-IO, Lustre, Collective I/O |
113 | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert |
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 153-162, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, simulink, lustre, code distribution |
91 | Weikuan Yu, Oleg Drokin, Jeffrey S. Vetter |
Design, implementation, and evaluation of transparent pNFS on Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-9, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
91 | Jeremy Logan, Phillip M. Dickens |
Towards an understanding of the performance of MPI-IO in Lustre file systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2008 IEEE International Conference on Cluster Computing, 29 September - 1 October 2008, Tsukuba, Japan, pp. 330-335, 2008, IEEE Computer Society, 978-1-4244-2640-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
85 | Phillip M. Dickens, Jeremy Logan |
Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 18th ACM International Symposium on High Performance Distributed Computing, HPDC 2009, Garching, Germany, June 11-13, 2009, pp. 31-38, 2009, ACM, 978-1-60558-587-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
romio, parallel i/o, lustre, collective i/o |
85 | Frédéric Rocheteau |
Extension du langage LUSTRE et application à la conception de circuits : le langage LUSTRE-V4 et le système POLLUX. (Extension of the lustre language and application to hardware design : the lustre-v4 language and the pollux system). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
77 | Yufeng Guo, Xuejun Yang, Li Luo, Qiong Li, Lu Liu |
High Performance Support of Lustre over Customized HSNI for HPC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPT ![In: Advanced Parallel Processing Technologies, 8th International Symposium, APPT 2009, Rapperswil, Switzerland, August 24-25, 2009, Proceedings, pp. 220-229, 2009, Springer, 978-3-642-03643-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
77 | Weikuan Yu, Jeffrey S. Vetter, Shane Canon, Song Jiang 0001 |
Exploiting Lustre File Joining for Effective Collective IO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 14-17 May 2007, Rio de Janeiro, Brazil, pp. 267-274, 2007, IEEE Computer Society, 0-7695-2833-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
77 | Alain Girault, Xavier Nicollin |
Clock-Driven Automatic Distribution of Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 206-222, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution |
71 | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
Defining and translating a "safe" subset of simulink/stateflow into lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 259-268, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
embedded software, simulink, lustre, automatic translation |
71 | Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel |
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(9), pp. 785-793, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design |
64 | Claus Traulsen, Reinhard von Hanxleden |
Reactive parallel processing for synchronous dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 483-490, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Scade, reactive processors, synchronous languages, parallel execution, synchronous dataflow, Lustre |
63 | Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMICS ![In: Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers, pp. 23-36, 2008, Springer, 978-3-642-03239-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | George Hagen, Cesare Tinelli |
Scaling Up the Formal Verification of Lustre Programs with SMT-Based Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2008, Portland, Oregon, USA, 17-20 November 2008, pp. 1-9, 2008, IEEE, 978-1-4244-2735-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Abdesselam Lakehal, Ioannis Parissis |
Lustructu: A Tool for the Automatic Coverage Assessment of Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 8-11 November 2005, Chicago, IL, USA, pp. 301-310, 2005, IEEE Computer Society, 0-7695-2482-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber 0017 |
Formal Design of Distributed Control Systems with Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 18th International Conference, SAFECOMP'99, Toulouse, France, September, 1999, Proceedings, pp. 396-409, 1999, Springer, 3-540-66488-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
57 | Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic |
Translating discrete-time simulink to lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 4(4), pp. 779-818, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Code generation, embedded software, Simulink, Lustre |
50 | Sophie Dupuy, Lydie du Bousquet |
A Multi-formalism Approach for the Validation of UML Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(4), pp. 228-230, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Rational Rose ™, RoZ, Z-EVES, UML, Z, Lustre, Multi-formalism |
49 | Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond |
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, LCTES 2009, Dublin, Ireland, June 19-20, 2009, pp. 11-20, 2009, ACM, 978-1-60558-356-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, type systems, synchronous languages, block-diagrams |
49 | Juan Piernas, Jarek Nieplocha, Evan J. Felix |
Evaluation of active storage strategies for the lustre parallel file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, SC 2007, November 10-16, 2007, Reno, Nevada, USA, pp. 28, 2007, ACM Press, 978-1-59593-764-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Bruno Marre, Agnès Arnould |
Test Sequences Generation from LUSTRE Descriptions: GATeL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The Fifteenth IEEE International Conference on Automated Software Engineering, ASE 2000, Grenoble, France, September 11-15, 2000, pp. 229-, 2000, IEEE Computer Society, 0-7695-0710-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Karine Altisen, Matthieu Moy |
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 22nd Euromicro Conference on Real-Time Systems, ECRTS 2010, Brussels, Belgium, July 6-9, 2010, pp. 207-216, 2010, IEEE Computer Society, 978-0-7695-4111-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus |
42 | John Fragalla, Bill Loewe, Torben Kling Petersen |
New Lustre features to improve Lustre metadata and small-file performance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 32(20), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
42 | Patrick Webb |
Installation of an External Lustre Filesystem using Cray esMS management and Lustre 1.8.6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISA ![In: Lucky LISA: Proceedings of the 27th Large Installation System Administration Conference, LISA 2013, Washington, DC, USA, November 3-8, 2013, pp. 155-164, 2013, USENIX Association, 978-1-931971-05-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
42 | Cédric Auger |
Compilation certifiée de SCADE/LUSTRE. (Certified compilation of SCADE/LUSTRE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2013 |
RDF |
|
42 | Virginia Papailiopoulou |
Automatic testing of Lustre/SCADE programs. (Test automatique de programmes Lustre/SCADE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
42 | Abdesselam Lakehal |
Critères de couverture structurelle pour les programmes Lustre. (Strurtural coverage criteria for Lustre programs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
42 | Jan Mikác |
Raffinement et preuves de systèmes Lustre. (Refinements and Proofs of Lustre Systems). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
42 | Lydie du Bousquet |
Test fonctionnel statistique de logiciels spécifiés en Lustre ; application à la validation de services téléphoniques. (Statistical functional testing of systems specified in Lustre; application to the validation of telecommunication features). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1999 |
RDF |
|
42 | Ioannis Parissis |
Test de logiciels synchrones spécifiés en Lustre. (Testing synchronous software specified in Lustre). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1996 |
RDF |
|
42 | Christophe Ratel |
Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE. (Design and implementation of a formal verification tool for lustre programs : the system Lesar). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
42 | Bachir Berkane |
Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
42 | Pascal Raymond |
Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1991 |
RDF |
|
42 | Mazen Al Mahrous |
Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre. (Functional test generation of digital circuits described using the data-flow language : Lustre). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1990 |
RDF |
|
42 | Jean-Louis Bergerand |
LUSTRE : un langage déclaratif pour le temps réel. (LUSTRE: a real time declarative language). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1986 |
RDF |
|
42 | Florence Maraninchi, Yann Rémond, Yannick Raoul |
MATOU: An Implementation of Mode-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction, 9th International Conference, CC 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 249-263, 2000, Springer, 3-540-67263-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Pascale Thévenod-Fosse, Christine Mazuet, Yves Crouzet |
On Statistical Structural Testing of Synchronous Data Flow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC ![In: Dependable Computing - EDCC-1, First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994, Proceedings, pp. 250-267, 1994, Springer, 3-540-58426-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
36 | Yingjin Qian, Eric Barton, Tom Wang, Nirant Puntambekar, Andreas Dilger |
A Novel network request scheduler for a large scale storage system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Res. Dev. ![In: Comput. Sci. Res. Dev. 23(3-4), pp. 143-148, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Network Request Scheduler, QoS, Storage system, Large scale, Lustre |
36 | 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 |
36 | Steven M. Carter, Makia Minich, Nageswara S. V. Rao |
Experimental evaluation of infiniband transport over local- and wide-area networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 419-426, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
Lustre file system, wide-area connections, storage system, supercomputers, Infiniband |
36 | Jean-Louis Colaço, Marc Pouzet |
Type-based initialization analysis of a synchronous dataflow language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 6(3), pp. 245-255, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Synchronous dataflow languages, Type systems with subtyping, Program analysis, Lustre |
36 | Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels |
Robustness analysis of avionics embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 123-132, 2003, ACM, 1-58113-647-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
accuracy analysis, avionics embedded systems, lustre specifications, abstract interpretation, safety analysis |
35 | Nicolas Halbwachs |
A synchronous language at work: the story of Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 3-11, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Simone Tini |
Timed CCP compositionally embeds Argos and Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 16(3), pp. 292-312, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages |
35 | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |
Translating Discrete-Time Simulink to Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 84-99, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | Sophie Dupuy-Chessa, Lydie du Bousquet |
Validation of UML Models Thanks to Z and Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 242-258, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
35 | Cécile Canovas-Dumas, Paul Caspi |
A PVS Proof Obligation Generator for Lustre Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming and Automated Reasoning, 7th International Conference, LPAR 2000, Reunion Island, France, November 11-12, 2000, Proceedings, pp. 179-188, 2000, Springer. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Frédéric Rocheteau, Nicolas Halbwachs |
Implementing Reactive Programs on Circuits: A Hardware Implementation of LUSTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Real-Time: Theory in Practice, REX Workshop, Mook, The Netherlands, June 3-7, 1991, Proceedings, pp. 195-208, 1991, Springer, 3-540-55564-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
Reactive systems, synchronous languages, silicon compilation |
35 | Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice |
Lustre: A Declarative Language for Programming Synchronous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, Germany, January 21-23, 1987, pp. 178-188, 1987, ACM Press, 0-89791-215-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
28 | Jacob Leverich, Christos Kozyrakis |
On the energy (in)efficiency of Hadoop clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 44(1), pp. 61-65, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
28 | Marc Pouzet, Pascal Raymond |
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. ![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. 215-224, 2009, ACM, 978-1-60558-627-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time systems, compilation, semantics, np-completeness, partial orders, synchronous languages, block-diagrams, preorders |
28 | Himanshu Raj, Karsten Schwan |
O2S2: enhanced object-based virtualized storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 42(6), pp. 24-29, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Chao Wang 0056, Zhe Zhang 0005, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller 0001 |
On-the-Fly Recovery of Job Input Data in Supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 2008 International Conference on Parallel Processing, ICPP 2008, September 8-12, 2008, Portland, Oregon, USA, pp. 620-627, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Peter J. Braam |
Scalable locking and recovery for network file systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW ![In: Proceedings of the 2nd International Petascale Data Storage Workshop (PDSW '07), November 11, 2007, Reno, Nevada, USA, pp. 17-20, 2007, ACM Press, 978-1-59593-899-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
clusters, recovery, congestion, locking, petascale |
28 | Michael A. Bauer 0001 |
High performance computing: the software challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 11-12, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Ke Zhou 0001, Chun-hua Li, Dan Feng 0001, Yang Wang 0006, Liang Lu, Yong-guang Ji |
A Distributed Object Tracing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWNAS ![In: 2006 International Workshop on Networking, Architecture and Storages (IWNAS 2006), 1-3 August 2006, Shenyang, China, pp. 29-35, 2006, IEEE Computer Society, 0-7695-2651-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet |
Mode-Automata Based Methodology for Scade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 386-401, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Jean-Louis Colaço, Bruno Pagano, Marc Pouzet |
A conservative extension of synchronous data-flow with state machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 173-182, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
clock calculus, compilation, typing, heterogeneous systems, synchronous languages |
28 | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stålmarck, Herman Ågren, Ove Åkerlund |
Designing Safe, Reliable Systems Using Scade. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 115-129, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Florence Maraninchi, Yann Rémond |
Running-modes of real-time systems: a case-study with mode-automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 12th Euromicro Conference on Real-Time Systems (ECRTS 2000), 19-21 June 2000, Stockholm, Sweden, Proceedings, pp. 257-264, 2000, IEEE Computer Society, 0-7695-0734-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
28 | Simin Nadjm-Tehrani |
Integration of Analog and Discrete Synchronous Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, Second International Workshop, HSCC'99, Berg en Dal, The Netherlands, March 29-31, 1999, Proceedings, pp. 193-208, 1999, Springer, 3-540-65734-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Halbwachs, Pascal Raymond |
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings, pp. 1-12, 1999, Springer, 3-540-66856-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
28 | Agathe Merceron, Monika Müllerburg, G. Michele Pinna |
Verifying a Time-Triggered Protocol in a Multi-language Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability and Security, 17th International Conference, SAFECOMP'98, Heidelberg, Germany, October 5-7, 1998, Proceedings, pp. 185-195, 1998, Springer, 3-540-65110-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
28 | Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta 0001 |
Default Timed Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Francisco, California, USA, January 23-25, 1995, pp. 272-285, 1995, ACM Press, 0-89791-692-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
constraint programming, reactive systems, denotational semantics, synchronous programming, semantics of concurrency |
28 | Nicolas Halbwachs, Pascal Raymond, Christophe Ratel |
Generating Efficient Code From Data-Flow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP ![In: Programming Language Implementation and Logic Programming, 3rd International Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings, pp. 207-218, 1991, Springer, 3-540-54444-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
28 | Nicolas Halbwachs, Daniel Pilaud, Farid Ouabdesselam, Anne-Cecile Glory |
Specifying, Programming and Verifying Real-Time Systems Using a Synchronous Declarative Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Automatic Verification Methods for Finite State Systems ![In: Automatic Verification Methods for Finite State Systems, International Workshop, Grenoble, France, June 12-14, 1989, Proceedings, pp. 213-231, 1989, Springer, 3-540-52148-8. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
22 | Wei-keng Liao |
Design and Evaluation of MPI File Domain Partitioning Methods under Extent-Based File Locking Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 22(2), pp. 260-272, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
file locking, GPFS, Parallel I/O, parallel file system, MPI-IO, Lustre |
22 | Stephen A. Edwards |
Tutorial: Compiling concurrent languages for sequential processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 8(2), pp. 141-187, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
communication, Petri nets, Compilation, concurrency, code generation, partial evaluation, dataflow, Verilog, Esterel, sequential, Lustre, discrete-event |
22 | Bruno d'Ausbourg |
Synthétiser I'intention d'un pilote pour Définir de nou-veaux équipements de bord. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IHM ![In: Proceedings of the 14th French-speaking conference on Human-computer interaction, Conference Francophone sur l'Interaction Homme-Machine, IHM 2002, Poitiers, France, November 26-29, 2002, pp. 145-152, 2002, ACM, 1-58113-615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
flight deck equipments, verification, interaction, formal languages, intentions, lustre |
22 | Lydie du Bousquet, Farid Ouabdesselam, Jean-Luc Richier, Nicolas Zuanon |
Lutess: A Specification-Driven Testing Environment for Synchronous Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 1999 International Conference on Software Engineering, ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999., pp. 267-276, 1999, ACM, 1-58113-074-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
synchronous reactive software, automated testing, operational profiles, Lustre, telecommunications systems, behavioral patterns |
22 | Ioannis Parissis, Farid Ouabdesselam |
Specification-based Testing of Synchronous Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 127-134, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Lustre |
22 | Thomas P. Jensen |
Clock Analysis of Synchronous Dataflow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, La Jolla, California, USA, June 21-23, 1995, pp. 156-167, 1995, ACM Press, 0-89791-720-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Lustre |
21 | Jiwoo Bang, Chungyong Kim, Eun-Kyu Byun, Hanul Sung, Jaehwan Lee 0001, Hyeonsang Eom |
Accelerating I/O performance of ZFS-based Lustre file system in HPC environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 79(7), pp. 7665-7691, May 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Lélio Brun, Christophe Garion, Pierre-Loïc Garoche, Xavier Thirioux |
Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 22(5s), pp. 151:1-151:24, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Sayed Erfan Arefin |
Auditing Lustre file system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.14824, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Cheongjun Lee, Jaehwan Lee 0001, Chungyong Kim, Jiwoo Bang, Eun-Kyu Byun, Hyeonsang Eom |
I/O separation scheme on Lustre metadata server based on multi-stream SSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 26(5), pp. 2883-2896, October 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Yingjin Qian, Wen Cheng, Lingfang Zeng, Xi Li, Marc-André Vef, Andreas Dilger, Siyao Lai, Shuichi Ihara, Yong Fan, André Brinkmann |
Xfast: Extreme File Attribute Stat Acceleration for Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2023, Denver, CO, USA, November 12-17, 2023, pp. 96:1-96:12, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Anjus George, Christopher Brumgard, Rick Mohr, Ketan Maheshwari, James Simmons, Sarp Oral, Jesse Hanley |
PoliMOR: A Policy Engine "Made-to-Order" for Automated and Scalable Data Management in Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC Workshops ![In: Proceedings of the SC '23 Workshops of The International Conference on High Performance Computing, Network, Storage, and Analysis, SC-W 2023, Denver, CO, USA, November 12-17, 2023, pp. 1202-1208, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
21 | Nicolau Manubens, Simon D. Smart, Tiago Quintino, Adrian Jackson |
Performance Comparison of DAOS and Lustre for Object Data Storage Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.09162, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma 0001 |
Secure Information Flow Typing in LUSTRE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2201.00184, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
21 | Abdul Jabbar Saeed Tipu, Padraig Ó Conbhuí, Enda Howley |
Applying neural networks to predict HPC-I/O bandwidth over seismic data on lustre file system for ExSeisDat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 25(4), pp. 2661-2682, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Junjie Wei, Qin Li |
NKind: a model checker for liveness property verification on Lustre programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: The 34th International Conference on Software Engineering and Knowledge Engineering, SEKE 2022, KSIR Virtual Conference Center, USA, July 1 - July 10, 2022., pp. 351-356, 2022, KSI Research Inc., 1-891706-54-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Nicolau Manubens, Simon D. Smart, Tiago Quintino, Adrian Jackson |
Performance Comparison of DAOS and Lustre for Object Data Storage Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDSW@SC ![In: IEEE/ACM International Parallel Data Systems Workshop, PDSW@SC 2022, Dallas, TX, USA, November 13-18, 2022, pp. 7-12, 2022, IEEE, 978-1-6654-7562-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
21 | Marco Seiz, Philipp Offenhäuser, Stefan Andersson, Johannes Hötzer, Henrik Hierl, Britta Nestler, Michael Resch 0001 |
Lustre I/O performance investigations on Hazel Hen: experiments and heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 77(11), pp. 12508-12536, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Wen Cheng, Shijun Deng, Lingfang Zeng, Yang Wang 0006, André Brinkmann |
AIOC2: A deep Q-learning approach to autonomic I/O congestion control in Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Comput. ![In: Parallel Comput. 108, pp. 102855, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Timothy Bourke, Paul Jeanmaire, Basile Pesin, Marc Pouzet |
Verified Lustre Normalization with Node Subsampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 20(5s), pp. 98:1-98:25, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sanjiva Prasad, R. Madhukar Yerraguntla |
Normalising Lustre Preserves Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2105.10687, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
21 | Hamza Bourbouh, Pierre-Loïc Garoche, Christophe Garion, Xavier Thirioux |
From Lustre to Simulink: Reverse Compilation for Embedded Systems Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Cyber Phys. Syst. ![In: ACM Trans. Cyber Phys. Syst. 5(3), pp. 31:1-31:20, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Wen Cheng, Chunyan Li, Lingfang Zeng, Yingjin Qian, Xi Li, André Brinkmann |
NVMM-Oriented Hierarchical Persistent Client Caching for Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Storage ![In: ACM Trans. Storage 17(1), pp. 6:1-6:22, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Imed Eddine Bennour |
Formal verification of timed synchronous dataflow graphs using Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 121, pp. 100678, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Sanjiva Prasad, R. Madhukar Yerraguntla |
Normalising Lustre Preserves Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings, pp. 275-292, 2021, Springer, 978-3-030-85314-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Cheongjun Lee, Jaehwan Lee 0001, Chungyong Kim, Jiwoo Bang, Eun-Kyu Byun, Hyeonsang Eom |
Data Separation Scheme on Lustre Metadata Server based on Multi-stream SSD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSOS-C ![In: IEEE International Conference on Autonomic Computing and Self-Organizing Systems, ACSOS 2021, Companion Volume, Washington, DC, USA, September 27 - Oct. 1, 2021, pp. 7-12, 2021, IEEE, 978-1-6654-4393-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Si Liu, Lei Huang 0019, Hang Liu, Amit Ruhela, Virginia Trueheart, Susan Lindsey, Quan Yuan |
Practice Guideline for Heavy I/O Workloads with Lustre File Systems on TACC Supercomputers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEARC ![In: PEARC '21: Practice and Experience in Advanced Research Computing, Boston, MA, USA, July 18-22, 2021, pp. 5:1-5:8, 2021, ACM, 978-1-4503-8292-2. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
21 | Vladimir O. Rybintsev |
Optimizing the parameters of the Lustre-file-system-based HPC system for reverse time migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 76(1), pp. 536-548, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Hugo Eduardo Camacho Cruz, Julio Cesar González Mariño, Jesús Humberto Foullon Peña |
Parallelization Strategy Using Lustre and MPI for Face Detection in HPC Cluster: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computación y Sistemas ![In: Computación y Sistemas 24(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lina Marsso |
Specifying a Cryptographical Protocol in Lustre and SCADE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MARS@ETAPS ![In: Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020., pp. 149-199, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda |
A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICISS ![In: ICISS 2020: The 3rd International Conference on Information Science and System, Cambridge, UK, March 19-22, 2020, pp. 166-170, 2020, ACM, 978-1-4503-7725-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Karthee Sivalingam, Harvey Richardson |
Application IO Analysis with Lustre Monitoring Using LASSi for ARCHER. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC Workshops ![In: High Performance Computing - ISC High Performance 2020 International Workshops, Frankfurt, Germany, June 21-25, 2020, Revised Selected Papers, pp. 255-266, 2020, Springer, 978-3-030-59850-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
21 | Lena Grimm, Steven Smyth, Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marc Pouzet |
From Lustre to Graphical Models and SCCharts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-8928-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|