Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
74 | Fernando Alonso, Rafael Fernández, Sonia Frutos, Javier Soriano 0001 |
Engineering Agent Conversations with the DIALOG Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MATES ![In: Multiagent System Technologies, 4th German Conference, MATES 2006, Erfurt, Germany, September 19-20, 2006, Proceedings, pp. 24-36, 2006, Springer, 3-540-45376-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
74 | Fernando Alonso Amo, Sonia Frutos, Genoveva López Gómez, F. Javier Soriano Camino |
A Formal Framework for Interaction Protocol Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CEEMAS ![In: Multi-Agent Systems and Applications IV, 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Proceedings, pp. 21-30, 2005, Springer, 3-540-29046-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
74 | Guangping Qin, Jinzhao Wu |
Branching Time Equivalences for Interactive Markov Chains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE Workshops ![In: Applying Formal Methods: Testing, Performance and M/ECommerce, FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004, pp. 156-169, 2004, Springer, 3-540-23169-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
74 | Jeffrey S. Vetter, Karsten Schwan |
High Performance Computational Steering of Physical Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 128-, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
61 | Donald D. Girard |
Jumping egg model. ![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 BibTeX RDF |
ACSL, gyro nutation, jumping egg, spinning egg, animation |
29 | Wei He, Meiqing Wu, Siew-Kei Lam |
ACSL: Adaptive correlation-driven sparsity learning for deep neural network compression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Networks ![In: Neural Networks 144, pp. 465-477, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Julien Signoles |
The e-ACSL perspective on runtime assertion checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VORTEX@ISSTA ![In: VORTEX 2021: Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, Virtual Event, Denmark, 12 July 2021., pp. 8-12, 2021, ACM, 978-1-4503-8546-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | Julien Signoles |
From Static Analysis to Runtime Verification with Frama-C and E-ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
29 | Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov |
E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV-CuBES ![In: RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pp. 164-173, 2017, EasyChair. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Frank Dordowsky |
An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
F-IDE ![In: Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015., pp. 28-41, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | Heber Herencia-Zapana, Romain Jobredeaux, Sam Owre, Pierre-Loïc Garoche, Eric Feron, Gilberto Pérez 0001, Pablo Ascariz |
PVS Linear Algebra Libraries for Verification of Control Software Algorithms in C/ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NASA Formal Methods ![In: NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings, pp. 147-161, 2012, Springer, 978-3-642-28890-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
29 | Eduardo Brito, Jorge Sousa Pinto |
Program Verification in SPARK and ACSL: A Comparative Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings, pp. 97-110, 2010, Springer, 978-3-642-13549-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
29 | Miguel A. Garcia, Diego R. Llanos, César de Prada |
A Configurable ACSL-Based Interface Generator for Simulated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 73(4), pp. 206-212, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Jean-François Hétet, Romane Mezencev |
An Implementation of the Method of Characteristics Using ACSL Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 69(6), pp. 349-355, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
29 | Horst Ecker, J. D. Knight |
Simulation of Rotordynamic Systems with ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROSIM ![In: EUROSIM'96, Simulation Congress, Proceedings of the 1995 EUROSIM Conference, Vienna, Austria, 11-15 September 1995, pp. 687-692, 1995, Elsevier, 0-444-82241-0. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
29 | Malcolm A. Cutchins |
ACSL as a Research and Creativity Stimulus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 61(6), pp. 373-380, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
29 | A. Haferl, Helmut Springer |
Simulation von Magnetisierungsprozessen in Magnetlagern - Eine ACSL-Anwendung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIM ![In: 7. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, ASIM 1991, Hagen, Germany, September, 1991., pp. 198-203, 1991, Vieweg, 3-528-06440-4. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP BibTeX RDF |
|
29 | Joachim Birk, C. Majer, Michael Zeitz |
Lösung von Differential-Algebra-Gleichungen mit der Simulationssprache ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIM ![In: 6. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, ASIM 1990, Vienna, Austria, September, 1990., pp. 349-354, 1990, Vieweg, 3-528-06401-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
29 | Achim Wohnhaas, R. Menzel |
OPTIM - Eine Benutzeroberfläche zur Optimierung und Parameteridentifizierung in ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIM ![In: 6. Symposium Simulationstechnik: Fortschritte in der Simulationstechnik, ASIM 1990, Vienna, Austria, September, 1990., pp. 229-233, 1990, Vieweg, 3-528-06401-3. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
29 | Marilyn B. Kloss |
Matrix Operators for Continuous System Modelling as used in ACSL and PRO-MATLAB. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simul. ![In: Simul. 53(5), pp. 231-234, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
29 | R. Hittmair |
Simulation des dynamischen Verhaltens eines mehrgliedrigen Industrieroboters mit ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 242-247, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Helmut Springer, M. Ullrich |
Simulationsmodelle für Nadeldruckersysteme - eine Anwendung von ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 230-235, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | William A. Havranek |
Anwender Simulationssysteme auf ACSL Grundlage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 236-241, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Wolfgang Kleinert, Martin Gräff, Rihard Karba, Borut Zupancic |
Simulation einer Destillationskolonne - Modellierung mit SIMCOS und Vergleich der Ergebnisse von ACSL - und SIMSTAR-Simulationen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 254-259, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Horst Ecker, Bernhard Hödl |
Simulation instationärer Fahrmanöver eines Motorrads mit ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 248-253, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | Felix Breitenecker |
Optimierung von Steuerungen und Regelungen in ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 5. Symposium Simulationstechnik, Aachen, 28.-30. September 1988, Proceedings, pp. 225-229, 1988, Springer, 3-540-50273-4. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
29 | A. Sauberer, Ronald Ruzicka, Felix Breitenecker, Inge Troch |
Implementation der Optimierungsumgebung "GOMA" in ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 4. Symposium Simulationstechnik, Zürich, 9.-11. September 1987, Proceedings, pp. 222-231, 1987, Springer, 3-540-18373-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | Wolfgang Kleinert, Martin Gräff, K. Wenk |
Simulation eines Dreiphasen-Gleichrichters mit SIMSTAR und ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 4. Symposium Simulationstechnik, Zürich, 9.-11. September 1987, Proceedings, pp. 463-464, 1987, Springer, 3-540-18373-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
29 | William A. Havranek |
Update on ACSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Simulationstechnik ![In: Simulationstechnik, 3. Symposium Simulationstechnik, Bad Münster am Stein-Ebernburg, 24.-26. September 1985, Proceedings, pp. 191-195, 1985, Springer, 3-540-15700-X. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
29 | Ingrid Bausch-Gall |
Practical Experiences with an ACSL Implementation of an Existing FORTRAN Model for a Radar System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESC ![In: First European Simulation Congress ESC 83, Aachen, September 12-16, 1983, Proceedings, pp. 307-313, 1983, Springer, 3-540-12723-2. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
25 | Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet |
Implementing a Direct Method for Certificate Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 541-560, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|