Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Chechik, Marsha
Devereux, Benet
Easterbrook, Steve
and
Gurfinkel, Arie
2003.
Multi-valued symbolic model-checking.
ACM Transactions on Software Engineering and Methodology,
Vol. 12,
Issue. 4,
p.
371.
Schmidt, David A.
2004.
Static Analysis.
Vol. 3148,
Issue. ,
p.
22.
Huth, M.
2004.
Beyond image-finiteness: labelled transition systems as a Stone space.
p.
222.
Dams, D.
and
Namjoshi, K.S.
2004.
The existence of finite abstractions for branching time model checking.
p.
335.
Godefroid, P.
and
Huth, M.
2005.
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.
p.
158.
Huth, Michael
2005.
Refinement is complete for implementations.
Formal Aspects of Computing,
Vol. 17,
Issue. 2,
p.
113.
Huth, Michael
2005.
Labelled transition systems as a Stone space.
Logical Methods in Computer Science,
Vol. Volume 1, Issue 1,
Issue. ,
Konikowska, Beata
and
Penczek, Wojciech
2006.
Model checking for multivalued logic of knowledge and time.
p.
169.
Huth, Michael
2006.
Topological Analysis of Refinement.
Electronic Notes in Theoretical Computer Science,
Vol. 161,
Issue. ,
p.
3.
Hussain, Altaf
and
Huth, Michael
2006.
Automata Games for Multiple-model Checking.
Electronic Notes in Theoretical Computer Science,
Vol. 155,
Issue. ,
p.
401.
López-Nores, Martín
García-Duque, Jorge
and
Pazos-Arias, José J.
2006.
Coordination Models and Languages.
Vol. 4038,
Issue. ,
p.
164.
Selivanov, Victor L.
2006.
Towards a descriptive set theory for domain-like structures.
Theoretical Computer Science,
Vol. 365,
Issue. 3,
p.
258.
Schmidt, David A.
2007.
A calculus of logical relations for over- and underapproximating static analyses.
Science of Computer Programming,
Vol. 64,
Issue. 1,
p.
29.
Hussain, Altaf
and
Huth, Michael
2008.
On model checking multiple hybrid views.
Theoretical Computer Science,
Vol. 404,
Issue. 3,
p.
186.
Uchitel, S.
Brunet, G.
and
Chechik, M.
2009.
Synthesis of Partial Behavior Models from Properties and Scenarios.
IEEE Transactions on Software Engineering,
Vol. 35,
Issue. 3,
p.
384.
García-Duque, Jorge
Pazos-Arias, José J.
López-Nores, Martín
Blanco-Fernández, Yolanda
Fernández-Vilas, Ana
Díaz-Redondo, Rebeca P.
Ramos-Cabrer, Manuel
and
Gil-Solla, Alberto
2009.
Methodologies to evolve formal specifications through refinement and retrenchment in an analysis–revision cycle.
Requirements Engineering,
Vol. 14,
Issue. 3,
p.
129.
Wei, Ou
Gurfinkel, Arie
and
Chechik, Marsha
2011.
On the consistency, expressiveness, and precision of partial modeling formalisms.
Information and Computation,
Vol. 209,
Issue. 1,
p.
20.
Fischbein, Dario
D’Ippolito, Nicolas
Brunet, Greg
Chechik, Marsha
and
Uchitel, Sebastian
2012.
Weak Alphabet Merging of Partial Behavior Models.
ACM Transactions on Software Engineering and Methodology,
Vol. 21,
Issue. 2,
p.
1.
Belardinelli, Francesco
Ferrando, Angelo
and
Malvone, Vadim
2023.
3vLTL: A Tool to Generate Automata for Three-valued LTL.
Electronic Proceedings in Theoretical Computer Science,
Vol. 395,
Issue. ,
p.
180.