Search results for "AsmL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
96	Christoph Beierle, Gabriele Kern-Isberner	A Verified AsmL Implementation of Belief Revision.	ABZ	2008	DBLP DOI BibTeX RDF
96	Yuri Gurevich, Benjamin Rossman, Wolfram Schulte	Semantic Essence of AsmL.	FMCO	2003	DBLP DOI BibTeX RDF
85	Ali Habibi, Sofiène Tahar	Design and verification of SystemC transaction-level models.	IEEE Trans. Very Large Scale Integr. Syst.	2006	DBLP DOI BibTeX RDF
85	Xiaoxin Guo, Zhiwen Xu, Yinan Lu, Yunjie Pang	An Adaptive Edge Detector Using Soft Mathematical Morphology.	CIT	2005	DBLP DOI BibTeX RDF
79	Michael Barnett 0001, Wolfram Schulte, Nikolai Tillmann	Using AsmL for Runtime Verification.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
78	Stefan Leue, Alin Stefanescu, Wei Wei 0015	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures
67	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Abstract Operational Semantics for Use Case Maps.	FORTE	2005	DBLP DOI BibTeX RDF	AsmL, simulation, formal semantics, abstract state machines, user requirements notation, Use Case Maps
62	Ali Habibi, Sofiène Tahar	An Approach for the Verification of SystemC Designs Using AsmL.	ATVA	2005	DBLP DOI BibTeX RDF
62	Daniel Lázaro Cuadrado, Peter Koch 0001, Anders P. Ravn	AsmL Specification of a Ptolemy II Scheduler.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
62	Michael Barnett 0001, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Validating Use-Cases with the AsmL Test Tool.	QSIC	2003	DBLP DOI BibTeX RDF
51	R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Risk-Based Stopping Criteria for Test Sequencing.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
51	Mohammad Zulkernine, Mathew Graves, Muhammad Umair Ahmed Khan	Integrating software specifications into intrusion detection.	Int. J. Inf. Sec.	2007	DBLP DOI BibTeX RDF	Software specification languages, Intrusion detection, State machines, Attack scenarios
51	Mathew Graves, Mohammad Zulkernine	Bridging the gap: software specification meets intrusion detector.	PST	2006	DBLP DOI BibTeX RDF	attack languages, intrusion detection, software security, software specification
51	Uwe Glässer, Yuri Gurevich, Margus Veanes	High-Level Executable Specification of the Universal Plug and Play Architecture.	HICSS	2002	DBLP DOI BibTeX RDF	distributed protocol architectures, abstract state machines, executable specifications
45	Luciano García-Bañuelos	An AsmL Executable Model for WS-BPEL with Orthogonal Transactional Behavior.	Business Process Management	2006	DBLP DOI BibTeX RDF
45	Michael Barnett 0001, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Towards a Tool Environment for Model-Based Testing with AsmL.	FATES	2003	DBLP DOI BibTeX RDF
34	R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Integration and Test Sequencing for Complex Systems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
34	R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, Joanna M. van de Mortel-Fronczak, Jacobus E. Rooda	Test Sequencing in Complex Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2008	DBLP DOI BibTeX RDF
34	Bram Adams, Kris De Schutter	An aspect for idiom-based exception handling: (using local continuation join points, join point properties, annotations and type parameters).	SPLAT	2007	DBLP DOI BibTeX RDF
34	Louis van Gool, Teade Punter, Marc Hamilton, Remco van Engelen	Compositional MDA.	MoDELS	2006	DBLP DOI BibTeX RDF
34	Haja Moinudeen, Ali Habibi, Sofiène Tahar	Design for Verification of the PCI-X Bus.	FMCAD	2006	DBLP DOI BibTeX RDF
34	Mohammad Feroz Raihan, Mohammad Zulkernine	Detecting Intrusions Specified in a Software Specification Language.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
34	Wolfgang Grieskamp, Markus Lepper 0001, Wolfram Schulte, Nikolai Tillmann	Testable Use Cases in the Abstract State Machine Language.	APAQS	2001	DBLP DOI BibTeX RDF
28	Marc Hijink	Focus: The ASML Way - Inside the Power Struggle over the Most Complex Machine on Earth.		2024	RDF
28	Douniel Lamghari-Idrissi, Roy van Hugten, Geert-Jan van Houtum, Rob J. I. Basten	Increasing Chip Availability Through a New After-Sales Service Supply Concept at ASML.	INFORMS J. Appl. Anal.	2022	DBLP DOI BibTeX RDF
28	Dimitrios E. Diamantis, Dimitris K. Iakovidis	ASML: Algorithm-Agnostic Architecture for Scalable Machine Learning.	IEEE Access	2021	DBLP DOI BibTeX RDF
28	Mingsheng Tang, XinJun Mao, Huiping Zhou, Xueyan Tan	ASML: Artificial Society Modelling Language for ACP Approach Based on Organization Metaphors.	CGC	2012	DBLP DOI BibTeX RDF
28	Jameleddine Hassine	AsmL-Based Concurrency Semantic Variations for Timed Use Case Maps.	ASM	2010	DBLP DOI BibTeX RDF
28	Anne Rozinat, Ivo S. M. de Jong, Christian W. Günther, Wil M. P. van der Aalst	Process Mining Applied to the Test Process of Wafer Scanners in ASML.	IEEE Trans. Syst. Man Cybern. Part C	2009	DBLP DOI BibTeX RDF
28	Amjad Gawanmeh, Sofiène Tahar, Haja Moinudeen, Ali Habibi	A Design for Verification Approach Using an Embedding of PSL in aSML.	J. Circuits Syst. Comput.	2007	DBLP DOI BibTeX RDF
28	Tareq Hasan Khan, Ali Habibi, Sofiène Tahar, Otmane Aït Mohamed	Autometic Generation of SystemC Transactors from AsmL Specification.	FDL	2007	DBLP BibTeX RDF
28	Ali Habibi, Sofiène Tahar	On the Transformation of SystemC to AsmL Using Abstract Interpretation.	AIOOL@VMCAI	2005	DBLP DOI BibTeX RDF
28	Matko Botincan	AsmL Specification and Verification of Lamport's Bakery Algorithm.	J. Comput. Inf. Technol.	2005	DBLP BibTeX RDF
28	Yuri Gurevich, Benjamin Rossman, Wolfram Schulte	Semantic essence of AsmL.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
28	Amjad Gawanmeh, Ali Habibi, Sofiène Tahar	Embedding and Verification of PSL using AsmL.	Abstract State Machines	2005	DBLP BibTeX RDF
28	Ali Habibi, Sofiène Tahar	AsmL Semantics in Fixpoint.	Abstract State Machines	2005	DBLP BibTeX RDF
28	Martin Kardos	An Approach to Model Checking AsmL Specifications.	Abstract State Machines	2005	DBLP BibTeX RDF
28	Ana C. R. Paiva, João Pascoal Faria, Raul Moreira Vidal	Automated Specification-based Testing of Interactive Components with AsmL.	QUATIC	2004	DBLP BibTeX RDF
28	Wolfgang Grieskamp, Lev Nachmanson, Nikolai Tillmann, Margus Veanes	Test Case Generation from AsmL Specifications.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
28	Michael Barnett 0001, Wolfram Schulte	The ABCs of specification: asml, behavior, and components.	Informatica (Slovenia)	2001	DBLP BibTeX RDF
28	Nick Shapiro, Charles B. Owen	Breacking the shackles on the physical page: Site level authoring for XML using ASML.	WebNet	1999	DBLP BibTeX RDF
28	Charles B. Owen, Fillia Makedon	Asml: Automatic Site Markup Language.	Multim. Tools Appl.	1998	DBLP DOI BibTeX RDF
28	Ann De Bord, James Ford, Fillia Makedon, Theodore P. Prizio, Mihalis Sasles, Charles B. Owen	Documentation Multi-Targeting Using ASML & JavaScript.	WebNet	1998	DBLP BibTeX RDF
28	Charles B. Owen, Fillia Makedon, Glen Frank, Michael Kenyon	ASML: Automatic Site Markup Language.	WebNet	1997	DBLP BibTeX RDF
17	Jameleddine Hassine	Early Schedulability Analysis with Timed Use Case Maps.	SDL Forum	2009	DBLP DOI BibTeX RDF
17	Margus Veanes, Ando Saabas	On Bounded Reachability of Programs with Set Comprehensions.	LPAR	2008	DBLP DOI BibTeX RDF
17	Christoph Beierle, Gabriele Kern-Isberner, Nicole Koch	A High-Level Implementation of a System for Automated Reasoning with Default Rules (System Description).	IJCAR	2008	DBLP DOI BibTeX RDF
17	Margus Veanes, Ando Saabas	Using Satisfiability Modulo Theories to Analyze Abstract State Machines (Abstract).	ABZ	2008	DBLP DOI BibTeX RDF
17	Margus Veanes, Nikolaj S. Bjørner, Alexander Raschke	An SMT Approach to Bounded Reachability Analysis of Model Programs.	FORTE	2008	DBLP DOI BibTeX RDF
17	Kwangok Jeong, Andrew B. Kahng, Chul-Hong Park, Hailong Yao	Dose map and placement co-optimization for timing yield enhancement and leakage power reduction.	DAC	2008	DBLP DOI BibTeX RDF	dose map, placement, timing yield, leakage power reduction
17	Mohammad Feroz Raihan, Mohammad Zulkernine	AsmLSec: An Extension of Abstract State Machine Language for Attack Scenario Specification.	ARES	2007	DBLP DOI BibTeX RDF
17	Hiren D. Patel, Sandeep K. Shukla	Model-driven Validation of SystemC Designs.	DAC	2007	DBLP DOI BibTeX RDF
17	Avik Sinha, Carol S. Smidts	HOTTest: A model-based test design technique for enhanced testing of domain-specific applications.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation
17	Ali Habibi, Sofiène Tahar, Amer Samarah, Donglin Li, Otmane Aït Mohamed	Efficient assertion based verification using TLM.	DATE	2006	DBLP DOI BibTeX RDF
17	Bas Graaf, Sven Weber, Arie van Deursen	Migrating Supervisory Control Architectures Using Model Transformations.	CSMR	2006	DBLP DOI BibTeX RDF
17	Dean Rosenzweig, Davor Runje, Wolfram Schulte	Model-Based Testing of Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
17	Yuhong Zhao 0001, Martin Kardos, Simon Oberthür, Franz J. Rammig	Comprehensive Verification Framework for Dependability of Self-optimizing Systems.	ATVA	2005	DBLP DOI BibTeX RDF
17	Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann	Online testing with model programs.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	conformance testing, runtime verification, interface automata
17	Uwe Glässer, Yuri Gurevich, Margus Veanes	Abstract Communication Model for Distributed Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF
17	Vladimir Levin	Static driver verifier, a formal verification tool for Windows device drivers.	MEMOCODE	2004	DBLP DOI BibTeX RDF
17	Yuri Gurevich, Rostislav Yavorskiy	Observations on the Decidability of Transitions.	Abstract State Machines	2004	DBLP DOI BibTeX RDF
17	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
17	Dean Rosenzweig, Davor Runje, Neva Slani	Privacy, Abstract Encryption and Protocols: An ASM Model - Part I.	Abstract State Machines	2003	DBLP DOI BibTeX RDF
17	Bas Graaf, Marco Lormans, Hans Toetenel	Software Technologies for Embedded Systems: An Industry Inventory.	PROFES	2002	DBLP DOI BibTeX RDF