Search results for "ACSL"

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.	MATES	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.	CEEMAS	2005	DBLP DOI BibTeX RDF
74	Guangping Qin, Jinzhao Wu	Branching Time Equivalences for Interactive Markov Chains.	FORTE Workshops	2004	DBLP DOI BibTeX RDF
74	Jeffrey S. Vetter, Karsten Schwan	High Performance Computational Steering of Physical Simulations.	IPPS	1997	DBLP DOI BibTeX RDF
61	Donald D. Girard	Jumping egg model.	SpringSim	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.	Neural Networks	2021	DBLP DOI BibTeX RDF
29	Julien Signoles	The e-ACSL perspective on runtime assertion checking.	VORTEX@ISSTA	2021	DBLP DOI BibTeX RDF
29	Julien Signoles	From Static Analysis to Runtime Verification with Frama-C and E-ACSL.		2018	RDF
29	Julien Signoles, Nikolai Kosmatov, Kostyantyn Vorobyov	E-ACSL, a Runtime Verification Tool for Safety and Security of C Programs (tool paper).	RV-CuBES	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.	F-IDE	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.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
29	Eduardo Brito, Jorge Sousa Pinto	Program Verification in SPARK and ACSL: A Comparative Case Study.	Ada-Europe	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.	Simul.	1999	DBLP DOI BibTeX RDF
29	Jean-François Hétet, Romane Mezencev	An Implementation of the Method of Characteristics Using ACSL Software.	Simul.	1997	DBLP DOI BibTeX RDF
29	Horst Ecker, J. D. Knight	Simulation of Rotordynamic Systems with ACSL.	EUROSIM	1995	DBLP BibTeX RDF
29	Malcolm A. Cutchins	ACSL as a Research and Creativity Stimulus.	Simul.	1993	DBLP DOI BibTeX RDF
29	A. Haferl, Helmut Springer	Simulation von Magnetisierungsprozessen in Magnetlagern - Eine ACSL-Anwendung.	ASIM	1991	DBLP BibTeX RDF
29	Joachim Birk, C. Majer, Michael Zeitz	Lösung von Differential-Algebra-Gleichungen mit der Simulationssprache ACSL.	ASIM	1990	DBLP BibTeX RDF
29	Achim Wohnhaas, R. Menzel	OPTIM - Eine Benutzeroberfläche zur Optimierung und Parameteridentifizierung in ACSL.	ASIM	1990	DBLP BibTeX RDF
29	Marilyn B. Kloss	Matrix Operators for Continuous System Modelling as used in ACSL and PRO-MATLAB.	Simul.	1989	DBLP DOI BibTeX RDF
29	R. Hittmair	Simulation des dynamischen Verhaltens eines mehrgliedrigen Industrieroboters mit ACSL.	Simulationstechnik	1988	DBLP DOI BibTeX RDF
29	Helmut Springer, M. Ullrich	Simulationsmodelle für Nadeldruckersysteme - eine Anwendung von ACSL.	Simulationstechnik	1988	DBLP DOI BibTeX RDF
29	William A. Havranek	Anwender Simulationssysteme auf ACSL Grundlage.	Simulationstechnik	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.	Simulationstechnik	1988	DBLP DOI BibTeX RDF
29	Horst Ecker, Bernhard Hödl	Simulation instationärer Fahrmanöver eines Motorrads mit ACSL.	Simulationstechnik	1988	DBLP DOI BibTeX RDF
29	Felix Breitenecker	Optimierung von Steuerungen und Regelungen in ACSL.	Simulationstechnik	1988	DBLP DOI BibTeX RDF
29	A. Sauberer, Ronald Ruzicka, Felix Breitenecker, Inge Troch	Implementation der Optimierungsumgebung "GOMA" in ACSL.	Simulationstechnik	1987	DBLP DOI BibTeX RDF
29	Wolfgang Kleinert, Martin Gräff, K. Wenk	Simulation eines Dreiphasen-Gleichrichters mit SIMSTAR und ACSL.	Simulationstechnik	1987	DBLP DOI BibTeX RDF
29	William A. Havranek	Update on ACSL.	Simulationstechnik	1985	DBLP DOI BibTeX RDF
29	Ingrid Bausch-Gall	Practical Experiences with an ACSL Implementation of an Existing FORTRAN Model for a Radar System.	ESC	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.	ICFEM	2009	DBLP DOI BibTeX RDF