Search results for "CASL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
174	Matteo Dell'Amico, Maura Cerioli	DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications.	AMAST	2006	DBLP DOI BibTeX RDF
118	Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder	Algebraic-Coalgebraic Specification in Co Casl.	WADT	2002	DBLP DOI BibTeX RDF
118	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki	Amalgamation in CASL via Enriched Signatures.	ICALP	2001	DBLP DOI BibTeX RDF
103	Christoph Lüth, Markus Roggenbach, Lutz Schröder	CCC - The Casl Consistency Checker.	WADT	2004	DBLP DOI BibTeX RDF
103	Serge Autexier, Till Mossakowski	Integrating HOL-CASL into the Development Graph Manager MAYA.	FroCoS	2002	DBLP DOI BibTeX RDF
103	Till Mossakowski	CASL: From Semantics to Tools.	TACAS	2000	DBLP DOI BibTeX RDF
103	Peter D. Mosses	CASL: A Guided Tour of Its Design.	WADT	1998	DBLP DOI BibTeX RDF
100	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	CASL, Formal software development, Specification of program structure, Algebraic specification, Architectural specifications
100	Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand	Geometric Modelling with CASL.	WADT	2001	DBLP DOI BibTeX RDF	CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications
87	Alexei Lapouchnian, Yves Lespérance	Using the ConGolog and CASL Formal Agent Specification Languages for the Analysis, Verification, and Simulation of i* Models.	Conceptual Modeling: Foundations and Applications	2009	DBLP DOI BibTeX RDF
87	Steven Shapiro, Yves Lespérance	Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application.	ATAL	2000	DBLP DOI BibTeX RDF
75	Bartek Klin, Piotr Hoffman, Andrzej Tarlecki, Lutz Schröder, Till Mossakowski	Checking Amalgamability Conditions for C ASL Architectural Specifications.	MFCS	2001	DBLP DOI BibTeX RDF	formal specification and program development, CASL, algorithms, decidability, architectural specifications, amalgamation
71	Agnès Arnould, Laurent Fuchs, Marc Aiguier, Thibaud Brunet	Automatic Generation of Functional Programs from CASL Specifications.	ICSEA	2006	DBLP DOI BibTeX RDF
71	Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner	Ontologies for the Semantic Web in Casl.	WADT	2004	DBLP DOI BibTeX RDF
71	Piotr Hoffman	Verifying Generative Casl Architectural Specifications.	WADT	2002	DBLP DOI BibTeX RDF
71	David Aspinall 0001, Donald Sannella	From Specifications to Code in CASL.	AMAST	2002	DBLP DOI BibTeX RDF
71	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman	Semantics of Architectural Specifications in CASL.	FASE	2001	DBLP DOI BibTeX RDF
71	Hubert Baumeister, Alexandre V. Zamulin	State-Based Extensions of CASL.	IFM	2000	DBLP DOI BibTeX RDF
71	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Architectural Specifications in CASL.	AMAST	1998	DBLP DOI BibTeX RDF
63	Alexei Lapouchnian, Yves Lespérance	Modeling Mental States in Agent-Oriented Requirements Engineering.	CAiSE	2006	DBLP DOI BibTeX RDF
63	Alexei Lapouchnian, Yves Lespérance	Modeling Mental States in the Analysis of Multiagent Systems Requirements.	AOSE	2006	DBLP DOI BibTeX RDF
63	Steven Shapiro, Yves Lespérance, Hector J. Levesque	The cognitive agents specification language and verification environment for multiagent systems.	AAMAS	2002	DBLP DOI BibTeX RDF	agent specification languages, theorem proving, proof assistants, verification tools
63	Peter D. Mosses	CoFI: The Common Framework Initiative for Algebraic Specification and Development.	TAPSOFT	1997	DBLP DOI BibTeX RDF
60	Christine Choppy, Gianna Reggio	A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation).	SAC	2010	DBLP DOI BibTeX RDF	CASL, UML, SOA, temporal logic
60	Iman Poernomo, John N. Crossley, Martin Wirsing	Programs, Proofs and Parametrized Specifications.	WADT	2001	DBLP DOI BibTeX RDF	Parametrized specifications, CASL, SML, Curry-Howard isomorphism
56	Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Charles C. Weems	Modeling Modern Micro-architectures using CASL.	IPDPS	2007	DBLP DOI BibTeX RDF
56	Till Mossakowski, Donald Sannella, Andrzej Tarlecki	A Simple Refinement Language for Casl.	WADT	2004	DBLP DOI BibTeX RDF
56	Till Mossakowski, Bartek Klin	Institution Independent Static Analysis for CASL.	WADT	2001	DBLP DOI BibTeX RDF
56	Till Mossakowski	Translationg OBJ3 into CASL: The Institution Level.	WADT	1998	DBLP DOI BibTeX RDF
49	Gianna Reggio, Lorenzo Repetto	CASL-CHART: A Combination of Statecharts and of the Algebraic Specification Language CASL.	AMAST	2000	DBLP DOI BibTeX RDF
40	Temesghen Kahsai, Markus Roggenbach	Property Preserving Refinement for Csp-Casl.	WADT	2008	DBLP DOI BibTeX RDF
40	Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff	Towards a Formal Specification of an Electronic Payment System in CSP-CASL.	WADT	2004	DBLP DOI BibTeX RDF
40	Lutz Schröder, Till Mossakowski	Monad-Independent Dynamic Logic in Has Casl.	WADT	2002	DBLP DOI BibTeX RDF
40	Patrícia D. L. Machado, Donald Sannella	Unit Testing for CASL Architectural Specifications.	MFCS	2002	DBLP DOI BibTeX RDF
40	Gwen Salaün, Michel Allemand, J. Christian Attiogbé	Specification of an Access Control System with a Formalism Combining CCS and CASL.	IPDPS	2002	DBLP DOI BibTeX RDF
31	Satish Mishra, Bernd-Holger Schlingloff	Compliance of CMMI Process Area with Specification Based Development.	SERA	2008	DBLP DOI BibTeX RDF	Software Quality Guarantees, Process Models and Process Management, Process Support Tools, Model Driven Engineering, Software Engineering Processes
31	Klaus Lüttich, Till Mossakowski	Reasoning Support for Caslwith Automated Theorem Proving Systems.	WADT	2006	DBLP DOI BibTeX RDF
31	Alexei Lapouchnian, Yves Lespérance	Modeling mental states in the analysis of multiagent systems requirements.	AAMAS	2006	DBLP DOI BibTeX RDF	agent-oriented software engineering, goal-oriented requirements engineering, logics for agent systems
31	Shakil M. Khan 0001, Yves Lespérance	A Model of Rational Agency for Communicating Agents.	AC	2004	DBLP DOI BibTeX RDF
31	Markus Roggenbach, Lutz Schröder	Towards Trustworthy Specifications I: Consistency Checks.	WADT	2001	DBLP DOI BibTeX RDF
25	Feng Ye, Xianghui Cao, Zheyuan Cheng, Mo-Yuen Chow	CASL: A Novel Collusion Attack Against Distributed Energy Management Systems.	IEEE Trans. Smart Grid	2023	DBLP DOI BibTeX RDF
25	Rong Cao, Liang Bao, Chase Q. Wu, Panpan Zhangsun, Yufei Li, Zhe Zhang	CM-CASL: Comparison-based Performance Modeling of Software Systems via Collaborative Active and Semisupervised Learning.	CoRR	2023	DBLP DOI BibTeX RDF
25	Rong Cao, Liang Bao, Chase Q. Wu, Panpan Zhangsun, Yufei Li, Zhe Zhang	CM-CASL: Comparison-based performance modeling of software systems via collaborative active and semisupervised learning.	J. Syst. Softw.	2023	DBLP DOI BibTeX RDF
25	Hamzeh Aljawawdeh, Ahmad Nabot	CASL: Classical, Asynchronous, and Synchronous Learning Model. Towards a Universal Hybrid E-learning Model in Jordan Universities.	ACIT	2021	DBLP DOI BibTeX RDF
25	Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach	Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS.	CoRR	2020	DBLP BibTeX RDF
25	Tobias Rosenberger, Saddek Bensalem, Alexander Knapp, Markus Roggenbach	Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS.	WADT	2020	DBLP DOI BibTeX RDF
25	Paul J. Turinsky, Douglas B. Kothe	Modeling and simulation challenges pursued by the Consortium for Advanced Simulation of Light Water Reactors (CASL).	J. Comput. Phys.	2016	DBLP DOI BibTeX RDF
25	Lachlan Birdsey, Claudia Szabo, Katrina Falkner	CASL: A declarative domain specific language for modeling Complex Adaptive Systems.	WSC	2016	DBLP DOI BibTeX RDF
25	Andy Gimblett, Temesghen Kahsai, Liam O'Reilly, Markus Roggenbach	On the whereabouts of CSP-CASL - A survey.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2013	DBLP DOI BibTeX RDF
25	Chien-Te Liu, Kuan-Chung Chen, Chung-Ho Chen	CASL hypervisor and its virtualization platform.	ISCAS	2013	DBLP DOI BibTeX RDF
25	Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach	Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl.	WADT	2012	DBLP DOI BibTeX RDF
25	Roberto Viviani	Effects of large-scale nonstationarity on parametric maps. A study of rest perfusion CASL data.	NeuroImage	2011	DBLP DOI BibTeX RDF
25	Marius Moisa, Rolf Pohmann, Kâmil Uludag, Axel Thielscher	Interleaved TMS/CASL: Comparison of different rTMS protocols.	NeuroImage	2010	DBLP DOI BibTeX RDF
25	Mihai Codescu	Lambda Expressions in Casl Architectural Specifications.	WADT	2010	DBLP DOI BibTeX RDF
25	Christine Choppy, Gianna Reggio	Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation.	WADT	2010	DBLP DOI BibTeX RDF
25	Temesghen Kahsai	Property preserving development and testing for CSP-CASL.		2009	RDF
25	Liam O'Reilly, Markus Roggenbach, Yoshinao Isobe	CSP-CASL-Prover: A Generic Tool for Process and Data Refinement.	AVoCS	2008	DBLP DOI BibTeX RDF
25	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Observational interpretation of Casl specifications.	Math. Struct. Comput. Sci.	2008	DBLP DOI BibTeX RDF
25	Edward K. Walters II, J. Eliot B. Moss, Trek S. Palmer, Timothy Richards, Charles C. Weems	CASL: A rapid-prototyping language for modern micro-architectures.	Comput. Lang. Syst. Struct.	2008	DBLP DOI BibTeX RDF
25	Oliver Kutz, Dominik Lücke, Till Mossakowski, Immanuel Normann	The OWL in the CASL - Designing Ontologies Across Logics.	OWLED	2008	DBLP BibTeX RDF
25	Klaus Lüttich	Development of structured ontologies in CASL.		2007	RDF
25	Markus Roggenbach	CSP-CASL - A new integration of process algebra and algebraic specification.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
25	Klaus Lüttich, Claudio Masolo, Stefano Borgo	Development of Modular Ontologies in CASL.	WoMO	2006	DBLP BibTeX RDF
25	Klaus Lüttich	Approximation of Ontologies in CASL.	FOIS	2006	DBLP BibTeX RDF
25	Regivan Hugo Nunes Santiago, Anamaria Martins Moreira, Katiane R. Lopes	Implementing Local Intervals in CASL.	SBMF	2005	DBLP DOI BibTeX RDF
25	Gaëtan Garraux, Mark Hallett, S. Lalith Talagala	CASL fMRI of subcortico-cortical perfusion changes during memory-guided finger sequences.	NeuroImage	2005	DBLP DOI BibTeX RDF
25	Lutz Schröder, Till Mossakowski, Andrzej Tarlecki, Bartek Klin, Piotr Hoffman	Amalgamation in the semantics of CASL.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
25	Maura Cerioli, Matteo Dell'Amico	Injecting Distribution in CASL.	Foundations of Global Computing	2005	DBLP BibTeX RDF
25	Stefan Wölfl 0001, Till Mossakowski	Casl Specifications of Qualitative Calculi.	COSIT	2005	DBLP DOI BibTeX RDF
25	Steven Shapiro	Specifying and verifying multiagent systems using the cognitive agents specification language (CASL).		2005	RDF
25	Peter D. Mosses	CASL Reference Manual, The Complete Documentation of the Common Algebraic Specification Language		2004	DOI RDF
25	Michel Bidoit, Peter D. Mosses	Casl User Manual - Introduction to Using the Common Algebraic Specification Language		2004	DOI RDF
25	Till Mossakowski, Anne E. Haxthausen, Donald Sannella, Andrzej Tarlecki	Casl - The Common Algebraic Specification Language: Semantics and Proof Theory.	Comput. Artif. Intell.	2003	DBLP BibTeX RDF
25	Till Mossakowski	Relating CASL with other specification languages: the institution level.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
25	Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki	CASL: the Common Algebraic Specification Language.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
25	Gleydson Lima, Anamaria Martins Moreira, David Déharbe, David Ricardo Do Vale Pereira, Demóstenes Sena, Jorgiano Vidal	FERUS: Um Ambiente de Desenvolvimento de Especificações CASL.	SBES	2002	DBLP DOI BibTeX RDF
25	Tomasz Borzyszkowski	Generalized interpolation in CASL.	Inf. Process. Lett.	2000	DBLP DOI BibTeX RDF
25	Markus Roggenbach, Lutz Schröder, Till Mossakowski	Specifying Real Numbers in CASL.	WADT	1999	DBLP DOI BibTeX RDF
25	Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer	Towards an Evolutionary Formal Software-Development Using CASL.	WADT	1999	DBLP DOI BibTeX RDF
25	Mark van den Brand, Jeroen Scheerder	Development of Parsing Tools for CASL Using Generic Language Technology.	WADT	1999	DBLP DOI BibTeX RDF
25	Davide Ancona, Maura Cerioli, Elena Zucca	Extending Casl by Late Binding.	WADT	1999	DBLP DOI BibTeX RDF
25	Christine Choppy, Gianna Reggio	Using CASL to Specify the Requirements and the Design: A Problem Specific Approach.	WADT	1999	DBLP DOI BibTeX RDF
25	Till Mossakowski, Anne E. Haxthausen, Bernd Krieg-Brückner	Subsorted Partial Higher-Order Locig as an Extension of CASL.	WADT	1999	DBLP DOI BibTeX RDF
25	Till Mossakowski, Kolyang 0001, Bernd Krieg-Brückner	Static semantic analysis and theorem proving for CASL.	WADT	1997	DBLP DOI BibTeX RDF
25	Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski	Permissive Subsorted Partial Logic in CASL.	AMAST	1997	DBLP DOI BibTeX RDF
16	Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff	Specification-based testing for refinement.	SEFM	2007	DBLP DOI BibTeX RDF
16	Horst Reichel	An Algebraic Approach to Regular Sets.	Essays Dedicated to Joseph A. Goguen	2006	DBLP DOI BibTeX RDF
16	Egidio Astesiano, Gianna Reggio	From Conditional Specifications to Interaction Charts.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
16	Shakil M. Khan 0001, Yves Lespérance	ECASL: a model of rational agency for communicating agents.	AAMAS	2005	DBLP DOI BibTeX RDF	agent theory, intentions, agent communication, rationality
16	Daniel Hausmann 0001, Till Mossakowski, Lutz Schröder	Iterative Circular Coinduction for CoCasl in Isabelle/HOL.	FASE	2005	DBLP DOI BibTeX RDF
16	Lutz Schröder, Till Mossakowski, Christoph Lüth	Type Class Polymorphism in an Institutional Framework.	WADT	2004	DBLP DOI BibTeX RDF
16	Arnd Poetzsch-Heffter, Nicole Rauch	Application and Formal Specification of Sorted Term-Position Algebras.	WADT	2004	DBLP DOI BibTeX RDF
16	Artur Zawlocki	Architectural Specifications for Reactive Systems.	WADT	2004	DBLP DOI BibTeX RDF
16	Francisco Durán 0001, Salvador Lucas, José Meseguer 0001, Claude Marché, Xavier Urbain	Proving termination of membership equational programs.	PEPM	2004	DBLP DOI BibTeX RDF	program transformation, termination, term rewriting, membership equational logic
16	Achim Mahnke, Bernd Krieg-Brückner	Literate Ontology Development.	OTM Workshops	2004	DBLP DOI BibTeX RDF
16	Christine Choppy, Gianna Reggio	Improving Use Case Based Requirements Using Formally Grounded Specifications.	FASE	2004	DBLP DOI BibTeX RDF
16	Lutz Schröder, Till Mossakowski	HASCASL: Towards Integrated Specification and Development of Functional Programs.	AMAST	2002	DBLP DOI BibTeX RDF
16	Serge Autexier, Dieter Hutter, Till Mossakowski, Axel Schairer	The Development Graph Manager MAYA.	AMAST	2002	DBLP DOI BibTeX RDF
16	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Global Development via Local Observational Construction Steps.	MFCS	2002	DBLP DOI BibTeX RDF
16	Michel Bidoit, Donald Sannella, Andrzej Tarlecki	Toward Component-Oriented Formal Software Development: An Algebraic Approach.	RISSEF	2002	DBLP DOI BibTeX RDF